C++ 多态、虚函数、抽象类、虚表（二）

1. 虚表深入探究：

#include  <iostream>
#include  <stdio.h>
using namespace std;
typedef void (*PTR_FUN)();
class  Base
{
private:
	virtual void  fun()
	{
		cout<<"Base  fun"<<endl;
	}
	virtual void  fun2()
	{
		cout<<"Base  fun2"<<endl;
	}
private:
	int data;
};

int main(int argc, char const *argv[])
{
	cout<<sizeof(Base)<<endl;//输出8 但是对象的前4个字节记录虚表地址
	//从C语言指针的角度探究含有虚表类的内存结构
	Base  obj_b;
	int *ptr_vtable=(int*)(*((int*)&obj_b));//找到虚表地址
	int * ptr_fun=(int*)(*ptr_vtable);//取出虚表一个元素地址(第一个虚函数地址)
	((PTR_FUN)ptr_fun)();//把一个地址转换成函数地址,调用第一个函数执行，嘿嘿~ 输出Base  fun

	ptr_fun=(int*)(*(ptr_vtable+1));//取出虚表二个元素地址(第二个虚函数地址)
	((PTR_FUN)ptr_fun)();//把第二个地址转换成函数地址,调用第二个函数执行 输出Base  fun2

	return 0;
}

当继承时

#include  <iostream>
#include  <stdio.h>
using namespace std;
class  Base
{
private:
	virtual void  fun()
	{
		cout<<"Base  fun"<<endl;
	}
	virtual void  fun2()
	{
		cout<<"Base  fun2"<<endl;
	}
private:
	int data;
};

class Child :public  Base
{

};
int main(int argc, char const *argv[])
{

	Base  obj_b2;
	int * ptr_vtable= (int*)*((int*)&obj_b2);//找到虚表地址
	cout<<"Base vtable address:"<<ptr_vtable<<endl; //0x8048a40
	Child  obj_b1;
	ptr_vtable= (int*)*((int*)&obj_b1);//找到虚表地址
	cout<<"Child vtable address:"<<ptr_vtable<<endl;//0x8048a30 两个地址不一样。说明派生类复制基类虚表

	return 0;
}

2. 如果基类里面有虚函数，派生类里面也有自己的虚函数，那么这些虚函数是放在哪儿的？

   是放在从基类复制过来的虚表的后面 ？还是自己有另一虚表来单独存放自己的虚函数呢？

#include  <iostream>
#include  <stdio.h>
using namespace std;
typedef void (*PTR_FUN)();
class  Base
{
private:
	virtual void  fun()
	{
		cout<<"Base  fun"<<endl;
	}
	virtual void  fun2()
	{
		cout<<"Base  fun2"<<endl;
	}
private:
	int data;
};

class Child :public  Base
{
public:
	//派生类覆盖基类的虚函数(派生类自定义函数地址值覆盖了基类虚表中的函数地址值)
	virtual void  fun2()
	{
		cout<<"Child  fun2"<<endl;
	}
	virtual void  fun3()
	{
		cout<<"Child  fun3"<<endl;
	}
};
int main(int argc, char const *argv[])
{
	Child  obj_b1;
	int *ptr_vtable= (int*)*((int*)&obj_b1);//找到虚表地址
	cout<<"Child vtable address:"<<ptr_vtable<<endl;//派生类复制基类虚表.

	int * ptr_fun=(int*)(*ptr_vtable);//取出虚表一个元素地址(第一个虚函数地址)
	((PTR_FUN)ptr_fun)();//把一个地址转换成函数地址 输出Base  fun

	ptr_fun=(int*)(*(ptr_vtable+1));
	((PTR_FUN)ptr_fun)();//咦？？怎么输出的Child  fun2  原来派生类有相同虚函数名的会把基类里面的虚函数覆盖了。

	//不妨再大胆一些，继续向后移动指针
	ptr_fun=(int*)(*(ptr_vtable+2));
	((PTR_FUN)ptr_fun)();//输出Child  fun3 哈哈~ 原来派生类自定义虚函数存放在虚表末尾(只有一个虚表)


	return 0;
}

3. 派生存在多个虚表时,自定义虚函数存放在第一个虚表的末尾
   如果继承两个基类 第二个基类的虚表会放在第一个基类的数据成员之后

typedef void (*PTR_FUN)();
class  Base1
{
public:
	Base1()
	{
		data=20;
	}
	virtual void  fun()
	{
		cout<<"Base1  fun"<<endl;
	}
	virtual void  fun2()
	{
		cout<<"Base1  fun2"<<endl;
	}
private:
	int data;
};
class  Base2
{
public:
	virtual void  fun3()
	{
		cout<<"Base2  fun3"<<endl;
	}
	virtual void  fun4()
	{
		cout<<"Base2  fun4"<<endl;
	}
};

class Child :public  Base1,public Base2
{
public:
	virtual  void fun5()
	{
		cout<<"Child  fun5"<<endl;
	}
};
int main(int argc, char const *argv[])
{
	cout<<sizeof(Child)<<endl; //输出12 8+4

	Child  obj_b1;
	/*int *ptr_vtable= (int*)&obj_b1;
	cout<<*ptr_vtable<<endl; 	 //输出一个地址 （说明是虚表的地址）
	cout<<*(ptr_vtable+1)<<endl; //输出20
	cout<<*(ptr_vtable+2)<<endl; //输出一个地址 （说明是虚表的地址）
	cout<<*(ptr_vtable+3)<<endl; //输出一个不太正常的负数，说明+3已经没有说明意义了*/

    //访问第一个虚表
	int *ptr_vtable= (int*)(*(int*)&obj_b1);
	int * ptr_fun=(int*)(*ptr_vtable);
	((PTR_FUN)ptr_fun)(); //输出Base1  fun

	ptr_fun=(int*)(*(ptr_vtable+1));
	((PTR_FUN)ptr_fun)(); //输出Base1  fun2
	//大胆一些
	ptr_fun=(int*)(*(ptr_vtable+2));
	((PTR_FUN)ptr_fun)();//咦！输出Child  fun5 说明派生存在多个虚表时,自定义虚函数存放在第一个虚表的末尾

	//访问第二个虚表
	ptr_vtable= (int*)(*((int*)&obj_b1+2));
	ptr_fun=(int*)(*ptr_vtable);
	((PTR_FUN)ptr_fun)(); //输出Base2  fun3

	ptr_fun=(int*)(*(ptr_vtable+1));
	((PTR_FUN)ptr_fun)(); //输出Base2  fun4

	return 0;
}

4.补充概念：

   静态联编:编译时,明确函数参数类型
   动态联编:编译时,函数基类参数指针或引用不确定对象具体类型(不做类型安全检测).
                   在执行调用时根据传递实参确定类型.