c++ &继承和多态（三）

虚函数是一个类的成员函数，定义格式如下：
virtual 返回类型 函数名 （参数列表）；关键字virtual指明该成员函数为虚函数，virtual仅用于类定义中，如果虚函数在类外定义，不能加关键字virtual。

当某一个类的类成员函数被定义为虚函数时，则由该类派生出来的所有派生类中，该函数始终保持虚函数的特征。

虚函数要注意下面几个问题：

class Object
{
public:
	int value;
public:
	virtual void Print();
	virtual void Show(int x=0);
};
void Object::Show(int x)
{
	cout << value << endl;
}
void Object::Print()
{
	cout << value << endl;
}

当在类中申明虚函数，在类外定义函数体的时候不需要在前面加关键字virtual；当类成员函数的申明中参数列表里面有默认值时，在类外实现函数体的时候不要给参数给默认值，这两种情况都容易引起二义性。

当在派生类中重新定义虚函数（又称超载或者覆盖）时，不必加关键字virtual，但重新定义时不仅要同名，而且它的参数列表和返回类型必须全部和基类中的虚函数一样，负责编译时会出错。

成员函数应尽可能的设置成虚函数，但必须注意以下几点：

• 派生类中定义的虚函数必须与基类中的虚函数同名，同参数列表，同返回值。否则会被认为是重载而不是虚函数。但有个例外就是基类中返回基类指针，派生类中返回派生类指针是允许的。
• 只有类的成员函数才能说明为虚函数，这是因为虚函数只适用于有继承关系的类对象。
• 静态成员函数，是所有同一类对象共有的，不受限于某个对象，不能作为虚函数。
• 一个对象的静态和动态类型是相同的，实现动态多态性时，必须使用基类类型的指针变量或引用，使该指针指向该基类的不同派生类的对象，并通过该指针指向虚函数，才能实现动态的多态性。
• 内联函数每个对象一个拷贝，无映射关系，不能作为虚函数。
• 析构函数可定义为虚函数，构造函数不能定义虚函数，因为在调用构造函数时对象还没有完成实例化。在基类中及其派生类中都动态分配内存空间时，必须把析构函数定义为虚函数，实现撤销对象时的多态性。
• 函数执行速度要慢一些。为了实现多态性，每一个派生类中均要保存相应的虚函数的入口地址表，函数的调用机制也是间接实现。所以多态性要付出一定的代价，但通用性是更高的目标。
• 如果定义在类外，virtual只能加在函数申明前面，不能加在函数定义前面。

当类成员方法中含有虚函数时，在编译链接的过程中会产生虚函数表，虚函数表是存放在.data区域的。

下图中画出了三个类的虚函数表：