More Effective C++

C++ 提供了四种 类型转换 操作符以替代旧式的类型转换。相比旧式的类型转换而言，新式的类型转换表达的意思更加清晰、类型转换的范围也更窄，因此应当尽量使用新式的类型转换。

例如：

HINT: 继承的最重要性质之一就是你可以使用指向基类的指针或 引用 来操纵派生类对象

此条款的原因有二：

如果类的字段没法默认提供一个有意义的值，那么不应当为其提供默认构造函数，这可以减少其他成员函数的代码量。但是无默认构造函数也有一些代价：

只需要提供一个变量就能完成初始化的构造函数应当使用 explicit 加以限制，防止其他对象在意料之外隐式转换为此类。

前置操作符先执行操作再返回对象，返回的是一个左值 后置操作符执行操作后返回的是旧值，返回的是一个 const 限定的右值

这三个操作符的意义众所周知，如果重载会影响所有人对其的使用。这会导致很多潜在的 bug

与 new operator 和 operator new 类似。delete operator 先调用析构函数再调用 operator delete，operator delete 只用来回收内存。

相应的 operator new[] 和 operator delete[] 用于数组上。

C 中使用的 setjump 和 loadjmp 无法保证局部对象的析构函数一定会被执行，因此引入了异常机制。无论何时函数结束，函数中的局部对象总是能够保证调用析构函数，因此可以在析构函数中执行相关的清理代码。

此节为 RAII 内容的一部分，这里不再赘述。

对于栈对象而言，C++ 只会自动调用已经完成构造的对象的析构函数，如果对象在构造时抛出了异常，那么其析构函数不会被调用。

解决构造函数中的异常有两种情况：

构造函数在两种情况下会被调用：

如果对象在第二种情况下被调用析构函数，而这时析构函数又抛出了异常，那么 terminate() 会被直接调用。

如果在函数执行的过程中存在未捕获的异常（例如由于异常而调用的析构函数），那么 uncaught_exception 会返回 true。

异常的捕获有三种方式：按指针、按值、按引用

所谓 异常规范 (Exception Specifications)，就是位于函数后面的 throw() 子句。如果函数在运行时调用了一个位于异常规范之外的异常，函数 unexpected 会被自动调用，而 unexpected 默认行为是调用 terminate 。

也就是说，如果函数违反了异常规范，那么默认行为是程序被直接中止，任何局部变量都不会获得销毁的机会。尤其是当异常规范被用于模板的时候，函数更有可能抛出异常规范之外的异常。而且 C++ 也规定 typedef 中不得出现异常规范。

总之，异常规范有很多问题，在将其加入函数中，必须需要好好考虑其带来的得失

即使你从来不用异常，也必须为异常付出一些代价：程序需要一些数据结构来记录哪些对象已经被构造妥当，而且还需要维护这些数据结构。

第二个成本来着 try 语句，一旦你有一处使用它，那么代码一般会膨胀 5%~10% ，速度下降亦约为如此。而 异常规范 造成的后果与其类似。

与函数正常返回相比， 抛出异常导致的函数返回 效率大概下降三个数量级，注意，只有抛出异常才会付出此代价，而异常的出现应当是罕见的，因此它不应当被用作表现循环完成等一些基础问题上

内容较多，请查阅原书

所谓缓式评估，就是拖延战术的术语叫法而已，毕竟 “最好的运算就是从来都不执行的运算”。延迟计算直至它不得不被计算为止。例如：

此条款术语名为“超前评估”，与缓式评估正好是两个反面。在一些缓式评估站不住脚的情况下，超前做出一些额外工作可以提升性能。例如

C++ 真正的临时对象一般是不可见的，这点需要和局部对象做区分。只要你产生了一个无名的非堆对象，那么便产生了一个临时对象。

这些临时对象一般产生于两种情况：

在需要返回一个对象时，将其以构造函数的形式返回，这是 C++ 允许编译器对此匿名对象进行优化，从而省略了构造函数和析构函数的开销。

但是 C++ 不允许对具名对象进行优化。

如题，很简单。目的是为了避免临时对象的产生。

对于一位程序库作者而言，复合形式和独身形式的代码都应该提供，而对于应用软件开发者而言，应当使用符合形式取代独身形式，因为复合形式往往具有更高的效率：

这种形式可以被用于 ROV ，而且维护时只需要维护复合形式即可。

iostream 效率一般比 stdio 低

对于存在虚函数的类而言，每一个类都包含一个 vtbl。如果你拥有大量带有虚函数的类，或者是每一个类包含大量的虚函数，vtbl 就会占用不少内存。

vtbl 存在的位置分为两种情况：

对于含有虚函数的类而言，其每一个对象中都包含一个 vptr 。其大小一般为 4 字节。但对于多继承而言，有多少个多态基类，就含有多少个 vptr 。

如果虚函数是通过对象被调用的，其实际开销与非虚函数接近，并且此时对虚函数的内联有意义。而通过指针或引用调用的虚函数则不然。

虚有继承会改变类的内存分布形式，还可能会引入新的指针。

RTTI 只能保证在具多态类上校验对象的动态类型。类的类型信息被保存到一个单独的 type_info 对象中，所有类对象共享此 type_info 。所付出的代价仅仅是在 vtbl 中添加一个指向此 type_info 的指针而已，并且此指针一般位于 vtbl 头部。

在某些情况下，我们可以需要根据已有的数据产生不同的对象，这时虚有构造函数就起作用了。需要注意的是这里的虚有构造函数是一种简称，并不是由 virtual 修饰的构造函数。

这里涉及到两种虚有构造函数：

虚有非成员函数很简单，就是写一个干活的虚函数，然后非成员函数调用它就行了

这部分内容与 单例模式 发生了重叠，这里不再赘述，但是需要注意以下几点：

而且作者又提出了以下几个技巧：

要要求对象只能产生于堆中，很简单，只需要将析构函数声明为保护即可，这时的类还能被用来继承和组合。这里用到的技巧是防止编译器隐式生成的代码。当然，你必须创建一个成员函数用来手动析构对象

禁止对象产生于堆中：将 operator new 删除即可

另外：