本文共 1137 字,大约阅读时间需要 3 分钟。
当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析构函数.
例如:标准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析构函数
转载地址:http://hcwfi.baihongyu.com/