C++复习——多态。

• 对象的类型

对象的类型分为静态类型和动态类型。

静态类型：对象声明时的类型，是在编译时确定的。

动态类型：目前所指对象的类型，是在运行时确定的。

• 多态

1. 静态多态：静态多态是由编译器在编译期间完成的，编译器根据函数实参的类型，推断出需要调用的函数。
2. 动态多态：在程序执行期间，判断所引用对象的实际类型，根据其实际类型调用相应的方法。

静态多态就是函数重载和泛型编程了。

而要了解动态多态，这里我们就要先了解下virtual关键字，使用该关键字修饰成员函数时，该函数为虚函数，派生类需要重新实现，编译器将实现动态绑定。

class washroom {
public:
	void goManwashroom()
	{
		cout << "Man----->left" << endl;
	}
	void goWomenwashroom()
	{
		cout << "Women----->right" << endl;
	}
};
class person {
public:
	virtual void gowashroom(washroom& _room) = 0;
};
class man :public person {
public:
	virtual void gowashroom(washroom& _room)
	{
		_room.goManwashroom();
	}
};
class women :public person {
public:
	virtual void gowashroom(washroom& _room)
	{
		_room.goWomenwashroom();
	}
};

在这我们声明了一个基类person，它调用了washroom类的函数，man类和women类都继承于person类。而我们将gowashroom函数设置为了虚函数。

从结果可以看出，虽然我们调用了相同的函数，但是却得到了不同的结果，这就是虚函数，它支持派生类对该函数的重写，实现了动态绑定，会根据实际类型的不同调用不同的函数。静态成员函数不能设置为虚函数，且像图中person类那样函数=0的形式，此类就成为抽象类，它不能直接创建对象，必须派生出一个子类并且对虚函数实行重写，才可以创建对象。

• 虚表

对于有虚函数的类，编译器都会维护一张虚表，对象的前四个字节就是指向虚表的指针。