虚函数
VC++实现虚函数的方式就是虚表,如果一个类至少要有一个虚函数,编译器会为这个类产生一个虚表。不同的类虚表就不同,相同的类虚表就会共享
识别构造和析构 如果在函数入口有 lea reg,off_xxxxxx, mov [reg],reg 初始化虚表,且返回值为this指针,我们就可以怀疑这是一个构造函数,同理我们发现同样的汇编我们也可以怀疑这是析构函数,可以根据顺序来区分。
有一种情况,我们写了一个虚析构函数,但是编译器生成了两个析构函数,其中一个是普通的析构函数,对象出作用于时候调用,另一个放到虚表中,在delete对象时候调用。对比两个析构函数,虚表中的析构多了一个delete this 操作。如果代码写成如下
Cvtual * Object = new Cvtual();
Object ->~Cvtual();
delete Object;
因为Object ->~Cvtual();属于多态调用所以会直接调用虚表中的析构,这时候对象就被释放了,如果在调用了delete Object,这时候我们发现,对象空间被重复释放,出现问题。为了解决这个问题,VC++编译器会在Object ->~Cvtual();时候传递参数0,代表对象不被释放,delete Object传递参数1 对象会被释放,这样就解决了上面的问题。gcc的编译器会采用在虚表中存放两个析构函数地址
总结一下虚表的特点:
- 如果一个类至少一个虚函数,这个类起码有一个虚表指针
- 不同的类虚表不同,相同类对象公用一个虚表
- 虚表指针存放对象首地址处
- 虚表地址在全局数据区
- 虚表的每个元素都指向一个类成员函数指针
- 虚表不一定以0结尾
- 虚表成员函数顺序是以类声明的顺序排列
- 虚表在构造函数中会被初始化
- 虚表在析构函数中会被赋值