深度探索C++对象模型 2.构造函数语意学（何时生成构造+拷贝构造深浅拷贝+编译器转化程序+初始化列表）

2.1 Default Constructor的构造操作

合成nontrivial default constructor的4种情况

误区：
 ●任何class如果没有定义default constructor，就会被合成出一个来
 ●编译器合成出来的default constructor 会显示设定“class 内每一个数据成员的默认值”
实际情况
 ●如果不是这四种情况且没有声明任何constructor的classes，他们拥有的是implicit trivial default constructors，实际上并不会被合成出来。
 ●在合成的default constructor中，只有基类子对象和成员对象会被初始化，所有其他的非静态数据成员都不会被初始化。
1.带有default constructor的成员对象

 如果有多个成员对象要求初始化，编译器会按声明的顺序调用各个构造函数。

2.带有default constructor的Base class
 如果一个没有任何构造函数的类派生自带有默认构造的基类，那么这个派生类的默认构造会被视为nontrivial，并需要被合成出来。它将调用上一层base classes的默认构造。
 如果有构造函数，但没有默认构造函数，默认构造不会被合成。

3.带有一个Virtual Function的Class
两种情况：
●class声明（或者继承）一个virtual function
●class派生自一个继承串链，其中有一个或更多的virtual base classes

4.带一个Virtual Base Class的Class

2.2 Copy Constructor的构造操作

有三种情况下会以一个object的内容作为另一个class object的初值。
 ●1.显示地以一个object的内容作为另一个class object的初值
 ●2.隐式的初始化操作

//以xx作为foo的参数的初值
void foo(X x);
X xx;
foo(xx);

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

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

Default Memberwise Initialization

 概念：把每一个内建的或派生的data member的值，从某个对象拷贝到另一个对象。不过并不会拷贝其中的member class object，而是以递归（调用类内对象自己的拷贝构造）的方式对类内对象施行memberwise initialization。

 用处：当class没有提供一个explicit copy constructor时，如果以相同类的另一个对象作为初值，内部是以default memberwise initialization完成的。

 如何完成这些操作：由一个拷贝构造实现。

拷贝构造的产生
 拷贝构造只有在必要（不是bitwise copy）的时候才由编译器产生出来。

对象复制的两种方式
●被初始化：调用拷贝构造
●被指定：调用拷贝赋值运算符
区别：拷贝构造属于定义，并赋值。拷贝赋值属于已经定义，只是赋值。

Bitwise Copy Semantics（位逐次拷贝/浅拷贝）

展现/未展现 Bitwise


不展现bitwise copy semantics（深拷贝）的4种情况
 1.类内含成员对象，成员对象的类中有拷贝构造（显示声明（如上面的string） / 合成（如上面的word，word内含string，所以合成） 都可）
 2.当class继承自一个基类而后者存在一个拷贝构造函数时。（不论是显示声明还是合成的）
 3.当类声明了一个或多个虚函数时
 4.当类派生自一个继承串链，其中有一个或多个虚基类时。

 前两种情况下，编译器必须将成员对象或者基类的拷贝构造调用操作 安插到 被合成的拷贝构造中。情况34有点复杂

情况3：重新设定虚表的指针
●当同类的对象进行拷贝操作时，可以直接靠bitwise copy完成。

●当发生切割时，要保证vptr复制操作安全，基类对象的vptr不能和派生类对象vptr指向相同的虚表，所以不能采用bitwise copy。
 所以会自动合成

情况4：处理虚基类子对象
●同类对象复制，只需bitwise copy

●不同类对象复制

2.3程序转化语意学

显示的初始化操作

参数的初始化

思想：
 把一个对象当做参数值传递传给函数，相当于初始化一个临时对象，拷贝了参数对象，并用临时对象调用函数 。
 还要将函数的声明改为引用传递，不然还是值传递会陷入死循环
 调用完函数后，临时对象析构。

例子：

void foo(X x0);
X xx；
foo(xx);

//相当于（仍有缺陷）
X _temp0；
_temp0.X::X(xx);	//调用拷贝构造来构造一个临时对象
foo(_temp0);

 这个转换有缺陷，要将foo的声明改为void foo(X &x0)，才能对临时对象进行操作，不然还是值传递。调用完会调用临时对象的析构函数。

返回值的初始化

思想：（cfront中）
 已知下面的函数定义

X bar()
{
	X xx;
	...
	return xx;
}

转化分为两个阶段：
●加上一个额外参数，是返回类对象的一个引用
●return之前，将对象的内容拷贝给新增参数，就可以得到想返回的对象。

在使用者层面做优化

程序员优化

在编译器层面做优化

Named Return Value （NRV）优化：

NRV优缺点：
●优点：提供了重要的效率改善
●缺点：编译器是否优化并不清楚。且函数复杂的话优化就难以施行。优化也可能导致错误。

**NRV优化的前提为什么需要提供拷贝构造？**优化完的代码并没有调用拷贝构造，那为什么需要呢？
https://www.cnblogs.com/cyttina/archive/2012/11/26/2790076.html

要不要提供拷贝构造？

 在浅拷贝就能成功的情况下不需要提供拷贝构造。

拷贝构造中使用memcpy()和memset()的注意事项
 只有在类内不含编译器产生的内部成员（如vptr等）才能正确运行。

2.4 成员们的初始化列表

必须使用初始化列表的4种情况

1.初始化一个引用成员时
2.初始化一个const 成员时
3.调用一个基类的构造函数，而它拥有一组参数时
4.调用一个类内成员的构造函数，而它拥有一组参数时。

为什么要使用初始化列表

不使用初始化列表：

使用初始化列表

初始化列表的执行顺序

初始化列表与用户代码的顺序
 初始化列表会安插一些代码到构造函数体内，置于用户代码之前。

初始化列表中不同项目的顺序
 项目顺序是由class中的成员声明顺序决定的

错误写法：

改正：

正确使用初始化列表

使用范围：
 不能在所有的初始化操作中使用初始化列表

初始化列表中用到该类的成员函数

扩张后：

基类构造函数以派生类成员函数为参数

扩张后：