揭秘继承技术之虚函数

虚函数

调用虚函数时函数行为将根据对象所属类的不同而变化。

父类指针或引用指向子类对象时，可访问子类重写方法（ virtual函数）但无法访问在父类中没有定义的子类方法和数据成员。

#include <iostream>using namespace std;class Super
{
public:Super(){}virtual void where(){cout<<"there is Super"<<endl;}
};class Sub :public Super
{
public:Sub(){}virtual void where(){cout<<"there is Sub"<<endl;}void what(){cout<<"what?";}
};int main()
{Sub sub;Super* ptr = &sub;Super &ref = sub;sub.where();ptr->where();ref.where();return 0;
}

运行结果：

 

通过ptr和ref访问的where（）均为子类方法，无法访问子类的what（）方法。

 

所有析构函数都应该声明为虚函数（至少祖先类的析构函数应声明为virtual）

一个函数被声明为virtual即使在它子类中没有显式的指出该函数依然是virtual。

如果父类的析构函数没有声明为virtual，当delete一个实际指向子类对象的父类指针时，析构函数调用链将被破坏。

#include <iostream>using namespace std;class Something
{
public:Something(){cout <<"1";}~Something(){cout<<"1";}
};class Super : public Something
{
public:Super(){cout<<"2";}~Super(){cout<<"2";}
};class Sub :public Super
{
public:Sub(){cout<<"3";}~Sub(){cout<<"3";}
};int main()
{Super* ptr = new Sub;delete ptr;return 0;
}

运行结果：

将Something的析构函数声明为virtual后，结果就为“123321”了。