首页 > 代码库 > careercup-C和C++ 13.6

careercup-C和C++ 13.6

13.6 基类的析构函数为何要声明为virtual?

解答:

用对象指针来调用一个函数,有以下两种情况:

  1. 如果是虚函数,会调用派生类中的版本。
  2. 如果是非虚函数,会调用指针所指类型的实现版本。

析构函数也会遵循以上两种情况,因为析构函数也是函数嘛,不要把它看得太特殊。 当对象出了作用域或是我们删除对象指针,析构函数就会被调用。

当派生类对象出了作用域,派生类的析构函数会先调用,然后再调用它父类的析构函数, 这样能保证分配给对象的内存得到正确释放。

但是,如果我们删除一个指向派生类对象的基类指针,而基类析构函数又是非虚的话, 那么就会先调用基类的析构函数(上面第2种情况),派生类的析构函数得不到调用。

例如:

class Foo{public:    void f();};class Bar: public Foo{public:    void f();}Foo *p=new Bar();p->f();

调用p->f()最后将会调用Foo::f(),这是因为p是指向Foo的指针,而f()不是虚函数。

为确保p->f()会调用继承关系最末端的子类的f()实现,我们需要将f()声明为虚函数。

现在,回到前面的析构函数。析构函数用于释放内存和资源。Foo的析构函数若不是虚拟的,那么,即使p实际上是Bar类型的,还是会调用Foo的析构函数。

这就是为何要将析构函数声明为虚拟的原因——确保正确调用继承关系最末端的子类的析构函数

例如:

class Base{public:    Base() { cout<<"Base Constructor"<<endl; }    ~Base() { cout<<"Base Destructor"<<endl; }};class Derived: public Base{public:    Derived() { cout<<"Derived Constructor"<<endl; }    ~Derived() { cout<<"Derived Destructor"<<endl; }};int main(){    Base *p = new Derived();    delete p;    return 0;}

输出为:

Base ConstructorDerived ConstructorBase Destructor

上面结果表明,虽然基类指向的是派生类,但是调用析构函数释放p时,仍然只调用了基类的析构函数。

如果我们把基类的析构函数声明为虚析构函数,这会使得所有派生类的析构函数也为虚。 从而使析构函数得到正确调用。

将基类的析构函数声明为虚的之后,得到的输出是:

Base ConstructorDerived ConstructorDerived DestructorBase Destructor

因此,如果我们可能会删除一个指向派生类的基类指针时,应该把析构函数声明为虚函数。 事实上,《Effective C++》中的观点是,只要一个类有可能会被其它类所继承, 就应该声明虚析构函数。

careercup-C和C++ 13.6