从汇编吗可以看到,由于父类自己显示定义了拷贝构造函数,编译器只是负责调用而已,并不提供像上面子类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
}