41.1 面向对象编程的世界总是以显式接口和运行期多态(polymorphism)解决问题。
41.2 类和模板都支持接口和多态。
| 接口 | 多态 | |
|---|---|---|
| 类class | 显式的，基于函数签名 | 通过虚函数发生于运行期 |
| 模板template | 隐式的，基于有效表达式 | 通过template具体实现和函数重载解析发生于编译期 |
42.1 声明template参数时，<class T>和<typename T>的意义完全相同。
42.2 模板函数里的几种变量名称
| 变量名称 | 英文 | 定义 |
|---|---|---|
| 从属名称 | dependent names | 依赖于某个template参数 |
| 嵌套从属名称 | nested dependent names | 从属名称在class内呈嵌套状 |
| 嵌套从属类型名称 | nested dependent type names | 嵌套从属名称并指向某种类型 |
| 非从属名称 | non-dependent names | 不依赖于任何template参数 |
缺省情况下解析器认为嵌套从属名称不是个类型，除非你告诉它是(在前面放typename)。
42.3 "typename必须作为嵌套从属类型名称的前缀词"这一规则的例外是，typename不可以出现
在base classes list内的嵌套从属类型名称之前，也不可在member initialization list中作为
base class修饰符。
42.4 使用typedef定义嵌套从属类型名称(如果名字很长)的别名。
42.5 typename在不同编译器上表现不同，可移植性差。
43.1 "template<>"表示模板全特化，这既不是template也不是标准class，而是个特化版的具体
某个类的template。一旦类型参数被定义，再没有其它template参数可供变化。
43.2 基类模板可能被特化，而特化版本可能不提供和一般性模板相同的接口。所以编译器拒绝
在模板化基类内寻找继承而来的名称(函数)。
43.3 继承类模板内调用模板化基类函数的三个方法
a. 在基类函数调用动作之前加上"this->"。
b. 使用using声明式，在继承类了声明基类函数。
c. 明白地指出被调用的函数位于基类内(不适合虚函数)。
44.1 Templates生成多个类和多个函数，所以任何template代码都不该与某个造成膨胀的
template参数产生相依关系。注意template代码中，重复是隐晦的。
44.2 因非类型模板参数而造成的代码膨胀，往往可消除，做法是以函数参数或类成员变量替换
template参数。
44.3 因类型参数而造成的代码膨胀，往往可降低，做法是让带有完全相同二进制表述(比如指针
类型)的具现类型共享实现码。
45.1 请使用成员函数模板生成"可接受所有兼容类型"的函数。
45.2 如果声明member templates用于"泛化copy构造"或"泛化assignment操作"，你还是需要声
明正常的copy构造函数和copy assignment操作符。
46.1 在template实参推导过程中从不将隐式类型转换函数纳入考虑。
46.2 template class内的friend声明式可以指涉某个特定函数。使用friend是目的是支持"所有参
数的隐式类型转换"。
46.3 为了让类型转换可能发生于所有实参身上，我们需要一个非成员函数；为了令这个函数被
自动具现化，我们需要将它声明在class内部；而在class内部声明非成员函数的唯一办法
就是令它为friend。这里使用friend与它的传统用途"访问class内非public成分"没有关系。
47.1 STL的5种迭代器分类
| 类型 | 描述 | 代表 |
|---|---|---|
| Input | 只能向前，一次一步，只读且一次 | istream_iterators |
| Output | 只能向前，一次一步，只写且一次 | ostream_iterators |
| forward | 可读写一次以上(单向链表)，继承自input | slist、tr1::hashed? |
| bidirectional | 可向前或向后移动，继承自forward | list、set、map |
| random access | 可在常量时间内向前或向后跳跃任意距离，继承自bidirectional | vector、deque、string |
47.2 Traits
Traits并不是C++关键字或一个预先定义好的组件；它们是一种技术，也是一个C++程序员
共同遵守的协议。它对内置类型和用户自定义类型的表现必须一样好。习惯上，traits总是
被实现为structs，但它们往往被称为traits classes。Traits classes使得"类型相关信息"在编
译期可用，以模板和模板特化完成实现。整合重载技术后，traits classes有可能在编译期
对类型执行if...else测试。
47.3 设计并实现一个traits class
a. 确认若干你希望将来可取得的类型相关信息。
b. 为该信息选择一个名称。
c. 提供一个template和一组特化版本，内含你希望支持的类型相关信息。
47.4 如何使用一个traits class
a. 建立一组重载函数(劳工函数)或函数模板，彼此间的差异只在各自的traits参数。令每个函
数实现码与其接受之traits信息相对应。
b. 建立一个控制函数(工头)或函数模板，它调用上述那些"劳工函数"并传递traits class所提供
的信息。
TMP(模板元编程)，是编写基于模板的C++程序并执行于编译期的过程。
48.1 TMP可将工作由运行期移到编译期，因而得以实现早期错误侦测和更高的执行效率(较小的
可执行文件、较短的运行期、较少的内存需求)，缺点是编译时间变长了。
48.2 TMP可被用来生成"基于政策选择组合"的客户定制代码(如Strategy、Observer、Visitor)，
也可用来避免生成对某些特殊类型并不适合的代码。TMP里的循环是用递归完成的。