“删除这个”在构造函数中

Question

当我执行这段代码时实际上会发生什么？

class MyClass
{
    MyClass()
    {
        //do something
        delete this;   
    }
}

Answer 1

注意：此答案适用于 C++03，并且 C++11 及更高版本中的行为似乎已更改，因此现在这是未定义的行为。

事实证明，在这种特殊情况下，代码是合法的，但您远离了未定义的行为。

C++03 标准将对象的“生命周期”概念定义为其构造函数完成运行与析构函数开始运行之间的时间。它还明确指出（在第 3.8/5 节中）

在对象的生命周期开始之前 [...] 如果该对象将是或曾经是具有非平凡析构函数的类类型，并且该指针用作删除表达式的操作数，则程序有未定义的行为。

由于对象的生命周期在构造函数完成之前才开始，因此在构造函数内部，您引用的 this 指针尚未开始其生命周期，在这种情况下尝试删除它是完全安全的。但是，如果您为该类编写析构函数，那么您将立即遇到未定义的行为。

此外，如果更改构造函数以便在删除对象后尝试引用类的任何数据成员，则会出现未定义的行为。如果该对象是在堆栈上分配的，您将得到未定义的行为。如果对象是静态的，您将得到未定义的行为。如果该对象是使用 new 分配的，则客户端返回到该对象的指针将无效，并且使用它将导致未定义的行为。一般来说，不要尝试这样做！

Answer 2

我在这里想了解的第一件事是为什么你想做这样的事情？

构造函数是一个成员函数实际上正在构造您的对象，一旦对象完全构造完毕，您就可以删除它，这就是为什么做这样的事情 -

class A
{
public:
    A()
    {
        delete this;
    }

    ~A()
    {
    }
};

会导致未定义的行为 。

另外，补充一点，如果您在析构函数中执行 delete this ，它也是不正确的，因为对象本身正在经历销毁并在析构函数中执行 delete this将再次调用析构函数。

class A
{
public:
    A()
    {
    }

    ~A()
    {
        delete this;   // calls the destructor again. 
    }
};

Answer 3

假设你的对象永远不会被任何东西继承，这应该可以正常工作。您的构造函数运行，然后立即调用析构函数。如果任何东西继承了这个对象，它将破坏，因为这个构造函数将在继承构造函数之前被调用。