先看一段程序:
void f()
{
}
void call_f()
{
thread t(f);
//做一些事情
t.join();//或者detach
//做一些事情
}
int main()
{
call_f();
system("pause");
return 0;
}
在本程序中, t.join();后call_f的代码将不再往下执行,直到t线程入口函数执行完,才执行下面的语句。
如果将 t.join()改为t.detach()代表解除对象t与其关联的线程之间的关系,那么当call_f函数执行完毕后,会销毁对象t,但并不会终止子线程的运行。当main函数执行完毕,主线程即将退出,主线程退出前会结束所有子线程。这样原本t关联的子线程也会结束,并且可以正确回收其资源,但是子线程中的函数有可能没有执行完毕。
如果既不使用join也不使用detach,那么当call_f函数退出后,销毁t对象导致系统调用terminate() 函数使进程异常退出,资源无法正常回收。
此外尤其需要注意的地方是,在创建线程后、执行join或detach前如果还有一些代码执行一些动作,而且这段代码产生了未处理异常,将使得程序异常退出。当这段代码产生异常后将会执行栈展开(如果未在编译器中禁止栈展开的话),对之前所有创建的临时对象执行析构操作,这将导致线程对象关联的线程还未来得及join或detach就异常关闭了。
解决这个问题的一种方法是追加try/catch语句,但是写起来比较繁琐;另外一种方法是使用自定义的守护类来避免此问题。下面给出示例:
解决这个问题的一种方法是追加try/catch语句,但是写起来比较繁琐;另外一种方法是使用自定义的守护类来避免此问题。下面给出示例:
class thread_guard
{
public:
thread_guard(std::thread &t) :m_t(t){};
thread_guard(const thread_guard &) = delete;
thread_guard& operator=(const thread_guard&) = delete;
virtual ~thread_guard()
{
if (m_t.joinable())
m_t.join();
}
private:
std::thread &m_t;
};
然后将call_f函数改为下面这样:
void call_f()
{
thread t(f);
thread_guard(t);//无论如何保证线程不会异常终止,即使下面的代码抛出异常
//做一些事情
t.join();//或者detach
//做一些事情
}