C++ std::thread 线程

c++11 之后的标准线程库：std::thread

1.创建一个线程

使用std的thread实例化一个线程对象就创建完成了

 1 #include <iostream>
 2 #include <thread>
 3 using namespace std;
 4 
 5 void t1()  //普通的函数，用来执行线程
 6 {
 7     for (int i = 0; i < 20; ++i)  {
 8         cout << "t1\n";
 9     }
10 }
11 int main()
12 {
13     thread th1(t1);  //实例化一个线程对象th1，使用函数t1构造，然后该线程就开始执行了（t1()）
14     cout << "here is main\n\n";
15     return 0;
16 }

不过这个示例是有问题的，因为在创建了线程后线程开始执行，但是主线程main()并没有停止脚步，仍然继续执行然后退出，此时线程对象还是joinable的，线程仍然存在但指向它的线程对象已经销毁，所以会抛出异常。
那么该如何保证子线程执行完了退出后再退出主线程呢？

2.thread::join()

使用join接口可以解决上述问题，join的作用是让主线程等待直到该子线程执行结束，示例：

#include <iostream>
#include <thread>
using namespace std;

void t1()
{
    for (int i = 0; i < 20; ++i) {
        cout << "t1\n";
    }
}
int main()
{
    thread th1(t1);
    th1.join(); //等待th1执行完
    cout << "here is main\n\n";
    return 0;
}

此时就可以正常地执行子线程了，同时注意最后一个输出，说明了main是等待子线程结束才继续执行的.
需要注意的是线程对象执行了join后就不再joinable了，所以只能调用join一次。

3.thread::detach()

(1)中提到的问题，还可以使用detach来解决，detach是用来和线程对象分离的，这样线程可以独立地执行，不过这样由于没有thread对象指向该线程而失去了对它的控制，当对象析构时线程会继续在后台执行，但是当主程序退出时并不能保证线程能执行完。如果没有良好的控制机制或者这种后台线程比较重要，最好不用detach而应该使用join。

int main()
{
    thread th1(t1);
    thread th2(t2);
    th1.detach();
    th2.detach();

    cout << "here is main\n\n";

    return 0;
}

由结果可见线程并没有执行完而退出：
【注】
（1）join()函数，是一个等待线程完成函数，主线程需要等待子线程运行结束了才可以结束。这个函数是一个线程阻塞的函数，调用它的函数将一直等待到被等待的线程结束为止，当函数返回时，被等待线程的资源被收回。
（2）detach()函数，称为分离线程函数，使用detach()函数会让线程在后台运行，即说明主线程不会等待子线程运行结束才结束。
（3）joinable()函数，是一个布尔类型的函数，它会返回一个布尔值来表示当前的线程是否可执行线程（能被join或者detach）。

4.mutex

头文件是，mutex是用来保证线程同步的，防止不同的线程同时操作同一个共享数据。

int cnt = 20;
mutex m;
void t1()
{
    while (cnt > 0)  {    
        m.lock();
        if (cnt > 0) {
            --cnt;
            cout << cnt << endl;
        }
        m.unlock();
    }
}
void t2()
{
    while (cnt > 0)
    {
        m.lock();
        if (cnt > 0) {
            --cnt;
            cout << cnt << endl;
        }
        m.unlock();
    }
}
int main()
{
    thread th1(t1);
    thread th2(t2);
    th1.join();
    th2.join();
    return 0;
}

运行结果，cnt是依次递减的，没有因为多线程而打乱次序：
但是使用mutex是不安全的，当一个线程在解锁之前异常退出了，那么其它被阻塞的线程就无法继续下去。

5.std::lock_guard

使用lock_guard则相对安全，它是基于作用域的，能够自解锁，当该对象创建时，它会像m.lock()一样获得互斥锁，当生命周期结束时，它会自动析构(unlock)，不会因为某个线程异常退出而影响其他线程。示例：

int cnt = 20;
mutex m;
void t1()
{
    while (cnt > 0) {    
        lock_guard<mutex> lockGuard(m);
        if (cnt > 0) {
            --cnt;
            cout << cnt << endl;
        } 
    }
}
void t2()
{
    while (cnt > 0) {
        lock_guard<mutex> lockGuard(m);
        if (cnt > 0) {
            --cnt;
            cout << cnt << endl;
        }
    }
}