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

　　《c++编程思想》上说一个类如果没有拷贝函数，那么编译器会自动创建一个默认的拷贝函数。下面让我们看一下真实的情况。

　　首先看一个简单的类X，这个类没有显示定义拷贝构造函数。c++源码如下：

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

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

　　下面是其汇编代码：

_main    PROC

; 7    : int main() {

    push    ebp
    mov    ebp， esp
    sub    esp， 16                    ; 为对象x1，x2预留16byte的栈空间

; 8    :     X x1;//先定义对象x1
; 9    :     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的内存里面的值给寄存器eax，也是将x1中的成员变量j的值给ecx
    mov    DWORD PTR _x2$[ebp+4]， ecx;将ecx里面的值写入偏移x2首地址4byte的内存里面，也是将ecx里面的值写给x2的成员变量j

; 10   : }

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

　　从汇编代码里面可以看出，根本没有函数被调用，所有的拷贝赋值都是通过寄存器与内存地址相互通信完成。和编译器提供默认构造函数一样，可以把这种情况看成是编译器提供了一个无用的拷贝构造函数。

　　那么，什么时候编译器才真正的提供默认拷贝构造函数，并且显示调用呢？

　　下面是一种情况，类X里面含有虚成员函数：

　　c++源码：

class X {
private:
    int i;
    int j;
public:
    virtual ~X() {}//虚析构函数
};

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

　　由于这里只讨论拷贝函数，所以只看主函数main和拷贝函数里面的汇编代码：

　　下面是主函数main里面的汇编代码：

_main    PROC

; 9    : int main() {

    push    ebp
    mov    ebp， esp
    sub    esp， 24                    ; 由于引入了虚函数，每个类所占的空间编程12byte 成员变量i，j8byte vptr指针4byte 因此这里为x1 x2预留24byte

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

    lea    ecx， DWORD PTR _x1$[ebp];获取x1的首地址，放入ecx，为调用构造函数的秘密参数传入，即this
    call    ??0X@@QAE@XZ;调用构造函数

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

    lea    eax， DWORD PTR _x1$[ebp];获取x1的首地址，放入寄存器eax
    push    eax;将eax压栈，作为拷贝构造函数的参数
    lea    ecx， DWORD PTR _x2$[ebp];获取x2的首地址，放入寄存器ecx，作为调用拷贝构造函数的秘密参数传入，即this
    call    ??0X@@QAE@ABV0@@Z;调用拷贝构造函数

; 12   : }

    lea    ecx， DWORD PTR _x2$[ebp];获取x2的首地址，放入ecx寄存器，作为调用析构函数传入的秘密参数，即this
    call    ??1X@@UAE@XZ                ; 调用析构函数
    lea    ecx， DWORD PTR _x1$[ebp];获取x1的首地址，放入ecx寄存器，作为调用析构函数传入的秘密参数，即this
                                ;析构的顺序与构建的顺序相反
    call    ??1X@@UAE@XZ                ; 调用析构函数
    xor    eax， eax
    mov    esp， ebp
    pop    ebp
    ret    0
_main    ENDP