《深度探索C++对象模型》- 第2章 构造函数语意学

关于C++编译器背着程序员做了太多事情，说的应该就是构造函数的问题。比较难懂的就是“default constructors … 在需要的时候被编译器产生出来”。重点是“在需要的时候”。但看完以后觉得也是比较合理的。

2.1 Default Constructor 的建构操作

1. 如果class的一个成员变量有自己的default constructor，总是要让人家执行一下的。如果class没有默认构造函数，就造一个空壳子然后调用这些自己有默认构造函数的成员变量，如果class有自己的构造函数，这些成员也需要调用自己的默认构造函数。换句话说，如果一个类有默认构造函数，那么这个类的对象，总是有机会调用它们的。

2. 同理，如果是继承过来的基类有默认构造函数，也是需要执行的。

3. 带有virtual function其实就是带有vptr和vtbl，这些东西也需要在构造函数里完成，所以也需要产生一个构造函数，用来设置vptr的地址。

4. 这个涉及虚继承，编译器可能还要产生__vbcX之类的东西，也需要构造函数来完成。

总之编译器需要为class做的一些事情都放在构造函数里了，或者说这里是完成这些事情的好地方。

2.2 Copy Constructor 的建构操作

关于拷贝构造函数，默认的是bitwise copy，除非和上面四中情况相似，编译器需要做些事情的时候才会调用成员或者基类的拷贝构造函数，或者进行virtual的处理。不过这个问题主要是针对对象切割（sliced）问题的，对于指针操作不存在拷贝，所以没有这些问题。

2.3 程序转化语意学

这个和编译器优化或者实现相关，编译器在参数初始化和返回值初始化上会做一些事情，例如Named Return Value（NRV）优化。同时这些技术又都和拷贝构造函数有关，所以需要很好地设计拷贝构造函数才行，否则使用memcpy()很有可能出问题。

2.4 成员们的初始化队伍（Member Initialization List）

这里主要需要注意的是调用的顺序问题，无论是直接赋值或者是调用函数赋值。

平时真的很少写一个构造函数或者拷贝构造函数，这部分的问题比较生疏，只能靠遇到问题再看书了。之前遇到一个构造函数里调用虚函数的问题，应该是没有办法调到派生类的函数，因为构造函数还没有准备好virtual吧。