《C++ Concurrency in Action》笔记1 join和detach

先看一段程序：

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语句，但是写起来比较繁琐；另外一种方法是使用自定义的守护类来避免此问题。下面给出示例：

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
//做一些事情
}