虚函数与多态

多态性：

• 即让父类的指针有“多种形态”
• 用父类型别的指针指向其子类的实例，然后通过父类的指针调用实际子类的成员函数

C++支持两种多态性：编译时多态性，运行时多态性

• 编译时多态性：通过重载函数和运算符重载实现
• 运行时多态性：通过虚函数和继承实现

虚函数：

• 声明：virtual 函数类型 函数名(形参表)
• 虚函数是实现运行时多态性基础，必须是非静态的成员函数
• 虚函数经过派生之后，就可以实现运行过程中的多态
• 虚函数属于对象而不属于类，它需要在运行时用指针定位到指向的对象是谁，再决定调用的函数是谁
• C++中的虚函数是动态绑定的函数
• 一般成员函数和析构函数可以是虚函数，构造函数不能是虚函数
• 派生类中的虚函数还会隐藏基类中同名函数的所有其它重载形式
  

派生类可以不显式地用virtual声明虚函数，这时系统就会用以下规则来判断派生类的一个函数成员是不是虚函数（一般习惯于在派生类的函数中也使用virtual关键字，以增加程序的可读性）：

1. 该函数是否与基类的虚函数有相同的名称、参数个数及对应参数类型
2. 该函数是否与基类的虚函数有相同的返回值或者满足类型兼容规则的指针、引用型的返回值
3. 如果从名称、参数及返回值三个方面检查之后，派生类的函数满足上述条件，就会自动确定为虚函数。这时，派生类的虚函数便覆盖了基类的虚函数

#include<iostream>
using namespace std;
class Base1
{
	public:
		virtual void Dis() const
		{
			printf("Base1\n");
		}
};
class Base2:  public Base1
{ 
	public:
		virtual void Dis() const		//就算这里不声明为虚函数，系统也会自动判定其为虚函数，下同
		{
			printf("Base2\n");
		}
};
class Derived:  public Base2
{
	public:
		void Text()
		{
			printf("Text!\n");
		}
		virtual void Dis() const
		{
			printf("Derived\n");
		}
};
void fun(Base1 *ptr)
{ 
	ptr->Dis(); 
}

int main(void)
{
	Base1 A, *a, *b, *c;
	Base2 B;
	Derived C;
	a = &A, b = &B, c = &C;

	a->Dis();
	b->Dis();
	//c->Text();		非法，别忘了通过基类对象名，指针只能使用从基类继承的成员
	c->Dis();
	return 0;
}
/*
Base1
Base2
Derived
如果不声明虚函数，那么输出的都是Base1
*/