从汇编看c++中的默认拷贝函数

　　可以看到，编译器为类X提供了默认的拷贝构造函数(非无用的默认拷贝构造函数)，并且显示调用。

　　由于一个类继承自虚基类或者继承自有虚函数成员的基类，使得它本身也含有虚函数成员，因此也属于上一种情形。所以编译器在这种情况下，也会提供非无用的默认拷贝构造函数，并且能够显示调用。

　　下面是第二种情形，类X继承自类Y，类Y有显示定义的拷贝构造函数，而类没有提供拷贝构造函数：

　　下面是c++源码：

class Y {
private:
    int j;
public:
   Y(const Y& y) {}
   Y() {};//必须为Y提供默认的构造函数，否则编译出错
};
class X : public Y {
private:
    int i;
    int j;
};

int main() {
    X x1;//先定义对象x1
    X x2 = x1;//将x1拷贝给x2
}

　　下面是mian函数汇编代码：

; 16   : int main() {

    push    ebp
    mov    ebp， esp
    sub    esp， 24                    ; 为x1 x2预留24byte空间

; 17   :     X x1;//先定义对象x1

    lea    ecx， DWORD PTR _x1$[ebp];获取x1的首地址，作为隐含参数传递给构造函数
    call    ??0X@@QAE@XZ;//调用编译器为类X提供的默认构造函数

; 18   :     X x2 = x1;//将x1拷贝给x2

    lea    eax， DWORD PTR _x1$[ebp];获取x1的首地址，传给寄存器eax
    push    eax;将eax压栈，作为调用类X的拷贝构造函数的参数
    lea    ecx， DWORD PTR _x2$[ebp];获取x2的首地址，作为调用类X的拷贝函数的隐含参数
    call    ??0X@@QAE@ABV0@@Z;调用编译器提供的默认拷贝构造函数

; 19   : }

    xor    eax， eax
    mov    esp， ebp
    pop    ebp
    ret    0

　　下面是类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@@ZPROC                    ; 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