[Architechture探索] 程序架构与源码重用 (C++)Page-002

王朝c/c++·作者佚名  2006-12-22
窄屏简体版  字體: |||超大  

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;

改名,派生目标,一下搞定,很轻松吧?

自动类型推导(匹配)

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

(待续……)

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有 導航