深入探索C++对象模型笔记

一开始对C++primer plus都没看完的是我就下载了深入探索C++对象模型，当时看了就觉得绝望，因为实在看不懂，天书。不过经过一段时间的使用，尤其是放在Effictive c++后面再来看，就很有感触了。题主比较健忘，决定把一些关键点记录下来，方便没时间的时候能够快速翻阅。

1. 为什么抽象基类必须定义一个纯虚函数的析构函数，pure virtual destructor，class设计者一定得定义它，要不然就会导致链接失败？

   因为每一个派生类的析构函数会被编译器扩展，以静态调用的方式调用其“每一个虚基类”以及“上一层基类”的析构函数，因此，只要缺乏任何一个基类的析构函数的定义，就会导致链接失败。C++语言有一个保证：继承体系中每一个类对象的析构函数都会被调用。

   1. C++的所有全局对象都被当做“初始化过的数据”来对待。
   2. 由于是传值，把形参拷贝到实参会调用复制构造函数。因此如果允许复制构造函数传值，那么会形成永无休止的递归并造成栈溢出。因此C++的标准不允许复制构造函数传值参数，而必须是传引用或者常量引用。在Visual Studio和GCC中，都将编译出错。
   3. 当数组作为函数的参数进行传递时，数组就自动退化为同类型的指针
   4. 确定缺省参数的值是在编译的时候，但确定引用、指针的虚函数调用哪个类型的函数是在运行的时候
   5. 不允许拷贝数组，使用数组时通常会将其转换成指针。
   6. 不要返回局部对象的引用或者指针。
   7. 常量对象，以及常量对象的引用或者指针都只能调用常量成员函数。
   8. 构造函数的任务就是初始化类对象的数据成员，无论何时只要类的对象被创建，就会执行构造函数。
   9. 不允许对一个引用重新赋值，意思就是不能将一个引用重新指向一个新的对象。
   10. 一个类如果没有派生类，那么其析构函数就没必要是虚函数。如果有，那么就必须定义为虚函数，理由我们可以分析一下：在继承关系中，派生类构造对象的过程是首先调用父类构造函数，构造父类的对象成分，包括成员变量，然后才创建派生类的成员。析构函数正好是反过来。但是如果是使用基类对象指针调用基类析构函数时，会只释放基类的资源，而没有释放派生类的资源，这样的结构会造成内存泄露。