1.(mov ecx,dword ptr [ebp-0Ch])将this指针压入ecx
2.(mov edx,dword ptr [ecx])this指针指向该对象的首地址,而该处的前四个字节存放着该对象的虚函数表的首地址,将虚表指针放到edx中。
3.(call dword ptr [edx+4])由于edx中存放着虚表指针,则edx+4表示调用该虚表中的第二个函数
4.执行到上述操作后,执行该条指令(jmp B::say (00401320)),从而真正调用我们的虚函数!
如果我们的程序是通过指向对象的指针或者是引用来调用该对象的虚函数,则在调用虚函数的过程需要查表(虚函数表)来调用真正的函数。
调用的不是虚函数则不需要查表,在编译时即可确定调用的是那个函数。
如果是通过对象来调用则对任何类型的函数都不需要查表。
虚函数指针是在对象的构造函数中初始化的。
关于虚表指针的测试程序:
//virtual1.cpp
#include <iostream>
using namespace std;
class A
{
private:
int a_val;
public:
virtual void show(){cout<<"show"<<a_val<<endl;}
virtual void say(){cout<<"say"<<endl;}
inline void setVal(int val){a_val = val;}
};
int main()
{
A a;
a.setVal(123);
//受保护的虚函数是不能被直接调用的
//而通过虚表指针的地址拷贝则可实现函数的调运
//a.show();
//该指针存放虚表地址
int *des = new int;
//该指针存放虚表中的第一个函数
int *ptr = new int;
memcpy(des,&a,4);
memcpy(ptr,reinterpret_cast<int *>(*des),4);
void (*pshow)() = reinterpret_cast<void (*)()>(*ptr);
//依据__thiscall的调用约定将this指针传入ecx
//从而使虚函数能够正确地取出参数
int addre = reinterpret_cast<int>(&a);
__asm34 {
mov ecx,addre
};
pshow();
//获得私有的成员v_val
memcpy(des, reinterpret_cast<int *>(&a)+1, 4);
cout<<*des<<endl;
return 0;
}
//virtual2.cpp
#include <iostream>
#include <string>
using namespace std;
class A
{
private:
int a_val;
public:
virtual void show(std::string str)
{
/*
int addr = reinterpret_cast<int>(this);
__asm14 {
mov ecx,addr16 }
*/
cout<<a_val<<endl;
cout<<str<<endl;
}
virtual void say(){cout<<"say"<<endl;}
inline void setVal(int val){a_val = val;}
};
/*
class B: public A
{
private:
int b_val;
public:
void say(){cout<<"B in say"<<endl;}
virtual void hello(){cout<<"hello"<<endl;}
};
*/
int main()
{
A a;
a.setVal(123);
//受保护的虚函数是不能被直接调用的
//而通过虚表指针的地址拷贝则可实现函数的调运
//a.show();
//该指针存放虚表地址
int *des = new int;
//该指针存放虚表中的第一个函数
int *ptr = new int;
memcpy(des,&a,4);
memcpy(ptr,reinterpret_cast<int *>(*des),4);
void (*pshow)(std::string) = reinterpret_cast<void (*)(std::string)>(*ptr);
int addre = reinterpret_cast<int>(&a);
__asm55 {
mov ecx,addre57 };
string str("hello world");
pshow(str);
__asm63 {
sub esp,10h65 };
//获得私有的成员v_val
memcpy(des, reinterpret_cast<int *>(&a)+1, 4);
cout<<*des<<endl;
//cout<<*des<<endl;
//cout<<*ptr<<endl;
return 0;
}
//virtual3.cpp
#include <iostream>
#include <string>
using namespace std;
class A
{
private:
char a_val;
public:
virtual void show()
{
cout<<"show"<<endl;
}
virtual void say(){cout<<"say"<<endl;}
inline void seta_Val(char val){a_val = val;}
inline char geta_Val()const{return a_val;}
};
class B: public A19 {
private:
int b_val;
public:
void say(){cout<<"B in say"<<endl;}
virtual void hello(){cout<<"hello"<<endl;}
inline void setb_Val(int val){b_val = val;}
inline int getb_Val()const{return b_val;}
};
int main()
{
B b;
b.setb_Val(123);
b.seta_Val('A');
int *vfptr = new int;
int *pf = new int;
memcpy(vfptr, &b, 4);
memcpy(pf, reinterpret_cast<int *>(*vfptr)+2, 4);
void (*pfun)() = reinterpret_cast<void (*)()>(*pf);
pfun();
char *pa_val = new char;
int *pb_val = new int;
memcpy(pa_val, reinterpret_cast<int *>(&b)+1, sizeof(char));
memcpy(pb_val, reinterpret_cast<int *>(&b)+2, sizeof(int));
cout<<*pa_val<<endl;
cout<<*pb_val<<endl;
cout<<"<<<<<<<<<<<<<<"<<endl;
*pa_val = 'B';
*pb_val = 999;
memcpy(reinterpret_cast<int *>(&b)+1, pa_val, sizeof(char));
memcpy(reinterpret_cast<int *>(&b)+2, pb_val, 4);
cout<<b.geta_Val()<<endl;
cout<<b.getb_Val()<<endl;
return 0;
}
由以上测试程序可以得出以下结论:
1.c++对象(基类对象)的内存布局是:对象的内存地址(&a)所指向的内存中的前四个字节中存放的是该对象的虚函数表的首地址(前提是该对象有虚函数),接下来的内存中依次存放该对象的数据成员(非静态的数据成员)。
注意:对象的虚函数表中存放的实际上并不是虚函数的入口地址,而是一个跳转指令(jmp)的地址,该跳转指令,转向虚函数的入口,为了叙述方便,我这里作出约定:我们就认为虚函数表中就存放的是虚函数的入口地址。
虚函数的存放顺序与函数的声明顺序是相同的。
2.派生类的对象的内存布局是:前四个字节依然存放虚表指针,虚表中首先存放父类的虚函数地址,注意,由于派生类中也可能有①自己的虚函数,同时派生类也可以②重写父类的虚函数,虚函数表的分布如何:
对于情况一而言,将派生类新增加的虚函数地址依次添加到虚表(虚表中已经有父类的虚函数地址)的后面。
对于情况二而言,如果派生类重写了父类的虚函数,则将重写后的虚函数地址替换掉父类原来的虚函数地址,如果没有重写,则按照父类的虚表顺序存放虚函数地址
接下来的内存中依次存放该对象的父类的数据成员(非静态的数据成员),然后再存放派生类自己的数据成员。(还有内存对齐的问题)
#include <iostream> #include <string> using namespace std; class A { private: char a_val; int a_val2; public: virtual void show(){cout<<"show"<<endl;} virtual void say(){cout<<"say"<<endl;} inline void seta_Val(char val){a_val = val;} inline void seta_Val2(int val2){a_val2 = val2;} inline char geta_Val()const{return a_val;} inline int geta_Val2()const{return a_val2;} }; class B: public A21 { private: int b_val; char b_val2; public: void say(){cout<<"B in say"<<endl;} virtual void hello(){cout<<"hello"<<endl;} inline void setb_Val(int val){b_val = val;} inline void setb_Val2(char val2){b_val2 = val2;} inline int getb_Val()const{return b_val;} inline char getb_Val2()const{return b_val2;} }; int main() { B b; b.seta_Val('A'); b.seta_Val2(1); b.setb_Val(2); b.setb_Val2('B'); int *vfptr = new int; int *pf = new int; memcpy(vfptr, &b, 4); memcpy(pf, reinterpret_cast<int *>(*vfptr)+2, 4); void (*pfun)() = reinterpret_cast<void (*)()>(*pf); pfun(); char *pa_val = new char; int *pb_val = new int; memcpy(pa_val, reinterpret_cast<int *>(&b)+1, sizeof(char)); memcpy(pb_val, reinterpret_cast<int *>(&b)+2, sizeof(int)); cout<<*pa_val<<endl;59 cout<<*pb_val<<endl; memcpy(pb_val, reinterpret_cast<int *>(&b)+3, sizeof(int)); //存在内存对齐的问题 memcpy(pa_val, reinterpret_cast<int *>(&b)+4, sizeof(char)); cout<<*pb_val<<endl;66 cout<<*pa_val<<endl; /* cout<<"<<<<<<<<<<<<<<"<<endl; *pa_val = 'B'; *pb_val = 999; memcpy(reinterpret_cast<int *>(&b)+1, pa_val, sizeof(char)); memcpy(reinterpret_cast<int *>(&b)+2, pb_val, 4); cout<<b.geta_Val()<<endl; cout<<b.getb_Val()<<endl; */ return 0; }