模板的声明和定义可以分离,但是不能在两个文件中,会出现连接错误。
所以模板会把声明和定义放到同一个文件中
针对这个现象,一些使用模板的文件会把文件后缀名改为.hpp,意为.h和.cpp的结合,通常只表示模板。文件后缀名不改,还是.h效果是一样的,因为.h和.hpp文件都会被展开,只是.hpp更具有标识性。
分开就连接不上的原因和实例化有关:
一开始是这三个文件:
预处理后变成了Test.i和template.i
编译(符号汇总):Test.s和template.s
汇编(生成符号表):Test.o和template.o(或者:Test.obj和template.obj)
连接:a.out 或 xxx.exe
头文件展开后,template.i和Test.i的内容为:
在编译过程中template.s内容为空,因为根本不知道T是什么类型(在链接步骤之前,各个文件都是独立的),没法生成对应类型的函数;而Test.s中存在声明,所以编译阶段不会报错,汇编代码中,Swap(a,b);对应的汇编代码是:call 函数标识符+无效地址。在链接步骤中变为有效地址。
也有补救方案:显式实例化指定
在template.cpp中
template
void Swap(int& left, int& right);//格式固定
template
class Vector
template
class Vector
解决方案1:在template.cpp中针对要使用的模板类型显式实例化(不推荐)
解决方案2:不要将模板的声明和定义分离到两个文件中,直接写在xxx.h或xxx.hpp中