《关于模板类实例化.docVIP

模板函数在声明的时候， 其实并不存在，函数地址也就无从谈起了，而导出到动态链接库的函数都需要有地址 (动态链接库不能将模板类导出，因为没法生成实例) 如果把模板类的声明和定义都放在头文件中。需要用到模板类的时候，只需要包含该头文件，然后进行实例化。 如果模板类的声明和定义分别放在头文件和源文件中。当实例化的时候，只包含头文件会发证链接错误。 原因是模板类的实例化要分成两个步骤，模板的特例化和特例的实力化。 编译器在编译阶段，由于没有定义，所以编译器不能生成具体的模板特例，但是这并不会报错误，编译器将把问题抛给链接器来做。在编译源文件的时候，程序找不到该模板的特例，只是有模板而已，所以无法生成对象。所以会发生错误。 以下转自牛人blog ================= 前言 　　常遇到询问使用模板到底是否容易的问题，我的回答是：“模板的使用是容易的，但组织编写却不容易”。看看我们几乎每天都能遇到的模板类吧，如STL, ATL, WTL, 以及Boost的模板类，都能体会到这样的滋味：接口简单，操作复杂。 　　本文对象是那些熟悉模板但还没有很多编写模板经验的程序员。本文只涉及模板类，未涉及模板函数。但论述的原则对于二者是一样的。 　　问题的产生 　　通过下例来说明问题。例如在array.h文件中有模板类array： 　　// array.h 　　template typename T, int SIZE 　　class array 　　{ 　　T data_[SIZE]; 　　array (const array other); 　　const array operator = (const array other); 　　public: 　　array(){}; 　　T operator[](int i) {return data_[i];} 　　const T get_elem (int i) const {return data_[i];} 　　void set_elem(int i, const T value) {data_[i] = value;} 　　operator T*() {return data_;} 　　}; 　　然后在main.cpp文件中的主函数中使用上述模板： 　　// main.cpp 　　#include array.h 　　int main(void) 　　{ 　　arrayint, 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 array other); 　　const array operator = (const array other); 　　public: 　　array(){}; 　　T operator[](int i); 　　const T get_elem (int i) const; 　　void set_elem(int i, const T value); 　　operator T*(); 　　}; 　// array.cpp 　　#include array.h 　　templatetypename T, int SIZE T arrayT, SIZE::operator [](int i) 　　{ 　　return data_[i]; 　　} 　　templatetypename T, int SIZE const T arrayT, SIZE::get_elem(int i) const 　　{ 　　return data_[i]; 　　} 　　templatetypename T, int SIZE void arrayT, SIZE::set_elem(int i, const T value) 　　{ 　　data_[i] = value; 　　} 　　templatetypename T, int SIZE arrayT, SIZE::operator T*() 　　{ 　　return data