带返回的 C++ 析构函数

Question

在 C++ 中，如果我们将类析构函数定义为:

~Foo(){
   return;
}

在调用这个析构函数时，Foo 的对象会被销毁还是不会从析构函数显式返回意味着我们不想销毁它。

我想让某个对象仅通过另一个对象析构函数被销毁，即仅当另一个对象准备好被销毁时。

例子:

class Class1{
...
Class2* myClass2;
...
};

Class1::~Class1(){
    myClass2->status = FINISHED;
    delete myClass2;
}

Class2::~Class2(){
    if (status != FINISHED) return;
}

我在网上搜索，似乎找不到我的问题的答案。我也试过自己用调试器逐步检查一些代码，但无法得出结论。

Answer 1

不，您不能通过 return 语句阻止对象被破坏，它只是意味着 dtor 的主体的执行将在该点结束。之后它仍然会被销毁(包括它的成员和基)，并且内存仍然会被释放。

你可能会抛出异常。

Class2::~Class2() noexcept(false) {
    if (status != FINISHED) throw some_exception();
}

Class1::~Class1() {
    myClass2->status = FINISHED;
    try {
        delete myClass2;
    } catch (some_exception& e) {
        // what should we do now?
    }
}

请注意，这确实是一个可怕的想法。你最好重新考虑设计，我相信一定有更好的。抛出异常并不会阻止其基类和成员的破坏，只是可以得到Class2的dtor的处理结果。能用它做什么还不清楚。