C++类内封装std::thread启动与join方法报错问题排查

核心错误根源 #

所有异常的核心原因是startThread()的实现存在变量遮蔽问题：你在函数内部定义了局部变量std::thread a((*threadFunction));，这个局部变量和类的私有成员std::thread a是完全独立的两个对象，启动的线程从来没有被存储到类成员中。类实例化后，私有成员a始终是默认构造的空线程对象，不关联任何实际执行的线程。

三个版本运行差异解释 #

• 版本1（无变量接收返回值）：startThread()返回的临时std::thread对象没有被任何变量持有，会在当前表达式执行结束后立刻析构。C++标准明确规定：如果std::thread对象处于关联可join线程的状态，析构时会直接调用std::terminate()终止程序，这就是terminate called without an active exception报错的来源。程序在执行到object->join()之前就已经崩溃，这行代码根本没有机会运行。
• 版本2（接收返回值但调用类的join方法）：局部变量value接住了返回的线程对象，所以线程不会立刻析构，线程函数正常执行并打印内容。但后续调用的object->join()是针对类内部空的成员a执行join操作，对不关联任何线程的空std::thread调用join会抛出std::system_error，对应错误信息就是Invalid argument。
• 版本3（对返回的线程对象调用join）：value是真正关联了执行线程的对象，对它调用join符合std::thread的使用规范，因此可以正常运行。

正确封装实现 #

如果要把线程作为私有成员完全封装在类内部，startThread()不需要返回线程对象，直接给成员变量赋值即可，同时补充joinable判断避免非法操作：

修正后的头文件 A.h #

#include <thread>

class A{
    std::thread a;
    void (*threadFunction)() = nullptr;
public:
    void startThread();
    void join();
    void setThreadFunction(void (*func)());
};

修正后的实现文件 A.cpp #

#include "../header/A.h"

void A::startThread()
{
    // 直接给类成员a赋值，不要定义同名局部变量
    if (threadFunction != nullptr && !a.joinable()) {
        a = std::thread(threadFunction);
    }
}

void A::join()
{
    // 先判断线程可join再调用，避免抛异常
    if (a.joinable()) {
        a.join();
    }
}

void A::setThreadFunction(void (*func)())
{
    threadFunction = func;
}

调用示例 #

#include <iostream>
#include "../header/A.h"

void newFunc(){
    std::cout<<"I'm a thread"<<std::endl;
}

int main(){
    auto object = new A();
    object->setThreadFunction(&newFunc);
    object->startThread();
    object->join(); // 正常执行无报错
    delete object;
    return 0;
}

额外注意事项 #

• 非必要不要在成员函数内定义和类成员同名的局部变量，变量遮蔽问题极难排查
• 任何时候调用std::thread::join()前都要先通过joinable()判断状态，对空线程、已join/已detach的线程调用join都会触发系统错误
• 绝不能让关联了可join线程的std::thread对象在未执行join或detach的情况下析构，必然触发程序终止

内容的提问来源于stack exchange，提问作者L.knaeble