下面是类X的拷贝构造函数的汇编码:
复制代码 代码如下:
??0X@@QAE@ABV0@@Z PROC ; X::X, COMDAT
; _this$ = ecx
push ebp
mov ebp, esp
push ecx
mov DWORD PTR _this$[ebp], ecx;ecx里面有x2的首地址
mov eax, DWORD PTR ___that$[ebp];将x1的首地址给eax
push eax;将eax的首地址压栈,作为调用父类拷贝构造函数的参数
mov ecx, DWORD PTR _this$[ebp];将x2的首地址给ecx,作为隐含参数传给父类的拷贝构造函数
call ??0Y@@QAE@ABV0@@Z ; 调用父类拷贝构造函数
mov ecx, DWORD PTR _this$[ebp];获取x2的首地址给ecx
mov edx, DWORD PTR ___that$[ebp];获取x1的首地址给edx
mov eax, DWORD PTR [edx+4];将偏移x1首地址4byte处的内存里面的值写给eax,即将x1中子类成员变量i的值写给eax,因为x1的首地址处存放的是父类成员变量i,其值
;由父类拷贝构造函数负责拷贝给x2
mov DWORD PTR [ecx+4], eax;将eax的值写入偏离x2首地址4byte处的内存里面,即将eax的值写入x2中子类成员变量i,因为x2的首地址处存放父类成员变量i,其值
;由父类拷贝构造函数负责拷贝
mov ecx, DWORD PTR _this$[ebp];将x2的首地址给ecx
mov edx, DWORD PTR ___that$[ebp];将x1的首地址给edx
mov eax, DWORD PTR [edx+8];将偏移x1首地址8byte处的内存里面的值给eax,即将x1中子类成员变量j的值给eax
mov DWORD PTR [ecx+8], eax;将eax的值写入偏移x2首地址8byte的内存里面,即将eax的值写入x2子类成员j中
mov eax, DWORD PTR _this$[ebp];将x2的首地址给eax,作为返回值。构造函数总是返回对象首地址
mov esp, ebp
pop ebp
ret 4
??0X@@QAE@ABV0@@Z ENDP
从汇编码中可以看到,编译器确实为类X提供了默认的拷贝构造函数,并且进行了显示调用。而且在调用类X的拷贝构造函数中,首先调用父类的拷贝构造函数,拷贝父类中的成员变量,然后再拷贝子类中的成员变量。
下面是父类Y中的拷贝构造函数汇编码:
复制代码 代码如下:
??0Y@@QAE@ABV0@@Z PROC ; Y::Y, COMDAT
; _this$ = ecx
; 5 : Y(const Y& y) {}
push ebp
mov ebp, esp
push ecx;//这里压栈的目的是为隐含传给父类拷贝函数的this(即x2的首地址)
mov DWORD PTR _this$[ebp], ecx;ecx里面含有x2的首地址(即this),放入刚才的预留空间
mov eax, DWORD PTR _this$[ebp];将x2的首地址写入eax,作为返回值。构造函数总是返回对象首地址
mov esp, ebp
pop ebp
ret 4
??0Y@@QAE@ABV0@@Z ENDP ; Y::Y
_TEXT ENDS
从汇编吗可以看到,由于父类自己显示定义了拷贝构造函数,编译器只是负责调用而已,并不提供像上面子类X里面默认拷贝构造函数的拷贝功能,即并不拷贝父类成员变量i。因为,在c++源码里面,父类拷贝构造函数本身就是空函数,什么也不做。
如果子类X 父类Y都不提供拷贝构造函数,情形有时怎样的呢?
下面是c++源码:
复制代码 代码如下:
class Y {
private:
int j;
};
class X : public Y {
private:
int i;
int j;
};
int main() {
X x1;//先定义对象x1
X x2 = x1;//将x1拷贝给x2
}
下面是对应的汇编码:
复制代码 代码如下:
_main PROC
; 12 : int main() {
push ebp
mov ebp, esp
sub esp, 24 ; 为x1 x2预留24byte空间
; 13 : X x1;//先定义对象x1
; 14 : X x2 = x1;//将x1拷贝给x2
mov eax, DWORD PTR _x1$[ebp];获取x1的首地址里面的值,存入eax,即获取x1父类成员变量i的值写给eax
mov DWORD PTR _x2$[ebp], eax;将eax的值写入x2的首地址指向的内存,即将eax的值写给x2中的父类成员变量i
mov ecx, DWORD PTR _x1$[ebp+4];获取偏移x1首地址4byte处的内存里面的值,写入ecx,即获取x1子类成员变量i的值写给ecx
mov DWORD PTR _x2$[ebp+4], ecx;将ecx的值写入偏移x2首地址4byte处的内存里面,即将ecx的值写给x2中子类成员变量i
mov edx, DWORD PTR _x1$[ebp+8];获取偏移x1首地址8byte处的内存里面的值,写入edx,即获取x1子类成员变量j的值写给edx
mov DWORD PTR _x2$[ebp+8], edx;将edx的值写入偏移x2首地址8byte处的内存里面,即将edx的值写入x2子类成员变量j
; 15 : }
xor eax, eax
mov esp, ebp
pop ebp
ret 0
_main ENDP
可以看到,编译器执行了拷贝过程,但是提供的是像刚开始的无用的默认拷贝构造函数,无论是拷贝父类成员变量,还是子类成员变量,都没有函数的调用。
下面看第三种情况,类X含有类Y的成员变量,类Y的成员变量有拷贝构造函数。
c++源码如下:
复制代码 代码如下:
class Y {
private:
int j;
public:
Y(const Y& y) {}
Y() {}//必须为Y提供默认的构造函数,否则编译报错
};
class X {
private:
int i;
int j;
Y y;
};
int main() {
X x1;//先定义对象x1
X x2 = x1;//将x1拷贝给x2
} |