chapter.2 Semantics of Constructors 构造函数语义 part2考构

一 default memberwise initialization
   通常我们都会为非抽象类定义拷贝构造函数，如果没有定义时，我们以class的一个object作为另一个object的初值时，编译器内部以default memberwise initialization 方式完成，对于member class object 则不会拷贝，而是递归调用 memberwise initialization。
   copy constructor和default constructor一样，在必要的时候才由编译器产生出来。copy constructor 以初始化的方式复制object，另一种是指定值（assignment），通过copy assignment operator

二 bitwise copy semantics
   编译器是否合成出考构是看class是否展现了 bitwise copy semantics，

// declaration exhibits bitwise copy semantics
class Word {
public:
   Word( const char* );
   ~Word() { delete [] str; }
   // ...
private:
   int cnt;
   char *str;
};

如书中所说，这个展现了bitwise copy semantics，why？

// declaration does not exhibits bitwise copy semantics
class Word {
public:
   Word( const String& );
   ~Word();
   // ...
private:
   int cnt;
   String str;
};

这个没有展现，同样不明白。。。。。。。
对于后者，编译器就会合成出一个 copy constructor。

那么什么时候不展现bitwise copy semantics呢，分为四种情况
（1）class 内含一个member object ，后者声明有一个copy constructor，无论是程序员声明的，还是被编译器合成的。
（2）class 继承自的基类有一个copy constructor，无论程序员声明的，还是被编译器合成的。
   对于这2种情况，编译器必须将memb或base class的copy constru调用操作安插到被合成的copy constr中。
（3）class声明了一个或多个 virtual function时
（4）class派生的基类串中至少有一个virtual base class时。

   情况3中，类中会额外增加vptr和vbtl，故就不在展现bitwise seamantics了，编译器需要合成出一个copy constructor，以将vptr适当初始化。
   同类型的对象vptr指向的相同的vtbl，基类和派生类的不同，看一段程序

class b{
public:
    int i;
    virtual void f(){}
};
class d:public b{
public:
    int ii;
};

int main(void) {
    b bbb;
    d dob;
    d bob;
    cout<<&bbb<<" "<<&bbb.i<<" "<<endl;
    cout<<&dob<<" "<<&dob.i<<" "<<&dob.ii<<endl;
    cout<<&bob<<" "<<&bob.i<<" "<<&bob.ii<<endl;
    int *p=(int *)&bbb;
    int *p2=(int *)&dob;
    int *p3=(int *)&bob;
    cout<<"bbb vptr ->"<<*p<<endl;
    cout<<"dob vptr ->"<<*p2<<endl;
    cout<<"bob vptr ->"<<*p3<<endl;

    b bb2=dob;
    cout<<&bb2<<" "<<&bb2.i<<" "<<endl;
    int *p4=(int *)&bb2;
    cout<<"bb2 vptr ->"<<*p4<<endl;
    puts("end in main");
    return EXIT_SUCCESS;
}


输出：

0x22ff78 0x22ff7c
0x22ff68 0x22ff6c 0x22ff70
0x22ff58 0x22ff5c 0x22ff60
bbb vptr ->4409528
dob vptr ->4409544
bob vptr ->4409544
12 12
0x22ff48 0x22ff4c
bb2 vptr ->4409528
end in main


在 b bb2=dob; 语句处，发生了派生类对象的切割，其vptr指向了基类的vbtl，而不是派生类。

参考文章： 转-复制概念相关，深拷贝与浅拷贝