c++模板使用及实现模板声明定义的分离
c++模板是编译器构造具体实例类型的模型，使类型参数化，是泛型编程的基础，泛型就是独立于特定类型。
一、模板分为函数模板和类模板两种。
函数模板：template <class 形参名，class 形参名，……> 返回值 函数名（参数列表…）{}
类模板：template <class 形参名，class 形参名，……> class 类名{ }；
如上是实现函数模板和类模板的方法。在使用时，模板函数和普通函数一致，c++采用参数推导的方式自动生成与传入实参一致的函数实例。类模板在使用时，需要对类型参数赋值，如：
Templateclass<类型实参> TempClass;
编译器由此生成传入实参对应的实例类。
注意模板实例化发生在编译阶段，大量使用模板的一个弊端就是造成大量代码生成，使编译变慢。
二、模板的另一个特点是，模板类的声明和实现不能分离，即都在.h文件中。有两中方式实现模板声明和实现的分离。
1、使用.hpp的方式。将模板实现放在.hpp中，并在.h文件最后中加入.hpp的声明。
2、使用显式的模板实例声明，如：
//template.h #ifndef TEMPLATE_H_ #define TEMPLATE_H_ #include <iostream> //#include template <typename T> class TemplateDemo{ public: TemplateDemo(T & data, int size); private: T *_data; protected: }; #endif //TEMPLATE_H_ //template.cpp #include "template.h" template <typename T> TemplateDemo<T>::TemplateDemo(T & data, int size){ if( size != 0){ this->_data = new T[size]; for(int i = 0; i < size; i++){ this->_data[i] = data; } } } template class TemplateDemo<std::string>; template class TemplateDemo<int>;
三、为什么模板类不能够声明和定义分离?
模板类是编译器生成具体的类的依据，只有模板被使用时才会编译。首先一般编译器都是以一个.cpp文件为一个编译单元，如果模板类的声明和实现是分离的，那么对模板类的定义文件编译，生成.o文件，此时只有模板，没有模板的实例类。c++编译器的工作流程分为预处理、编译、汇编、链接，而模板实例化发生在编译期间，当编译器没有找到模板类的一个特例时，它会认为该特例在另外的文件中（.o或.so），而将问题交给链接器去处理，但是模板的实现文件中没有该实例，无法找到符号，所以一般这种问题的抱错都是”ld error“。
那么为什么模板不被使用就无法编译呢。我们知道，c语言对内存的管理是底层的面向系统的，如果类型参数化的模板类而言，无法得知模板的类型，就无法得知模板类的占用内存。编译器无法为一个不知道大小的类分配内存。所有模板类，不是一个类，而是一个生成类的模板。