inside C++笔记之拷贝构造函数

有三种情况，一个object的初值需要用另一个object设定。
i.  直接赋值
ii. 作为函数的参数
iii.作为函数的返回值

 

 

Default Member Initialization
如果class没有提供一个explicit copy constructor会怎么样呢？当class object以相同class的另一object作为初值时，其内部是以所谓的default memberwise initialiazation的手法完成的，也就是把每一个内建的或派生的data member的值，从一个object拷贝到另一个object身上，不过它并不会拷贝其中的member class object,而是以递归的方式施行memberwise initialization。
例如：
class String {
public:
   // ... no explicit copy constructor
private:
   char *str;
   int   len;
};
The default memberwise initialization of one String object with another, such as

String noun( "book" );
String verb = noun;
is accomplished as if each of its members was individually initialized in turn:
//语义相等
verb.str = noun.str;
verb.len = noun.len;

Bitwise copy constructor
当一个class没有显示的拷贝构造函数，当执行一个拷贝操作时，要根据这个class是否能展现Bitwise copy constructor。如果能，则采用default memberwise initialization.如果不能则编译器在需要的时候合成一个copy constructor并调用。

 

有四种情况不能展现出Bitwise Copy Constructor。
i. 当class内含一个member object而后者的class声明有一个copy constructor.
ii. 当class继承一个base class 而后者存在一个copy constructor
iii. 当class声明一个或多个virtual function
iv. 当class派生自一个继承串链，其中有一个或多个virtual base classes.
前两种情况，分别为了调用member object,base class的copy constructor.

 

 

对于第三种情况：
先看下面的例子

class ZooAnimal { public: ZooAnimal(); virtual ~ZooAnimal(); virtual void animate(); }; class Bear : public ZooAnimal { public: Bear(); void animate(); virtual void dance(); };
ZooAnimal za1;
Bear b1;
ZooAnimal za2 = za1;     //1
Bear b2 = b1;            //2
ZooAnimal za3 = b1;      //3
前两种用bitwise copy constructor是没有问题，因为它们是同种类型，object里的vptr是一样的可以直接拷贝，而第三种情况就不行了，这时需要合成一个copy constructor，让za3的vptr指ZooAnimal的vtbl，而不是从b1中直接拷贝过来。

对于第四种情况：
例如继承关系：
 
用一个Raccoon对象初始化另一个，简单的bitwise copy是足够的，如
Raccoon rocky;
Raccoon little_critter = rocky;
当用一个Redpanda对象初始化Raccoon对象，就不行了。
RedPanda   little_red;
Raccoon    little_critter = little_red;
这种情况下，为了完成正确的litter_cirtter初值的设定，编译器必须合成一个copy constructor,a安插一些代码以设定virtual base class pointer/offse的初值(或只是简单地确定它是否没有被磨掉)，对每一个member执行必要的memberwise初始化操作，以及执行其它的内存相关的工作。