题目
为什么基类中的析构函数要声明为虚析构函数？
解答
用对象指针来调用一个函数，有以下两种情况：
- 如果是虚函数，会调用派生类中的版本。
- 如果是非虚函数，会调用指针所指类型的实现版本。
析构函数也会遵循以上两种情况，因为析构函数也是函数嘛，不要把它看得太特殊。 当对象出了作用域或是我们删除对象指针，析构函数就会被调用。
当派生类对象出了作用域，派生类的析构函数会先调用，然后再调用它父类的析构函数， 这样能保证分配给对象的内存得到正确释放。
但是，如果我们删除一个指向派生类对象的基类指针，而基类析构函数又是非虚的话， 那么就会先调用基类的析构函数(上面第2种情况)，派生类的析构函数得不到调用。
请看例子：
| 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; } |
输出是：
|
|
BaseConstructor
DerivedConstructor
BaseDestructor
|
如果我们把基类的析构函数声明为虚析构函数，这会使得所有派生类的析构函数也为虚。 从而使析构函数得到正确调用。
将基类的析构函数声明为虚的之后，得到的输出是：
|
|
BaseConstructor
DerivedConstructor
DerivedDestructor
BaseDestructor
|
因此，如果我们可能会删除一个指向派生类的基类指针时，应该把析构函数声明为虚函数。 事实上，《Effective C++》中的观点是，只要一个类有可能会被其它类所继承， 就应该声明虚析构函数。
原文地址：http://www.cricode.com/760.html
|
|
BaseConstructor
DerivedConstructor
DerivedDestructor
BaseDestructor
|
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
|
|
BaseConstructor
DerivedConstructor
DerivedDestructor
BaseDestructor
|
