#include <iostream> using namespace std; class Enemy { public: Enemy(int damage = 10) { m_pDamage = new int(damage); } virtual ~Enemy() //定义虚拟析构函数,这儿有必要性,见下 { cout << "m_pDamage deleted\n"; delete m_pDamage; } void Taunt() const { cout << "The enemy says he will fight you.\n"; } void virtual VTaunt() const { cout << "The enemy says he will fight you.\n"; } protected: int* m_pDamage; }; class Boss : public Enemy { public: Boss(int multiplier = 3) { m_pDamageMultiplier = new int(multiplier); } virtual ~Boss() { cout << "m_pDamageMultiplier deleted\n"; delete m_pDamageMultiplier; } void Taunt() const { cout << "The boss says he will end your pitiful existence.\n"; } void virtual VTaunt() const { cout << "The boss says he will end your pitiful existence.\n";} protected: int* m_pDamageMultiplier; }; int main() { cout << "Pointer to Enemy that points to a Boss object:\n"; Enemy* pBadGuy = new Boss(); pBadGuy->Taunt(); // 第一行代码输出的是:The enemy says he will fight you. pBadGuy->VTaunt(); //第二行代码输出的是:The boss says he will end your pitiful existence. cout << "\nDeleting pointer to Enemy:\n"; delete pBadGuy; pBadGuy = 0; return 0; }
过程:
第一行语句执行过程:本来,基类指针是用来指向基类对象的,如果用它指向派生类对象,则进行指针类型转换 ——将派生类对象的指针先转化为基类的指针,所以基类的指针指向的是派生类对象中的基类部分。
第二行语句执行过程:虚函数可以突破上述限制,在派生类的基类部分中,派生类的虚函数取代了基类的虚函数,因此在使用基类指针指向派生类对象后,调用虚函数时就调用了派生类的虚函数。
原因:第一行编译系统采用的是“前期绑定”,它根据指针类型来绑定确切的成员函数。(大部分或者一般情况下,我们使用的都是这种类型;);第二行,通过“虚函数”实现灵活的“后期绑定”,根据指向的对象类型调用成员函数,虚函数允许多态行为。
2.虚析构函数
在使用指向基类的指针来指向派生类的一个对象时,存在一个潜在的问题!在使用delete删除这个指针时,将只为这个对象调用基类的析构函数,如果此时的派生类中有需要释放的内存(如上面的Boss中就再类中new了一段内存),则会发生内存泄露问题。
解决方法:将析构函数也定义为虚拟的!这样在用delete删除这个一个指针所指向的对象时,先调用指针所指向对象(派生类对象)对应的析构函数而不是该指针对象的析构函数,进而它导致基类的析构函数被调用,使各个类都有机会清理自己。
如上面的代码所示,
基类中的析构函数:
virtual~Enemy()//定义虚拟析构函数,这儿有必要性,见下 { cout <<"m_pDamage deleted\n"; delete m_pDamage; }
派生类中的析构函数:
virtual~Boss() { cout <<"m_pDamageMultiplier deleted\n"; delete m_pDamageMultiplier; }