c模板类1理解编译器的编译模板过程.doc

c 模板类 1 理解编译器的编译模板过程 ? c++模板类(1)理解编译器的编译模板过程2010-04-13 09：40 如何组织编写模板程序前言常遇到询问使用模板到底是否容易的问题，我的回答是：模板的使用是容易的，但组织编写却不容易。看看我们几乎每天都能遇到的模板类吧，如STL,ATL,WTL,以及Boost的模板类，都能体会到这样的滋味：接口简单，操作复杂。 我在5年前开始使用模板，那时我看到了MFC的容器类。直到去年我还没有必要自己编写模板类。可是在我需要自己编写模板类时，我首先遇到的事实却是传统编程方法(在*.h文件声明，在*.cpp文件中定义)不能用于模板。于是我花费一些时间来了解问题所在及其解决方法。 本文对象是那些熟悉模板但还没有很多编写模板经验的程序员。本文只涉及模板类，未涉及模板函数。但论述的原则对于二者是一样的。 问题的产生通过下例来说明问题。例如在array.h文件中有模板类array：//array.h template typename T,int SIZE class array{T data_[SIZE]；array(const arrayother)；const arrayoperator=(const arrayother)；public：array(){}；Toperator(int i){return data_[i]；}const Tget_elem(int i)const{return data_[i]；}void set_elem(int i,const Tvalue){data_[i]=value；}operator T*(){return data_；}}；然后在main.cpp文件中的主函数中使用上述模板：//main.cpp#includearray.h int main(void){array int,50 intArray；intArray.set_elem(0,2)；int firstElem=intArray.get_elem(0)；int*begin=intArray；}这时编译和运行都是正常的。程序先创建一个含有50个整数的数组，然后设置数组的第一个元素值为2，再读取第一个元素值，最后将指针指向数组起点。 但如果用传统编程方式来编写会发生什么事呢?我们来看看： 将array.h文件分裂成为array.h和array.cpp二个文件(main.cpp保持不变)//array.h template typename T,int SIZE class array{T data_[SIZE]；array(const arrayother)；const arrayoperator=(const arrayother)；public：array(){}；Toperator(int i)；const Tget_elem(int i)const；void set_elem(int i,const Tvalue)；operator T*()；}；//array.cpp#includearray.h template typename T,int SIZE Tarray T,SIZE：operator(int i){return data_[i]；} template typename T,int SIZE const Tarray T,SIZE：get_elem(int i)const{return data_[i]；} template typename T,int SIZE void array T,SIZE：set_elem(int i,const Tvalue){data_[i]=value；}template typename T,int SIZE array T,SIZE：operator T*(){return data_；}编译时会出现3个错误。问题出来了：为什么错误都出现在第一个地方?为什么只有3个链接出错?array.cpp中有4个成员函数。要回答上面的问题，就要深入了解模板的实例化过程。 模板实例化程序员在使用模板类时最常犯的错误是将模板类视为某种数据类型。所谓类型参量化(parameterized types)这样的术语导致了这种误解。模板当然不是数据类型，模板就是模板，恰如其名： 编译器使用模板，通过更换模板参数来创建数据类型。这个过程就是模板实例化(Instantiation)。从模板类创建得到的类型称之为特例(specialization)。模板实例化取决于编译器能够找到可用代码来创建特例(称之为实例化要素，point of instantiation)。要创建特例，编译器不但要看到模板的声明，还要看到模板的定义。模板实例化过程是迟钝的，即只能用函数的