从汇编看c++中的多态
作者:网络转载 发布时间:[ 2013/5/31 10:37:22 ] 推荐标签:
析构函数
析构函数在执行的时候,会先将vptr指针初始化为当前类的虚表vtable首地址,但是如果析构函数时编译器提供非无用的默认析构函数,则不会有vptr指针的初始化操作:
c++源码:
class X {
private:
int i;
public:
virtual void set(int ii) {
i = ii;
}
~X() {}
};
class Y : public X {
private:
int i;
};
int main() {
Y y;
}
类Y析构函数汇编码:
??1Y@@QAE@XZ PROC ; Y::~Y, COMDAT
; _this$ = ecx
push ebp
mov ebp, esp
push ecx;为传进来的y对象首地址预留空间
mov DWORD PTR _this$[ebp], ecx;ecx中保存y对象首地址,存到刚才空间中
mov ecx, DWORD PTR _this$[ebp];将y对象首地址(y对象包含父对象,他们的首地址一样)传给ecx,作为隐含参数传地址类X的析构函数
call ??1X@@QAE@XZ ; 调用类X的析构函数
mov esp, ebp
pop ebp
ret 0
??1Y@@QAE@XZ ENDP
从汇编码可以看到,编译器为y对象提供了非无用的默认析构函数,用来调用父类的析构函数,但是在y对象的析构函数里面,并没有初始化y对象vptr指针指向类Y的虚表vtable的操作。
下面是类X的析构函数汇编码:
??1X@@QAE@XZ PROC ; X::~X, COMDAT
; _this$ = ecx
; 9 : ~X() {}
push ebp
mov ebp, esp
push ecx;为传进来的父对象的首地址预留空间
mov DWORD PTR _this$[ebp], ecx;为将传进来的父对象首地址存放到刚才空间
mov eax, DWORD PTR _this$[ebp];父对象首地址给eax
mov DWORD PTR [eax], OFFSET ??_7X@@6B@;将父类vtable首地址给父对象首地址处的内存 即初始化父对象中的vptr指针
mov esp, ebp
pop ebp
ret 0
??1X@@QAE@XZ ENDP
父类的析构函数有初始化vptr的操作。
抽象基类
c++源码如下:
class X {
private:
int i;
public:
virtual void f() = 0;//纯虚函数
X() {
i = 1;
}
};
class Y : public X {//Y继承自X
private:
int j;
public:
virtual void f() {
j = 2;
}
};
int main() {
Y y;
}
只看父类X的构造函数和子类Y的构造函数的汇编码:
子类Y构造函数的汇编码:
??0Y@@QAE@XZ PROC ; Y::Y, COMDAT
; _this$ = ecx
push ebp
mov ebp, esp
push ecx;为保存子对象首地址预留空间
mov DWORD PTR _this$[ebp], ecx;将ecx(里面存放子对象首地址)的值放到刚才的空间
mov ecx, DWORD PTR _this$[ebp];将子对象首地址传给ecx,作为隐含参数(this指针)调用父对象的构造函数
call ??0X@@QAE@XZ ; 调用父对象的构造函数
mov eax, DWORD PTR _this$[ebp];将子对象首地址给eax t
mov DWORD PTR [eax], OFFSET ??_7Y@@6B@;将子对象的vtable首地址存到子对象首地址所指向的内存,即初始化子对象的vptr
mov eax, DWORD PTR _this$[ebp];将子对象的首地址给eax,作为返回值。构造函数总是返回对象首地址
mov esp, ebp
pop ebp
ret 0
??0Y@@QAE@XZ ENDP
父类X构造函数汇编码:
??0X@@QAE@XZPROC ; X::X, COMDAT
; _this$ = ecx
; 6 : X() {
push ebp
mov ebp, esp
push ecx;压栈的目的是为存储父对象首地址(即this指针)预留空间
mov DWORD PTR _this$[ebp], ecx;将父对象首地址存到刚才的空间
mov eax, DWORD PTR _this$[ebp];将父对象的首地址传给eax
mov DWORD PTR [eax], OFFSET 7X@@6B将父对象的vtable(由于父类为抽象类,其vtable不完全,即里面没有存放纯虚函数的地址,只为其保留了一个位置)首地址存到父对象首地址所指的内存 即初始化父对象的vptr指针
; 7 : i = 1;
mov ecx, DWORD PTR _this$[ebp];将父对象的首地址给ecx
mov DWORD PTR [ecx+4], 1;将1存到偏移父对象首地址4byte处,即给父对象的成员变量i赋值
; 8 : }
mov eax, DWORD PTR _this$[ebp];父对象的首地址给eax 作为返回值。构造函数总是返回对象首地址
mov esp, ebp
pop ebp
ret 0
0X@@QAE@XZ ENDP
相关推荐
更新发布
功能测试和接口测试的区别
2023/3/23 14:23:39如何写好测试用例文档
2023/3/22 16:17:39常用的选择回归测试的方式有哪些?
2022/6/14 16:14:27测试流程中需要重点把关几个过程?
2021/10/18 15:37:44性能测试的七种方法
2021/9/17 15:19:29全链路压测优化思路
2021/9/14 15:42:25性能测试流程浅谈
2021/5/28 17:25:47常见的APP性能测试指标
2021/5/8 17:01:11