【C++】模板的分类编译

模板的分类编译

错误模式

在日常的编译中，一个工程我们统常会建立多个源文件，和头文件。当我们将一个模板函数/类声明在头文件中，定义在源文件，main函数在另一个源文件中运行程序。那么程序在链接时会出错。

//Tem.h
template<class T>
void fun(T a);
//Tem.cpp
#include "Tem.h"
template<class T>
void fun(T a)
{
    cout << a << endl;
}
//test.cpp
#include "Tem.h"
int main()
{
    fun<int>(3);
    return 0;
}

使用VS2015会出现下面错误提示：
错误 LNK2019 无法解析的外部符号 “void __cdecl fun(int)” (??$fun@H@@YAXH@Z)，该符号在函数 _main 中被引用

出错原因

在解释原因之前首先回顾一下程序编译运行基本过程：

分析过程

• 预处理过程中test.cpp中包含了头文件Tem.h内容，即模板函数的声明，但没有fun的内容。
• 在后期编译时，因为main中只含有fun函数的声明，不知道定义的内容，所以不可能实例化出函数fun的实现代码。而Tem.cpp中的fun不知道实例化为哪种类型，也无法完成实例化fun< int>。
• 在最后链接时多个源文件进行链接，就会出现fun< int>没有定义的错误

解决方法

解决方案有四种：
- 将声明和定义放在同一个头文件中，也就是在声明时直接定义。这样做的不符合分类编译规则，并且在头文件中暴露了函数实现的细节。
- 在主函数中加#include “Tem.cpp”，这样相当于合并了俩个源文件，将定义和主函数放在一块。间接的不符合分类编译规则。
- 显示实例化说明，在Tem.cpp定义的时候如下，这样做的不好处是失去了模板多样性的作用，每个模板函数的实例化只能使用一次。

template<class T>
void fun(T a){...}
template void fun(int a);

• 在网络上还有种方法:使用关键字 export，在定义时template之前加上export。但貌似很多编译器不支持这个关键字，我的编译器是VS2015无法使用。