C++拷贝构造函数语意学 copy constructor(The Semantics of Constructors)

使用copy constructor的三种情况

有三种情况，会以一个object的内容作为另一个class object的初值。
1.显式的以一个object的内容作为另一个class object的初值

class X{......};
X x;
X xx = x;

2.当object被当做参数交给某个函数时

void foo(X x);
void bar(){
    X xx;
    foo(xx);
}

3.当函数传回一个class object时

X foo(){
    X xx;
    return xx;
}

Explicit Copy Constructor

用户显式定义的copy consyructor大部分情况下以另一个同类实例作为初值。
如：

X::X(const X& x);
Y::Y(const Y& y,int = 0);

并注意传入参数必须是reference的
因为如果定义如下copy consyructor

X::X(X x)//ERROR: Copy constructor must pass its first argument by reference

X(X x)是传值函数。把形参复制到实参时需要调用copy constructor ,会造成无休止的递归。

Default Memberwise Initialization(默认逐位初始化)

如果class没有提供一个Explicit Copy Constructor时，当class object 以相同的class的另一个object作为初值，其内部是以Default Memberwise Initialization手法完成的，也就是把每一个内建的或派生的data member的值，从某个object拷贝一份到另一个object身上。不过并不会拷贝member class object，而是以递归的方式施行memberwise initialization.
例如:

class MyString{
    public:
        //没有Explicit Copy Constructor
    private:
        char* str;
        int len;
};

发生如下操作时

MyString noun("book");
MyString verb = noun;

其方式就像如下：

verb.str = noun.str;
verb.len = noun.len;
//member class object以递归的方式施行memberwise initialization

No Bitwise Copy Semantics(不位逐次拷贝)

若一个class不展现出bitwise copy semantics时，编译器需合成copy constructor，而非简单的 bitwise copy。下面四种情况将展现 No Bitwise Copy Semantics.
1.当class内含一个声明有 copy constructor(不论是显式声明还是由编译器合成)的member object时。
如：

class X{ public: X(X& x){ printf("X copy constructor\n"); }
};

class Y{ public: X xx; };

Y被合成出的copy constructor类似这样：

inline Y::Y(const Y& yy){
    this.xx.X::X( yy.xx );//调用X的copy constructor传入yy的xx成员。将结果赋予this.xx
}

2.当class继承自一个存在 copy constructor 的 base class
详情同上

3.当class声明了一个或多个virtual functions时
当class声明了一个或多个virtual functions时，编译器需对每一个新产生的class object 的 vptr 进行正确的设置。
我们定义两个class如下：

class ZooAnimal{
public:
    ZooAnimal() = default;
    virtual void animate();
    virtual void draw();
};

class Bera: public ZooAnimal{
public:
    void animatr();
    void draw();
    virtual void dance();
};

ZooAnimal class object 以另一个ZooAnimal class object 作为初值，或Bear class object 以另一个Bear class object 作为初值,都可直接靠bitwise copy semantics 完成，因为其vprt指向同一位置。
如：

Bear yogi; Bear winnie = yogi;//可直接靠bitwise copy semantics 完成

winnie的vprt应指向Bear class的virtual table。而yogi也是如此，所有使用逐位拷贝是安全的。

编译器也需保证一个base class object以其derive class 的 object 内容做初始化操作时vptr的复制是安全的。

Bear yogi; ZooAnimal frannny = yogi;//此时vptr的操作应是安全的

合成出的ZooAnimal copy constructor会设定object的vptr，以指向ZooAnimal的virtual table。
4.当class派生自一个继承串联，其中有一个或多个virtual base class时
编译器需在copy constructor调用virtual base class 的default constructor ，并设置vptr 和 定位派生类中 virtual base class subobject。