虚函数的实现原理学习

#include <cstdio>
#include <iostream>
using namespace std;

class Base{
	public:
	void Function() 
	{
		cout << "This is Base Function" << endl;
	}
	virtual void Function1() 
	{
		cout << "This is Base Function1" << endl;
	}
	virtual void Function2() 
	{
		cout << "This is Base Function2" << endl;
	}
};

class Derive:public Base{
	public:
	void Function() 
	{
		cout << "This is Derive Function" << endl;
	}
	void Function1() 
	{
		cout << "This is Derive Function1" << endl;
	}	
};



int main()
{
	Derive der;
	Base *bas = (Base *)(&der);
	der.Function();
	der.Function1();
	der.Function2();
	
	cout << endl;
	
	bas->Function();
	bas->Function1();
	bas->Function2();
	
	return 0;
}

输出结果：

/*
This is Derive Function
This is Derive Function1
This is Base Function2

This is Base Function
This is Derive Function1
This is Base Function2
*/

对于每一个有虚函数的类来说，它都有一个属于自己的虚表（vtable），而且每一个类只有唯一的一个vtable

这个虚表，实质上来说是一个函数指针数组，该数组记录了所有虚函数的函数指针。

在上面的代码中，我们定义了一个Derive类的对象，然后用一个Base类的指针指向它，为什么Function1还是Derive呢？

因为这个对象的虚表是固定的，虚表里所指向的Function1已经被重装，当Derive类型的指针被强制转换成Base类型的时候，因为虚表的唯一性，所以，虚表里的两个函数指针所指向的函数依然是，已经重载过的Function1和没有被重载过的Function2，而Function由于不是虚函数，所以自然输出的是Base Function 和 指针类型保持一致.

嗯，暂时理解的就是这么多，等以后深入了之后再补充。

that’s all ...