编译器给每个对象添加了一个隐藏成员,这个成员指向了对象的虚函数数组,对象的子类会根据有没有重新定义特定虚函数来决定更新还是复制该特定函数的虚函数地址,存在虚函数数组里.
这就是虚函数的原理.
那么怎么把这个指针拿到呢?
请看下面的代码
class Father
{
public:
virtual void fun1()
{
cout << "Father fun()" << endl;
}
};
class son:public Father
{
public:
virtual void fun2()
{
cout << "son fun2()" << endl;
}
virtual void fun3()
{
cout << "son fun3()" << endl;
}
};
如图所示
在visual studio的编译器下虚表指针就在对象内存空间的首个四字节地址(32位编译环境下),我们知道指针的大小都是一样的,所以我们可以用强制类型转换把对象的地址转换int*类型(四字节类型)来拿到这个指针
如下代码
son* p = new son;
cout <<hex<< *(int*)p;
这样子 就拿到了虚表指针但是类型不对,数值是一样的(你可以自己在vs的dubug监视窗口看到)
让我们再用这个指针来调用虚函数
如下代码
typedef void(*P)();
int v_ptr = *(int*)pson;
int fun = *(int*)v_ptr;
P Pfun= (P)fun;
Pfun();
思路是拿到虚表指针以后也就是v_ptr,此时类型是int ,他的数值就是虚表的地址,我们再将它转成int*然后解引用*(int*)v_ptr,这样就拿到了这个v_ptr指向的四字节也就是第一个虚函数Father::fun1的地址的数值fun 注意此时的类型是int
然后再将它转成对应类型的函数指针Pfun;
最后调用
如图
同理我们也可拿到fun2和fun3
完整源代码
#include<iostream>
using namespace std;
class Father
{
public:
virtual void fun1()
{
cout << "Father fun()" << endl;
}
};
class son:public Father
{
public:
virtual void fun2()
{
cout << "son fun2()" << endl;
}
virtual void fun3()
{
cout << "son fun3()" << endl;
}
};
int main()
{
son* pson = new son;
cout <<hex<< *(int*)pson<<'\n';
typedef void(*P)();
int v_ptr = *(int*)pson;
int fun = *(int*)v_ptr;
P Pfun= (P)fun;
Pfun();
P Pfun2 = (P) * ((int*)v_ptr+1);
P Pun3 = (P) * ((int*)v_ptr + 2);
Pfun2();
Pun3();
((P) * ((int*)*(int*)pson + 0))();//一步到位
delete pson;
return 0;
}