Effective Modern C++ 条款 37：确保 std::thread 析构前不可结合

引言

多线程编程中，std::thread 的生命周期管理看似简单，实则暗藏玄机。很多开发者在边缘情况下遇到程序崩溃，往往是因为忽略了线程的析构行为。本文将深入探讨如何确保线程在所有执行路径上都处于安全状态，避免资源泄漏或意外终止。

线程的两种状态

std::thread 对象在其生命周期中总是处于以下两种状态之一：

• Joinable（可结合）：对应一个正在运行、等待调度或已完成但尚未被 join 的线程。
• Unjoinable（不可结合）：包括默认构造、所有权已转移（移动）、已 join 或已 detach 的情况。

为什么可结合性如此重要？

当可结合的 std::thread 对象析构时，程序将直接终止！这是 C++ 标准的明确规定。如果允许隐式 join，可能导致程序挂起；如果允许隐式 detach，线程可能访问已销毁的局部变量，造成严重错误。

考虑一个典型的危险示例：

void riskyFunction() {
    std::vector<int> data;
    std::thread t([&data]{
        // 长时间运行的操作...
        if (!data.empty()) {
            data.push_back(42); // 危险！可能访问已销毁的 data
        }
    });
    
    if (someCondition()) {
        t.join();
        return;
    }
    // 如果 someCondition() 为 false，t 将作为可结合线程被销毁
    // → 程序终止！
}

RAII 拯救方案：ThreadRAII 类

为了解决这个问题，我们需要一个 RAII（Resource Acquisition Is Initialization）包装器，确保线程在所有路径上都能被正确处理。

ThreadRAII 实现详解

class ThreadRAII {
public:
    enum class DtorAction { join, detach };

    // 只接受右值，强制移动语义
    ThreadRAII(std::thread&& t, DtorAction a)
        : action(a), t(std::move(t)) {}

    ~() {
         (t.()) {
             (action) {
                 DtorAction::join: t.(); ;
                 DtorAction::detach: t.(); ;
            }
        }
    }

    
    (ThreadRAII&&) = ;
    ThreadRAII& =(ThreadRAII&&) = ;

    
    {  t; }

:
    DtorAction action; 
    std::thread t;     
};