第三十四节 C++ 多态原理与虚函数表

多态: 将派生类对象视为基类对象，执行派生类对象的操作, 可用virtual实现多态。

下面代码存在两个问题：

#include <iostream>
using namespace std;

/* 这段代码将存在两个严重问题：
 * 1. 当在函数VerityWhitchClass()传入一个对象时，我们希望它执行被传入对象的方法，但这里执行了基类的方法
 * 2. 当delete传入的对象指针时， 应该将先释放子类对象，再释放基类对象，这里仅仅释放了基类对象，造成了内存泄漏
 */
class BaseClass {
public:
	void debugFun() { cout << "this is BaseCalss" << endl; }
	BaseClass() { cout << "BaseClass constructor" << endl; }
	~BaseClass() { cout << "~BaseClass deconstructor" << endl; }
};

/*实例化对象时，将创建两个对象，子对象和基类对象，通过从调用的构造函数可以看出*/
class SonClass : public BaseClass {
public:
	void debugFun() { cout << "this is SonClass" << endl; }
	SonClass() { cout << "SonClass constructor" << endl; }
	~SonClass() { cout << "~SonClass deconstructor" << endl; }
};

/*这里采用了指针传入（也可以采用引用方式），而没有采用值传入的方式，为了防止出现浅复制*/
void VerityWhitchClass(BaseClass* Base) {//子类实例化对象当参数，这里将子类对象转化成基类类型
	Base->debugFun();  //问题1： 应该调用传入对象的方法，但这里调用了基类的方法，
	delete Base; //问题2： 应该先释放子类对象，再释放基类对象，但这里仅释放了基类对象
}

int main()
{
	SonClass* Son = new SonClass; //堆上实例化对象，需要用delete去释放
	VerityWhitchClass(Son);
	return 0;
}

output:

BaseClass constructor
SonClass constructor
this is BaseCalss             //错误，调用了基类的方法，没有调用派生类的方法

~BaseClass deconstructor   //错误，只对基类对象进行析构，没有对派生类对象进行析构

------------------------------------------------------------------------------------

这里将解决上面的问题，也就是实现多态。

#include <iostream>
using namespace std;

class BaseClass {
public:
	/*用关键字virtual将函数声明为虚函数*/
	virtual void debugFun() { cout << "this is BaseCalss" << endl; }
	BaseClass() { cout << "BaseClass constructor" << endl; }
	/*用关键字virtual将函数声明为虚析构函数*/
	virtual ~BaseClass() { cout << "~BaseClass deconstructor" << endl; }
};

/*实例化对象时，将创建两个对象，子对象和基类对象，通过从调用的构造函数可以看出*/
class SonClass : public BaseClass {
public:
	void debugFun() { cout << "this is SonClass" << endl; }
	SonClass() { cout << "SonClass constructor" << endl; }
	~SonClass() { cout << "~SonClass deconstructor" << endl; }
};


void VerityWhitchClass(BaseClass* Base) {
	Base->debugFun();
	delete Base; 
}

int main()
{
	SonClass* Son = new SonClass; //堆上实例化对象，需要用delete去释放
	VerityWhitchClass(Son);
	return 0;
}

output: 

BaseClass constructor
SonClass constructor
this is SonClass     //调用正确，调用了派生类对象的方法
~SonClass deconstructor //析构了两个对象

~BaseClass deconstructor

---------------------------------------------------------------------------------

多态的原理：在实例化含有虚函数的类时，会在对象中产生一个虚函数表指针（通过打印对象的大小可以看出多了4byte）。

这个指针指向虚函数表，虚函数表中存放着虚函数的地址，每个虚函数均指向函数实现。

1. 对于基类：虚函数指向基类的虚函数实现。

2. 对于派生类：虚函数指向派生类的虚函数实现，若继承来的虚函数，没有在派生类中实现，指向基类的虚函数实现。

3. 当派生类对象被视为基类对象时（派生类类型转成基类类型），虽然类型被转变，但虚函数表指针（地址）并没有发生改变，仍然是派生类的虚函数指针，所有在调用基类的函数时，会调用派生类的虚函数实现。