我对大多数理论都有扎实的理解,OOP但让我很困惑的一件事是虚拟析构函数。
我认为析构函数总是被调用,不管是什么,对于链中的每个对象。
你打算什么时候把它们变成虚拟的,为什么?
当您可能通过指向基类的指针删除派生类的实例时,虚拟析构函数很有用:
class Base { // some virtual methods }; class Derived : public Base { ~Derived() { // Do some important cleanup } };
在这里,您会注意到我没有将 Base 的析构函数声明为virtual. 现在,让我们看一下以下代码段:
virtual
Base *b = new Derived(); // use b delete b; // Here's the problem!
由于 Base 的析构函数不是virtual并且b是Base*指向Derived对象,delete b因此具有未定义的行为:
b
Base*
Derived
delete b
[在delete b]中,如果待删除对象的静态类型与其动态类型不同,则静态类型应为待删除对象动态类型的基类,且静态类型应具有虚析构函数或行为未定义。
在大多数实现中,对析构函数的调用将像任何非虚拟代码一样被解析,这意味着将调用基类的析构函数而不是派生类的析构函数,从而导致资源泄漏。
总而言之,virtual当要对基类进行多态操作时,请始终创建基类的析构函数。
如果要防止通过基类指针删除实例,可以将基类析构函数设为protected和nonvirtual;通过这样做,编译器不会让您调用delete基类指针。
delete