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一样是不可拷贝的(但可以移动)。