为多态基类声明virtual析构函数

来源:互联网 发布:淘宝店铺简单装修 编辑:程序博客网 时间:2024/05/21 14:04

这个问题在实践中偶尔会碰到,设计一个TimeKeeper基类和一些派生类来记录时间:

 class TimeKeeper{  public:   TimeKeeper();   ~TimeKeeper();  };class AtomicClock: public TimeKeeper {}; //原子钟class WaterClock: public TimeKeeper {}; //水钟

在使用时,我们可能会使用factory工厂方法:  TimeKeeper* getTimeKeeper();//返回一个指针,指向一个派生类的动态分配的对象 TimeKeeper* ptk = getTimeKeeper();//从继承体系中得到一个动态分配对象delete ptk;//负责的删除它
删除的时候就会出现问题,因为ptk这个指针指向的是基类,那删除的指令会执行基类TimeKeeper的析构函数,该函数不是virtual函数。
在c++中,这样的情况下其删除行为没有被定义,一般会只删除基类的成分,而派生类的那些元素没有被删除,这就是形成资源泄露,败坏数据结构,在调试器上浪费很多时间的绝佳途径哦。
解决的方法就是定义一个基类的virtual析构函数,这样一来,删除行为就会在派生类中实现,不会只删除一部分。
一般来说,只要类中有virtual函数,就要定义一个virtual析构函数。不过,如果类中没有virtual函数,就不需要也不应该定义virtual析构函数,这样不仅没用,而且也会增加额外开支,且会产生很多的兼容性问题,因为virtual机制是c++特有的。
另外,c++中很多类的实现都是不带virtual的,比如:string,STL中的vector,list,set,trl::unordered_map,如果继承它们很可能出现上述的错误,所以作者提醒大家:拒绝继承标准容器或者其它只有非virtual析构函数的类!
有时候你希望拥有抽象class,但手上没有任何pure virtual函数,怎么办?由于抽象class总是企图被当做一个base class来用,而又由于base class应该有一个virtual析构函数,并且由于pure virtual函数会导致抽象class,因此解决办法很简单:为你希望它成为抽象的那个class声明一个pure virtual析构函数。下面是例子:

class Awov{public:  virtual ~Awov() = 0;}

总结:polymorphic base classes 应该声明一个virtual析构函数。如果class带有任何virtual函数,它就应该拥有一个virtual析构函数。
classes的设计目的如果不是作为base classes使用,或不是为了具备多态性质,就不应该声明virtual析构函数。