这个问题在实践中偶尔会碰到,设计一个TimeKeeper基类和一些派生类来记录时间:
1 class TimeKeeper
2 {
3 public:
4 TimeKeeper();
5 ~TimeKeeper();
6
7 };
8
9 class AtomicClock: public TimeKeeper {}; //原子钟
10 class WaterClock: public TimeKeeper {}; //水钟
在使用时,我们可能会使用factory工厂方法:
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析构函数的类!
系列文章:
《Effective C++》读书笔记01:视c++为一个语言联邦
《Effective C++》读书笔记02:用const,enum,inline减少#define出场机会
《Effective C++》读书笔记03:多才多艺的const
《Effective C++》读书笔记04:确保对象在使用之前被初始化
《Effective C++》读书笔记05:c++默默为您编写的函数
《Effective C++》读书笔记06:如果不要编译器自动生成的函数,就明确拒绝
《Effective C++》读书笔记07:为多态基类声明virtual析构函数
《Effective C++》读书笔记08:别让异常逃离析构函数
《Effective C++》读书笔记09:绝不在构造和析构过程中调用virtual函数
《Effective C++》读书笔记10:令operator=返回一个引用指向*this
版权与免责声明
1、本站所发布的文章仅供技术交流参考,本站不主张将其做为决策的依据,浏览者可自愿选择采信与否,本站不对因采信这些信息所产生的任何问题负责。
2、本站部分文章来源于网络,其版权为原权利人所有。由于来源之故,有的文章未能获得作者姓名,署“未知”或“佚名”。对于这些文章,有知悉作者姓名的请告知本站,以便及时署名。如果作者要求删除,我们将予以删除。除此之外本站不再承担其它责任。
3、本站部分文章来源于本站原创,本站拥有所有权利。
4、如对本站发布的信息有异议,请联系我们,经本站确认后,将在三个工作日内做出修改或删除处理。
请参阅权责声明!