C++11 并发编程教程 - Part 1 : thread 初探（bill译）
C++11 引入了一个新的线程库，包含了用于启动、管理线程的诸多工具，与此同时，该库还提供了包括互斥量、锁、原子量等在内的同步机制。在这个系列的教程中，我将尝试向大家展示这个新库提供的大部分特性。
为了能够编译本文的示例代码，你需要有一个支持 C++11 的编译器，笔者使用的是 GCC4.6.1（你需要添加 "-std=c++11" 或 "-std=c++0x" 编译选项以启动 GCC 对 C++11 的支持）[译注：bill 的编译环境为 GCC4.6.3 + codeblocks 10.05 + Ubuntu 12.04，所使用的编译选项为 "-std=gnu++0x"]。
启动线程
启动一个新的线程非常简单，当你创建一个 std::thread 的实例时，它便会自行启动。创建线程实例时，必须提供该线程将要执行的函数，方法之一是传递一个函数指针，让我们以经典的 "Hello world" 来阐释这一方法：
|
1
2
3
4
5
6
7
8
9
10
|
#include <thread>
#include <iostream>
void
hello(){
std::cout <<
"Hello from thread "
<< std::endl;
}
int
main(){
std::thread t1(hello);
t1.join();
return
0;
}
|
所有的线程工具均置于头文件 <thread> 中。这个例子中值得注意的是对函数 join() 的调用。该调用将导致当前线程等待被 join 的线程结束（在本例中即线程 main 必须等待线程 t1 结束后方可继续执行）。如果你忽略掉对 join() 的调用，其结果是未定义的 —— 程序可能打印出 "Hello from thread" 以及一个换行，或者只打印出 "Hello from thread" 却没有换行，甚至什么都不做，那是因为线程main 可能在线程 t1 结束之前就返回了。
区分线程
每个线程都有唯一的 ID 以便我们加以区分。使用 std::thread 类的 get_id() 便可获取标识对应线程的唯一 ID。我们可以使用 std::this_thread 来获取当前线程的引用。下面的例子将创建一些线程并使它们打印自己的 ID：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#include <thread>
#include <iostream>
#include <vector>
void
hello(){
std::cout <<
"Hello from thread "
<< std::this_thread::get_id() << std::endl;
}
int
main(){
std::vector<std::thread> threads;
for(int
i = 0; i < 5; ++i){
threads.push_back(std::thread(hello));
}
for(auto&
thread
: threads){
thread.join();
}
return
0;
}
|
依次启动线程并将他们存入 vector 是管理多个线程的常用伎俩，这样你便可以轻松地改变线程的数量。回到正题，就算是上面这样短小简单的例子，也不能断定其输出结果。理论情况是：
|
1
2
3
4
5
|
Hello from thread 140276650997504
Hello from thread 140276667782912
Hello from thread 140276659390208
Hello from thread 140276642604800
Hello from thread 140276676175616
|
但实际上（至少在我这里）上述情况并不常见，你很可能得到的是如下结果：
|
1
2
3
4
|
Hello from thread Hello from thread Hello from thread 139810974787328Hello from thread 139810983180032Hello from thread
139810966394624
139810991572736
139810958001920
|
或者更多其他的结果。这是因为线程之间存在 interleaving 。你没办法控制线程的执行顺序，某个线程可能随时被抢占，又因为输出到 ostream 分几个步骤（首先输出一个 string，然后是 ID，最后输出换行），因此一个线程可能执行了第一个步骤后就被其他线程抢占了，直到其他所有线程打印完之后才能进行后面的步骤。
使用 Lambda 表达式启动线程
当线程所要执行的代码非常短小时，你没有必要专门为之创建一个函数，取而代之的是使用 Lambda表达式。我们可以很轻易地将上述例子改写为使用 Lambda 表达式的形式：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#include <thread>
#include <iostream>
#include <vector>
int
main(){
std::vector<std::thread> threads;
for(int
i = 0; i < 5; ++i){
threads.push_back(std::thread([](){
std::cout <<
"Hello from thread "
<< std::this_thread::get_id() << std::endl;
}));
}
for(auto&
thread
: threads){
thread.join();
}
return
0;
}
|
如上，我们使用了 Lambda 表达式替换掉原来的函数指针。毋庸置疑，这段代码和之前使用函数指针的代码实现了完全相同的功能。
下篇
在本系列的下一篇文章中，我们将看到如何使用锁机制保护我们的并发代码。