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

　　下面是main函数中的汇编码：

_main    PROC

; 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;调用构造函数

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

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

; 19   : }

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

　　下面是编译器为类X提供的默认拷贝构造函数的汇编码：

??0X@@QAE@ABV0@@ZPROC                    ; X::X， COMDAT
; _this$ = ecx
    push    ebp
    mov    ebp， esp
    push    ecx;压栈的目的是为this(即x2的首地址)预留空间
    mov    DWORD PTR _this$[ebp]， ecx;ecx里面含有x2的首地址，放入刚才预留的空间里面
    mov    eax， DWORD PTR _this$[ebp];将x2的首地址给eax
    mov    ecx， DWORD PTR ___that$[ebp];将x1的首地址给ecx
    mov    edx， DWORD PTR [ecx];将x1的首地址的内容写入edx，即将x1中的成员变量i写入edx
    mov    DWORD PTR [eax]， edx;将edx的值写入x2的首地址，即将edx的值写入x2的成员变量i
    mov    eax， DWORD PTR _this$[ebp];将x2的首地址写入寄存器eax
    mov    ecx， DWORD PTR ___that$[ebp];将x1的首地址写入寄存器ecx
    mov    edx， DWORD PTR [ecx+4];将偏移x1首地址4byte处的内存里面的值写入edx，即将x1的成员变量j的值写入edx
    mov    DWORD PTR [eax+4]， edx;将edx的值写入偏移x2首地址4byte处的内存，即将edx的值写入x2的成员变量j
    mov    eax， DWORD PTR ___that$[ebp];将x1的首地址存入寄存器eax
    add    eax， 8;//将x1的首地址加8，得到x1中成员对象y所处的地址，放入eax中
    push    eax;将eax的值压栈，作为调用成员变量y的拷贝函数的参数
    mov    ecx， DWORD PTR _this$[ebp];将x2的首地址存入寄存器ecx
    add    ecx， 8;将x2的首地址加8，得到x2中成员对象y所在地址，放入ecx，这个地址作为隐含的参数传给成员变量函数的拷贝构造函数
    call    ??0Y@@QAE@ABV0@@Z            ; 调用成员对象y的拷贝构造函数
    mov    eax， DWORD PTR _this$[ebp];将x2的首地址放入eax，作为返回值。构造函数总是返回对象的首地址
    mov    esp， ebp
    pop    ebp
    ret    4
??0X@@QAE@ABV0@@Z ENDP

　　从汇编吗可以看到，调用类X拷贝构造函数的时候，先将x1中的成员变量i，j拷贝到x2中，然后才是调用成员对象y的拷贝构造函数拷贝y中的成员变量。这和继承不同，在继承中，总是先调用父类的拷贝构造函数，再进行子类中的拷贝。这说明，对于这种包含成员对象的情况，成员对象的拷贝函数调用时机与他们定义的位置有关。在这里，类X的成员对象y在成员变量i，j之后定义，因此，它的拷贝构造函数要等拷贝完i，j之后才会被调用。

　　下面是类Y中的拷贝构造函数汇编代码：

??0Y@@QAE@ABV0@@ZPROC                    ; Y::Y， COMDAT
; _this$ = ecx

; 6    :     Y(const Y& y) {}

    push    ebp
    mov    ebp， esp
    push    ecx;压栈ecx的目的是为了存放this(x2中成员对象y的首地址)预留空间
    mov    DWORD PTR _this$[ebp]， ecx;ecx里面有x2中成员对象y的首地址，放入刚才的预留空间
    mov    eax， DWORD PTR _this$[ebp];将x2中成员变量首地址放入eax，作为返回值。构造函数总是返回对象首地址
    mov    esp， ebp
    pop    ebp
    ret    4
??0Y@@QAE@ABV0@@Z ENDP

　　从代码中可以看到，由于类Y显示定义了拷贝构造函数，编译器也只是负责显示调用，并没有提供任何的拷贝功能。因为在类Y中，拷贝构造函数是被定义成了一个空函数

　　和继承一样，如果成员对象也没有拷贝构造函数呢？

　　下面是c++源码：

class Y {
private:
    int j;

};
class X  {
private:
    int i;
    int j;
    Y y;
};

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