C++17 WinForms中调用std::thread析构函数触发abort()问题求助

问题原因 #

1. std::thread的标准安全机制：当std::thread对象处于joinable状态（线程仍在运行，未调用join()或detach()）时，其析构函数会自动调用std::terminate()，最终触发abort()崩溃。这是C++标准强制的规则，用于避免线程资源泄漏或悬空线程问题。
2. 手动调用析构的错误：直接调用thread1.~thread()违反C++对象生命周期管理规范，对象析构应由编译器自动处理，手动调用可能导致重复析构或状态错误，进一步引发崩溃。

修复方案 #

1. 禁止手动调用线程析构函数 #

永远不要手动调用std::thread的析构函数，让对象在作用域结束时自动销毁，或通过std::unique_ptr<std::thread>等智能指针管理其生命周期。

2. 实现协作式线程中断 #

C++没有安全的强制终止线程的方法，强行终止会导致资源泄漏、死锁等问题，必须通过协作式中断让线程自行退出：

• 定义一个std::atomic<bool>类型的标志（如should_stop），用于通知线程终止。
• 在internalSimplify函数的循环或关键执行步骤中，定期检查该标志，若为true则提前退出并清理资源。
• 在WinForms的ESC按键事件中，将标志设为true，触发线程中断。

示例代码：

class ExprSimplifier {
private:
    std::atomic<bool> should_stop_{false};
    std::thread simplify_thread_;

    bool simplification_done() {
        // 实现判断简化任务是否完成的逻辑
        return false;
    }

    void internalSimplify() {
        while (!should_stop_.load()) {
            // 执行表达式简化的单步操作
            // ...

            // 检查任务是否完成，完成则退出
            if (simplification_done()) {
                break;
            }
        }
        // 执行资源清理操作
        // ...
    }

public:
    void simplify() {
        should_stop_.store(false);
        // 若已有线程在运行，先等待其结束
        if (simplify_thread_.joinable()) {
            simplify_thread_.join();
        }
        simplify_thread_ = std::thread(&ExprSimplifier::internalSimplify, this);
    }

    void request_stop() {
        should_stop_.store(true);
    }

    void wait_for_completion() {
        if (simplify_thread_.joinable()) {
            simplify_thread_.join();
        }
    }

    ~ExprSimplifier() {
        request_stop();
        wait_for_completion();
    }
};

3. 确保线程销毁前处于非joinable状态 #

在std::thread对象销毁前，必须保证线程已结束：

• 任务正常完成后，调用join()等待线程退出。
• 用户触发中断后，等待线程自行退出后调用join()。
• 若无需等待线程完成（不推荐），可调用detach()让线程脱离对象管理，但此后无法再控制或追踪线程状态，需谨慎使用。

内容的提问来源于stack exchange，提问作者The Coding Fox