第二章 构造函数语意学——什么情况编译器会合成copy constructor

在下面四种情况下，如果缺乏一个已声明的copy constructor， 编译器为了正确处理”以一个Class Object作为另一个class object的初值“， 必须合成出一个copy constructor：

1. 当一个Class内含一个Member Object而后者的Class声明有一个copy constructor时（被Class设计者或编译器）。

2. 当Class继承自一个base Class而后者存在一个copy constructor时。

3. 当Class声明了一个或多个virtual function时。

4. 当Class派生自一个继承串链，其中有一个或多个virtual base classes时。

 

至于为什么这些情况编译器会合成copy constructor， 我的理解是这样的：

这些情况都是和c语言不兼容的情况，所以需要编译器根据c++语意或者程序设计者的意图做一些额外的工作。

如果不是以上的四种情况的话，类的copy constructor其实和C的copy是兼容的，都是bitwise copy semantics，所以不需要编译器合成copy constructor。而以上四种情况和c是不兼容的：比如第一种情况，是因为类的设计者自定义的自己的copy 语意；而第3、 4种情况是因为c++的面向对象机制和多态的引入而与c不兼容。

上面一段话同样适用于default constructor，编译器需要合成default constructor的情况都是类的初始化语意与C中的初始化语意不兼容造成的。