破坏者与成员功能再次竞赛

Destructor vs member function race again

本文关键字：竞赛 功能 成员 破坏者      更新时间：2023-10-16

我已经看到类似的问题：析构函数与成员函数竞赛..但没有找到以下问题的答案。假设我们有一个类拥有某个工作线程。类的析构函数可能看起来像：

~OurClass
{
    ask_the_thread_to_terminate;
    wait_for_the_thread_to_terminate;
    ....
    do_other_things;
}

问题是：我们是否可以在工作线程中调用OurClass的成员函数，因为我们确信所有这些调用都将在析构函数中的do_other_things之前完成？

可以。只有在do_other_things完成执行后，才会开始销毁成员变量。在对象被破坏之前调用成员函数是安全的。

好吧，你可以这样做，但这样很容易出错。例如，如果您执行以下操作：

~OurClass
{
    delete *memberPointer_; 
    ask_the_thread_to_terminate; // the thread calls OurClass::foo();
    wait_for_the_thread_to_terminate;
    ....
    do_other_things
}
void OurClass::foo()
{
    memberPointer->doSomething();
}

你会有麻烦的。这也使得阅读代码变得更加困难。所以你必须小心操作的顺序和诸如此类的事情。一般来说，如果可以更改架构以避免这种复杂的构造，我建议这样做。

任何数据成员的隐式销毁都发生在执行析构函数的最后一行之后，因此在等待线程时，所有这些数据成员仍然可以正常工作。因此，您只能避免任何数据成员过早地被显式破坏（如SingerOfTheFall的病理代码所示）。

相关文章：