为什么基类中的析构函数要声明为虚析构函数？

题目

为什么基类中的析构函数要声明为虚析构函数？

解答

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

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

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

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

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

请看例子：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

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 ; }

 

输出是：

1 2 3 4

Base Constructor Derived Constructor Base Destructor

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

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

1 2 3 4 5

Base Constructor Derived Constructor Derived Destructor Base Destructor

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

原文地址：http://www.cricode.com/760.html

1 2 3 4 5

Base Constructor Derived Constructor Derived Destructor Base Destructor

C++中的虚函数是如何工作的？

虚函数依赖虚函数表进行工作。如果一个类中，有函数被关键词virtual进行修饰， 那么一个虚函数表就会被构建起来保存这个类中虚函数的地址。同时， 编译器会为这个类添加一个隐藏指针指向虚函数表。如果在派生类中没有重写虚函数， 那么，派生类中虚表存储的是父类虚函数的地址。每当虚函数被调用时， 虚表会决定具体去调用哪个函数。因此，C++中的动态绑定是通过虚函数表机制进行的。

当我们用基类指针指向派生类时，虚表指针vptr指向派生类的虚函数表。 这个机制可以保证派生类中的虚函数被调用到。

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22

class Shape { public :      int edge_length ;      virtual int circumference ( ) {          cout << "Circumference of Base Classn" ;          return 0 ;      } } ; class Triangle : public Shape { public :      int circumference ( ) {          cout << "Circumference of Triangle Classn" ;          return 3 * edge_length ;      } } ; int main ( ) {      Shape * x = new Shape ( ) ;      x -> circumference ( ) ; // prints “Circumference of Base Class”      Shape * y = new Triangle ( ) ;      y -> circumference ( ) ; // prints “Circumference of Triangle Class”      return 0 ; }

原文地址：http://www.cricode.com/751.html

1 2 3 4 5

Base Constructor Derived Constructor Derived Destructor Base Destructor