Welcome

首页 / 软件开发 / C++ / 《Effective C++》读书笔记07:为多态基类声明virtual析构函数

《Effective C++》读书笔记07:为多态基类声明virtual析构函数2011-04-06 博客园 月光笛手这个问题在实践中偶尔会碰到,设计一个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析构函数的类!