程序架构与源码重用 （C++）Page-002

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；

       改名，派生目标，一下搞定，很轻松吧？

自动类型推导（匹配）

       简单地说，编译器会尽可能的找到同你指定类型匹配的内容来具现化。