是否可以在 C++ 中检查 (this == NULL) 以终止分离线程的执行？

Question

假设我创建了一个类 X 的对象。当类 X 被构造时，它会在一个无限循环的函数上创建一个分离的线程。当 X 类被销毁时，我想终止（或中断）这个分离的线程。这可能吗？有没有更好的方法来实现这一目标？

例如：

class X
{
public:
    X(){
        startThread();
    }
    virtual ~X(){

    }

    void myThread()
    {
        cout << "start of myThread()" << endl;

        int loop = 0;
        while(true)
        {
            //std::this_thread::sleep_for(std::chrono::seconds(5));
            ++loop;
            cout << "loop # " << loop << endl;
            if(this == NULL){
                break;
            }
        }

        cout << "end of myThread()" << endl;
    }

    void startThread()
    {
        std::thread example(&X::myThread, this);
        example.detach();
    }
};

Answer 1

在线程还在运行的时候删除X对象肯定不行；由于仍在运行的线程试图访问现在已释放的数据，因此您最终会导致大量数据崩溃和损坏。

您的主线程（即产生 myThread 线程的线程）需要做的是：

1. 不知何故告诉线程自愿停止循环并退出（例如，通过更改 myThread 定期检查的 std::atomic 的值，或在 myThread 正在接收的套接字上发送一个字节，或类似的东西)
2. 在线程对象上调用 join()。 join() 将阻塞，直到线程完全退出。

一旦 join() 返回，您就可以安全地继续删除 X 对象。

（旁注：如果您在 X 类的析构函数中执行上述步骤，那么只要您从未子类化 X，或者（如果您使用子类 X）线程永远不会访问来自子类（例如，如果线程从不调用任何虚拟方法）。这是因为在调用子类析构函数（内部线程仍在运行时）和调用 X 析构函数（停止线程）之间会有竞争条件) 在此期间线程可以从子类的层访问现在已释放的数据)