【C++基础】virtual析构函数

若基类用于多态:

当derived class对象经由一个base  class指针被删除,而该base class带着一个non-virtual析构函数,其结构为定义,实际执行时通常发生的是对象的derived成分没被销毁.这通常会造成一个"局部销毁"对象,形成资源泄漏.

消除这个问题的做法很简单:给base class一个virtual析构函数.此后删除derived class对象就会销毁整个对象,包括derived class成分.

若基类不打算用于多态:

如果类包含虚函数,会带一个vptr(virtual table pointer);vptr指向一个由函数指针构成的数组vtbl(virtual table);每个带有virtual函数的class都有一个相应的vtbl;当对象调用某一virtual函数,实际被调用的函数取决于该对象的vptr所指的那个vtbl;

如果包含了虚函数,其对象的体积会增加;

因此,若基类不打算用于多类,即不作为base class,不要添加virtual析构函数.

不要继承不带virtual析构函数的class:

例如:标准string不含任何virtual函数,如果错误地把它当作base class:

class SpecailString : public std::string
{

};

SpecialString* pss = new SpecialString("");
std::string* ps;
...
ps = pss;
...
delete ps;  // 未定义，资源会泄漏

由于作为 base的 class没有 virtual析构函数,会导致 资源泄漏.

相同的分析适用于任何不带virtual析构函数的class,包括所有STL容器如vector, list, set等等。

纯虚析构函数：

如果class希望带有一个pure virtual函数，可以选择pure virtual析构函数:

class AWOV
{
public:
    virtual ~AWOV() = 0;
};

AWOV:::~AWOV()
{

}

注意， 这里必须为这个pure virtual析构函数提供一个定义。

因为析构函数的运作方式是，最深层派生(most-derived)的那个class其析构函数最先被调用，然后是其每一个base class的析构函数被调用。因此必须为这个函数提供一份定义。

“给base classes添加一个virtual析构函数”,这个规则只适用与polymorphic(带多态性质)的base classes身上。

参考：

《Effective C++》：条款07：为多态基类声明virtual析构函数