C++ 不要在析构函数中调用线程

独钓>孤舟

已于 2022-11-13 20:36:45 修改

阅读量424

点赞数

分类专栏： c/c++ 文章标签： c++ 开发语言算法

于 2022-11-13 20:30:16 首次发布

本文链接：https://blog.youkuaiyun.com/u014630983/article/details/127836780

版权

c/c++ 专栏收录该内容

6 篇文章

订阅专栏

本文通过一个示例代码分析了在析构函数中调用线程可能导致的问题。当析构函数先于线程执行，对象被释放后，线程继续尝试访问已被析构的对象，这将导致不可预测的错误，如野指针引用。代码中展示了Test对象在MyThread析构前已被销毁，从而在线程运行时引发错误。理解对象生命周期和线程同步对于避免这类问题至关重要。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

描述

程序调用到析构函数中的时候，会根据变量的创建顺序执行析构。如果在析构中调用线程，并且线程中使用了其他的对象，一旦其他的对象已经被析构释放，线程在调用该对象的时候会出现意料之外的错误。看一段代码具体分析

code

#include <iostream>
#include <thread>
#include <functional>
#include <unistd.h>
#include <mutex>
using namespace std;

typedef std::function<void()> FUNC;
class MyThread
{
public:
    ~MyThread()
    {
        cout << "MyThread" << endl;
        if (thread_.joinable()) {
            thread_.join();
        }
    }

    void run(FUNC func) {
        std::thread tt([func](){
            sleep(3);
            func();
        });
        thread_ = std::move(tt);
    }

private:
    std::thread thread_;
};

class Test
{
public:
    ~Test(){
        cout << "Test" << ":" << &t << endl;
    }
    void P(){
        t += 1;
        cout << "Test" << ",value:" << t << ":" << &t << endl;
    }
private:
    int t{5};
};
int main()
{
    MyThread t;
    // std::shared_ptr<Test> test = std::make_shared<Test>();
    Test* test = new Test();
    t.run([=](){
        test->P();
    });
    delete test;
    return 0;
}

预期结果

第40行输入value的值应该为6

实际结果

第40行输入value的值为一个随机值

Test:0x116f010
MyThread
Test,value:18280481:0x116f010

分析

我们在第53行先执行了Test的析构函数，类对象test的指针成为野指针。在之后执行MyThread的析构函数，线程执行任务，但是test对象已变成野指针，调用其成员变量将出现意料之外的错误。