执行“删除此”操作时缺少虚拟析构函数

Question

C++ FAQ Lite 的 16.15 部分讨论了 < code>删除此然后提到：

当然，通常的警告适用于 this 指针的情况 当您没有虚拟析构函数时，指向基类的指针。

为什么这是真的？考虑这段代码：

class ISuicidal {
public:
    virtual void suicide() = 0;
};

class MyKlass : public ISuicidal {
public:
    MyKlass() {
        cerr << "MyKlass constructor\n";
    }

    ~MyKlass() {
        cerr << "MyKlass destructor\n";
    }

    void suicide() {
        delete this;
    }
};

这样使用：

int main()
{
    ISuicidal* p = new MyKlass;
    p->suicide();
    return 0;
}

在调用 p->suicide() 中，MyKlass 的析构函数按预期调用，即使 ISuicidal 没有虚拟析构函数。

对我来说这是有道理的，因为在 MyKlass::suicide 中，this 的静态类型已知为 MyKlass*，因此正确的析构函数被调用。通过在 suicide 中放置 typeid 调用，可以轻松验证这一点。

那么，是FAQ条目不准确，还是我误解了它？

Answer 1

你误会了。在ISuicidal中实现自杀函数（即delete this），你会发现当this指针是基类时，对其调用delete并不会调用派生类的析构函数。

Answer 2

在你的函数 suicide(),
您正在使用删除此；
这里，this指针对应于类MyKlass，因为该函数是在MyKlass中定义的，而不是在ISuicidal中，因此调用了MyKlass的析构函数。

如果您在 ISuicidal 中定义了该函数，那么它不会调用 MyKlass 的析构函数，除非您在 ISuicidal 中声明虚拟析构函数。

Answer 3

如果您在派生自 MyClass 的层次结构中引入另一个实际类（例如 MyClass2），就会出现问题。

class ISuicidal {
public:
    virtual void suicide() = 0;
};

class MyKlass : public ISuicidal {
public:
    MyKlass() {
       cerr << "MyKlass constructor\n";
    }

    ~MyKlass() {
        cerr << "MyKlass destructor\n";
    }

    void suicide() {
        delete this;
    }
};

class MyKlass2 : public MyKlass {
public:
    MyKlass2() {
        cerr << "MyKlass2 ctr"<<std::endl;
    } 

    ~MyKlass2() {
        cerr << "MyKlass2 dtr"<<std::endl;
    }
}

int main()
{
    MyKlass* p = new MyKlass2;
    delete p; //destructor of base class called, not the destructor of MyKlass2 because
              //the destructor is not virtual
    return 0;
}

Answer 4

子类：public MyKlass {
〜孩子（）{}
};

ISuicidal* p = new Child;

p->suicide(); // ~Child() 未调用！

Answer 5

我认为你误解了它。当您在基类中调用 delete this 时，即 this 指针具有指向基类的指针类型时，就会出现此问题。

当然，通常的警告适用于 this 指针的情况
当您没有虚拟析构函数时，指向基类的指针。

在您的示例中，这不是指向基类的指针，而是指向派生类的指针。

Answer 6

只要您调用实例的确切析构函数（例如，不调用基类的析构函数），它就是安全的。

因此，您可以通过为每个子类正确实现 suicide() 来安全地实现这一点 - 或者通过创建一个可由 this 访问的外部删除器函数（或任何管理这个）。