深度探索C++对象模型 第二章 读书笔记

编译器合成的trivial构造函数不执行任何操作。只有nontrivial的构造函数才执行有用的操作。其实implicitly default constructor并没有被合成出来。

trivial和nontrivial是指编译器自动生成的构造函数。

不含有任何构造函数的类，编译器为其合成nontrivial构造函数有以下四种情况：

1.该类中的对象成员含有默认构造函数。（按声明顺序依次调用成员对象的默认构造函数）（疑问：如果对象成员也没有给出默认构造函数，该类由编译器合成的构造函数是trivial还是nontrivial.我觉得应该是trivial的。求解。20110718）.

2，该类的基类中含有默认构造函数。(合成的nontrivial构造函数调用基类的默认构造函数)

3.该类存在virtual函数。(因为要构造virtual function table，并生成和初始化vbtptr)。

4 。该类的继承体系中存在virtual base class.（决定virtual base class 在派生类中的位置，在执行期之前准备妥当。）

除以上此种情况外，合成的构造函数都是trivial的。

但类中又不止一个构造函数，但不存在默认构造函数时，编译器不能自动生成默认构造函数，因为只有在不含有任何构造函数的时候编译器才会implicitly 合成默认构造函数。此时他会将每一个构造函数扩展，加入一些代码。以确保在用户代码执行前执行default constructor 的功能。

当class展现出bitwise copy semantics时不自动合成一个copy constructor，而当class不展现出bitwise copy semantics时会自动合成一个copy constructor

当一个Class的某个member object存在copy constructor(无论是显式的还是隐式的),这各类就不显示bitwise copy semantics
当一个Class的基类(或基类的基类...)本身或其member存在copy constructor(无论是显式的还是隐式的),这各类就不显示bitwise copy semantics

位拷贝： "bitwise assignment "是指将一个对象的内存映像按位原封不动的复制给另一个对象，
所谓之拷贝就是指，将原对象的值复制一份给新对象。比如：
class String{
private:
char *s_;
...
}
在用 "bitwise assignment "时会直接将对象的内存映像复制给另一个对象，
这样两个对象会指向同一个内存区域，当一个对象被释放后，
另一个对象的s_指针会成为空指针。这时，就应该编写operator=
和copy constructor来实现值拷贝 .copy constructor总的目的就是为了避免内存泄漏。
《深度探索C++对象模型〉〉一书上总的思想就是，在编译阶段，如果产生一个对象，编译器需要为该对象添加额外的一些东西（简单的来说就是在类中添加一些指针），而是否要添加指针取决于你设计的类，什么时候才会添加指针呢？
总结一共有这几种情况，：
1，如果类中有虚函数的时候，这时候编译器要添加指向虚函数表的指针。比如，
A a;//编译器为该对象添加一指针指向虚函数
A b(a);//如果没有copy constructor,这个时候，bitwise copy,这个时候，a和b的指针指向统一块内存。当某个对象销毁的时候，会出现错误。
2，如果是虚继承//和上面一样
3，带有default copy constructor的base class。如果不产生缺省的构造函数，则copy 时，只copy要调用子类的成员而没有copy父类的成元。
4,如果该类中没有构造函数，但是该类的一个成员，该成员有缺省的 copy constructor，则编译器必须为该类构造一个缺省的copy constructor。

C++新手的误解：

1.任何类如果不含有默认构造函数就会合成一个。

2.被合成出来的构造函数会初始化类中每一个data member(只有类对象被初始化)。

2011年8月18日 初次阅读，理解尚浅，难免有所错误。在此留下标记，方便以后回来查漏补缺。