C++多态

多态的本质

形式上，使用统一的父类指针做一般性处理，但是实际执行时，这个指针可能指向子类对象，形式上，原本调用父类的方法，但是实际上会调用子类的同名方法。

【注意】
程序执行时，父类指针指向父类对象，或子类对象时，在形式上是无法分辨的！只有通过多态机制，才能执行真正对应的方法。

虚函数的使用
虚函数的定义：
在函数的返回类型之前使用virtual，只在成员函数的声明中添加virtual, 在成员函数的实现中不要加virtual。

虚函数的继承：

如果某个成员函数被声明为虚函数，那么它的子类【派生类】，以及子类的子类中，所继承的这个成员函数，也自动是虚函数。
如果在子类中重写这个虚函数，可以不用再写virtual, 但是仍建议写virtual, 更可读！

虚函数表

多重继承示例代码：

#include <iostream>

using namespace std;

class Father {
public:
	virtual void func1() { cout << "Father::func1" << endl; }
	virtual void func2() { cout << "Father::func2" << endl; }
	virtual void func3() { cout << "Father::func3" << endl; }
	void func4() { cout << "非虚函数：Father::func4" << endl; }
public:
	int x = 200;
	int y = 300;
	static int z;
};

class Mother {
public:
	virtual void handle1() { cout << "Mother::handle1" << endl; }
	virtual void handle2() { cout << "Mother::handle2" << endl; }
	virtual void handle3() { cout << "Mother::handle3" << endl; }
public: //为了便于测试，使用public权限
	int m = 400;
	int n = 500;
};

class Son : public Father, public Mother {
public:
	void func1() { cout << "Son::func1" << endl; }
	virtual void handle1() { cout << "Son::handle1" << endl; }
	virtual void func5() { cout << "Son::func5" << endl; }
};

int Father::z = 0;

typedef void(*func_t)(void);

int main(void) {
	Son son;
	int* vptr = (int*) * (int*)&son;
	cout << "第一个虚函数表指针：" << vptr << endl;

	for (int i = 0; i < 4; i++) {
		cout << "调用第" << i + 1 << "个虚函数:";
		((func_t) * (vptr + i))();
	}

	for (int i = 0; i < 2; i++) {
		cout << *(int*)((int)&son + 4 + i * 4) << endl;
	}

	int* vptr2 = (int*) * ((int*)&son + 3);
	for (int i = 0; i < 3; i++) {
		cout << "调用第" << i + 1 << "个虚函数:";
		((func_t) * (vptr2 + i))();
	}

	for (int i = 0; i < 2; i++) {
		cout << *(int*)((int)&son + 16 + i * 4) << endl;
	}

	system("pause");
	return 0;
}

执行后的结果：

内存分布：

VS分析：

对象内，首先存储的是“虚函数表指针”，又称“虚表指针”。然后再存储非静态数据成员。对象的非虚函数，保存在类的代码中！对象的内存，只存储虚函数表和数据成员（类的静态数据成员，保存在数据区中，和对象是分开存储的）。
添加虚函数后，对象的内存空间不变！仅虚函数表中添加条目多个对象，共享同一个虚函数表！

补充：
子类的虚函数表的构建过程：

1.直接复制父类的虚函数表

2.如果子类重写了父类的某个虚函数，那么就在这个虚函数表中进行相应的替换

3.如果子类增加了新的虚函数，就把这个虚函数添加到虚函数表中，尾部添加。新增的虚函数添加的第一个虚函数表中。