Page-002
template （泛化模板）是CPP支持源编程的语言支持。
1. 在CPP的源编程的一些常用术语——编译期，编译期常量，类型，具现化，代码生产，自动类型推导（匹配）
编译期
CPP源代码从文本描述变换为目标代码的处理过程。（从某种意义上说，编译器也就是一文本变换程序，：P）
编译期常量
就是那个enum。
类型
从源代码的角度，“类型”是对一种抽象概念进行描述的符号。CPP是一种静态语言，“类型”一旦指定，就不能再改变。也就是说，“类型”进入编译期后就与某个抽象概念描述（数据结构）唯一确定的联系起来，不能变更。
（这个东西要解释清楚还真是不容易。）
具现化
PS:这个词语源自于读侯捷老师书的习惯。“实例化”通常指的是运行期创建某个对象的实体。
“typename”和“class"这两个关键字，用来描述“不确定类型”。
例如： template<typename T> class A { T m_t; ...}
T是不确定的，因此m_t 的大小也无从知晓，编译器无法产生任何目标代码用于构建这个类的实体。
个人觉得“具现化”实际上指的是为某个类产生了可以用于运行期构建实体的代码。
代码生产
一般情况下，如果需要一个类A派生自C，我们在头文件中写 class A : public C。然后我们还需要一个拥有A方法和属性却派生自B的类，怎么办？老老实实的把A类代码拷贝一份，并修改这个新A的名称和public目标。毫无疑问——代码冗余。
现在有： template<typename T> class A: public T { ... }，我们可以很轻松的完成上述工作。
typedef A<C> A_C; typedef A<B> A_B；
改名，派生目标，一下搞定，很轻松吧？
自动类型推导（匹配）
简单地说，编译器会尽可能的找到同你指定类型匹配的内容来具现化。
（待续……）
