我对大多数OOP
理论都有扎实的了解,但令我困惑的一件事是虚拟析构函数。
我认为,无论链中的每个对象是什么,析构函数总是被调用。
您打算什么时候将它们虚拟化?为什么?
当您可能通过指向基类的指针删除派生类的实例时,虚拟析构函数很有用:
class Base
{
// some virtual methods
};
class Derived : public Base
{
~Derived()
{
// Do some important cleanup
}
};
在这里,您会注意到我没有声明Base的析构函数为virtual
。现在,让我们看一下以下代码片段:
Base *b = new Derived();
// use b
delete b; // Here's the problem!
由于Base的析构函数不是virtual
并且b
是Base*
指向Derived
对象的指针,因此delete b
具有未定义的行为:
[在
delete b
]中,如果要删除的对象的静态类型与其动态类型不同,则静态类型应为要删除的对象的动态类型的基类,并且静态类型应具有虚拟析构函数或行为是不确定的。
在大多数实现中,对析构函数的调用将像任何非虚拟代码一样进行解析,这意味着将调用基类的析构函数,但不会调用派生类之一,从而导致资源泄漏。
总而言之,在需要对基类virtual
进行多态操作时,请始终使其成为析构函数。
如果要防止通过基类指针删除实例,则可以使基类的析构函数受保护且是非虚拟的。这样,编译器将不允许您调用delete
基类指针。
您可以从Herb Sutter的本文中了解有关虚拟性和虚拟基类析构函数的更多信息。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句