当前位置:主页   - 电脑 - 程序设计 - C/C++
《Effective C++》读书笔记07:为多态基类声明virtual析构函数
来源:网络   作者:   更新时间:2011-11-08
收藏此页】    【字号    】    【打印】    【关闭

  这个问题在实践中偶尔会碰到,设计一个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、如对本站发布的信息有异议,请联系我们,经本站确认后,将在三个工作日内做出修改或删除处理。
请参阅权责声明