- 虚表深入探究:
#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.补充概念:
静态联编:编译时,明确函数参数类型
动态联编:编译时,函数基类参数指针或引用不确定对象具体类型(不做类型安全检测).
在执行调用时根据传递实参确定类型.