c++多线程在异常环境下的等待

      c++11开始支持多线程编程，相关的类和函数封装在标准库头文件<thread>中，而c++多线程编程很重要的一点就是当用户创建一个std::thread对象,关联了可调用对象后,需要在该thread对象销毁前调用join()或detach()。其中join()函数用于结合线程,确保在创建该thread对象的函数退出前,该线程执行完毕;而detach()函数则表示分离线程,即让线程在后台运行,线程的所有权和控制权交给c++运行时库。若thread对象销毁前没有调用join()或detach(),则程序会被终止(thread的析构函数调用std::terminate() )。

      如果用户要分离线程,那么一般情况下在线程启动后立即调用detach()即可。但若需要等待线程,那么调用join()的时机就很重要:如果线程在开始之后、调用join()之前发生了异常,则join()的调用就会被跳过。保证线程在异常环境下的等待的方法之一是使用try/catch语句块:

#include <thread>
#include <stdexcept>

using std::thread;
using std::runtime_error;

void func();

void TestThread() {
    thread thrd(func);
    try
    {
        //...
    }
    catch (runtime_error re)
    {
        thrd.join();
        throw re;
    }
    thrd.join();
}

      但是很显然,使用try/catch语句块很罗嗦,且容易将作用域弄乱。一个更好的方法是使用资源获取即初始化(Resource Acquisition Is Initialization, RAII)的方法,RAII是C++的一种管理资源、避免泄漏的惯用法。C++标准保证任何情况下，已构造的对象最终会销毁，即它的析构函数最终会被调用。简单的说，RAII 的做法是使用一个对象，在其构造时获取资源，在对象生命期控制对资源的访问使之始终保持有效，最后在对象析构的时候释放资源。

      使用RAII的代码如下:

#include <thread>

using std::thread;

void func();

class Thread_RAII {
private:
    thread &thrd;
public:
    explicit Thread_RAII(thread &p_thrd) : thrd(p_thrd) {}
    ~Thread_RAII()
    {
        if (thrd.joinable())
        {
            thrd.join();
        }
    }
    Thread_RAII(const Thread_RAII &) = delete;
    Thread_RAII & operator=(const Thread_RAII &) = delete;
};

void TestThread()
{
    thread thrd(func);
    Thread_RAII tr(thrd);
    //...
}

      当函数TestThread()执行到末尾时,局部对象按照构造的逆序进行销毁,因此tr首先被销毁,于是其中的thrd对象被结合,即使在之前其中的某条语句执行时引发异常而退出时也是如此。

      上述代码还有两点需要注意：

      ①析构函数在调用join()之前需要检查thrd是否是joinable()的,因为对于一个线程,join()只能调用一次。

      ②Thread_RAII类的拷贝构造函数及拷贝复制运算符是删除的,这是因为thread对象和unique_ptr一样是不可拷贝的(但可以移动)。