C++类析构函数中调用join()出现不一致行为的问题咨询

根本原因 #

• 对象生命周期与线程执行的竞态冲突
  你在main函数中创建的log1、log2是栈变量，调用launch启动线程后没有等待执行完成就直接走到return语句，栈对象会在main返回前立刻启动析构流程。而子线程的调度时机由操作系统决定，很可能对象已经开始析构，线程才拿到CPU时间片执行，此时捕获的this指针指向的是正在销毁的无效对象，触发未定义行为，就是你看到的偶尔不执行、偶尔挂起的根因。

• 虚函数调用的生命周期陷阱
  C++对象析构顺序是：先执行派生类析构函数 -> 再执行基类析构函数。进入基类basic_executor的析构函数执行join等待线程时，派生类部分已经被完全销毁，对象的虚函数表已经切换为基类的虚表：

  • 如果线程此时还没调用execute等虚函数，就会直接执行基类的空实现，没有任何输出就结束，对应你看到的log2完全没有打印的情况
  • 如果线程已经进入派生类的execute函数体（不需要再查虚表），只要没有访问派生类的独有成员，代码还能继续执行，对应你看到的log1仍有打印的情况，这本质是未定义行为的巧合

• join挂起的直接诱因
  当线程执行过程中访问已经被销毁的对象内存（比如_mx已经被回收、虚表地址非法），会触发不可预知的异常，可能导致线程直接异常退出但状态未被正确通知，或是锁操作进入死等，最终表现为析构函数中的join调用无限挂起。

修复方案 #

1. 最简单的修复是放开你代码中注释的wait调用，在main返回前等待两个线程执行完成，保证线程执行全程对象都是有效的：

log1.wait();
log2.wait();

2. 若要提升类的安全性，可在基类中增加原子停止标记，析构时先设置停止标记再执行join，避免线程无限执行；同时禁止在多线程场景下依赖析构阶段的虚函数调用。
3. 如果要使用detach参数，必须将executor对象改为堆分配，用std::shared_ptr管理生命周期，在线程执行逻辑中持有智能指针引用，保证对象在线程执行完前不会被销毁。

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