模板源代码组织
源代码组织
非模板源代码组织:声明放在头文件中,具体定义放在源文件中。
对于非模板代码,一切正常运作,所有符号在整个程序中都是可见的。
但是,如果模板代码用这种方式组织,会出现链接器错误:
// MyTest.h
template <typename T>
void MyPrint(T const&);
// MyTest.cpp
#include "MyTest.h"
template <typename T>
void MyPrint(T const& X)
{
cout << x << endl;
}
// main.cpp
#include "MyTest.h"
int main()
{
MyPrint(5);
}
对于上面的代码,编译器可以顺利通过编译,但是链接器会提示找不到函数MyPrint()的定义。这个错误的原因在于:
- 编译器是按 编译单元 编译的,每个 编译单元 单独编译。
- 编译main.cpp时,编译器看到MyPrint()的调用,但是没找到MyPrint()的定义,编译器假设MyPrint()的定义在其它 编译单元,产生一个指向定义的引用,让链接器利用这个引用来解决问题。
- 我们知道,模板函数只有在被调用时才会被实例化,而每个 编译单元 单独编译。编译MyTest.cpp时,MyTest.cpp中没有调用MyPrint(),编译器也并不知道main.cpp中调用了MyPrint(5),所以MyTest.cpp中没有实例化MyPrint。
根据上面分析,不难猜测到,只要在MyTest.cpp中增加调用MyPrint()的代码,就可以顺利通过链接:
// MyTest.cpp
#include "MyTest.h"
template <typename T>
void MyPrint(T const& X)
{
cout << x << endl;
}
// 增加下面代码后,顺利通过链接
void Test()
{
MyPrint(5);
}
包含模型
对于模板源代码的链接问题,我们通常解决方法是包含模型:让模板的声明和定义位于同一个头文件中:
// MyTest.h
template <typename T>
void MyPrint(T const& X)
{
cout << x << endl;
}
// main.cpp
#include "MyTest.h"
int main()
{
MyPrint(5);
}
编译器编译main.cpp时,#include "Mytest.h"相当于把函数模板MyPrint的定义拷贝到了main.cpp中,当然就能顺利通过编译链接。
包含模型组织的代码清晰直观,但其缺点是增加了包含Mytest.h头文件的开销。主要的开销不在于模板函数实现代码本身,而在于为了支持其实现代码所包含的其它头文件。
显式实例化
解决模板源代码的链接问题的第二个方法是显式实例化:
// MyTest.h
template <typename T>
void MyPrint(T const&);
// MyTest.cpp
#include "MyTest.h"
template <typename T>
void MyPrint(T const& X)
{
cout << x << endl;
}
// 用int显式实例化MyPrint()
template void MyPrint<int>(int const& x);
// main.cpp
#include "MyTest.h"
int main()
{
MyPrint(5);
}
也可以给类模板的成员函数和类模板显式实例化,显式实例化类模板是,其所有类函数都会被实例化。
// 使用int显式实例化Stack<>
template class Stack<int>;
// 使用int显式实例化类模板成员函数
template void Stack<int>::push(int const&);
整合包含模型和显式实例化
可以自由选择包含模型和显式实例化的一种代码组织方法:把模板声明和定义放在两个头文件中。
//MyTest.h
template <typename T>
void MyPrint(T const&);
//MyTestDef.h
#include "MyTest.h"
template <typename T>
void MyPrint(T const& X)
{
cout << x << endl;
}
如果想用包含模型,只需要#include头文件MyTest.h就可以:
//main.cpp
#include "MyTestDef.h"
int main()
{
MyPrint(5);
}
如果想用显式实例化,需要#include头文件MyTest.h,并另外增加一个显式实例化的cpp文件:
//MyTest_Init.cpp
#include "MyTest.h"
template void MyPrint<int>(int const&);
//main.cpp
#include "MyTest.h"
int main()
{
MyPrint(5);
}