《Effective C++》读书笔记07:为多态基类声明virtual析构函数
这个问题在实践中偶尔会碰到,设计一个TimeKeeper基类和一些派生类来记录时间:
1 class TimeKeeper 2 { 3 public: 4 TimeKeeper(); 5 ~TimeKeeper(); 6 7 }; 8 9 class AtomicClock: public TimeKeeper {}; //原子钟 10 class WaterClock: public TimeKeeper {}; //水钟 |
1 TimeKeeper* getTimeKeeper();//返回一个指针,指向一个派生类的动态分配的对象 2 3 TimeKeeper* ptk = getTimeKeeper();//从继承体系中得到一个动态分配对象 4 5 delete ptk;//负责的删除它 |
删除的时候就会出现问题,因为ptk这个指针指向的是基类,那删除的指令会执行基类TimeKeeper的析构函数,该函数不是virtual函数。
在c++中,这样的情况下其删除行为没有被定义,一般会只删除基类的成分,而派生类的那些元素没有被删除,这就是形成资源泄露,败坏数据结构,在调试器上浪费很多时间的绝佳途径哦(引用原文翻译)。
解决的方法就是定义一个基类的virtual析构函数,这样一来,删除行为就会在派生类中实现,不会只删除一部分。
一般来说,只要类中有virtual函数,就要定义一个virtual析构函数。不过,如果类中没有virtual函数,就不需要也不应该定义virtual析构函数,这样不仅没用,而且也会增加额外开支,且会产生很多的兼容性问题,因为virtual机制是c++特有的。
另外,c++中很多类的实现都是不带virtual的,比如:string,STL中的vector,list,set,trl::unordered_map,如果继承它们很可能出现上述的错误,所以作者提醒大家:拒绝继承标准容器或者其它只有非virtual析构函数的类!