为何分离线程会引发未定义行为？C++示例代码解析

这段代码的问题出在主线程结束与分离线程的执行时序没有同步，具体原因如下：

• 当main()函数执行完毕返回时，整个进程会启动终止流程：进程内的所有全局对象（比如标准库的std::cout）会被销毁，操作系统会回收进程占用的所有资源。
• 调用detach()只是让线程和std::thread对象解绑，不再需要通过join()等待线程完成，但分离线程的生命周期仍然和进程绑定——进程终止时，不管分离线程是否执行完成，都会被操作系统强制终止。
• 这里的风险是：分离线程的执行是异步的，没有任何机制保证它在main()结束前完成。如果main()先结束，std::cout已经被销毁，此时分离线程还在执行std::cout << "Hello" << std::endl;，就会访问一个已经被销毁的全局对象，这直接触发了C++标准中的未定义行为。

简单说，你不能假设分离线程会在进程终止前跑完，一旦主线程先结束，线程里操作的全局资源已经失效，必然出问题。

内容的提问来源于stack exchange，提问作者mascai