在C++中,为了一个项目的规范化我们通常把代码归类为三类:声明文件、实现文件、测试文件。
比如,我们要实现一个顺序表,那么规范化就是建立3个文件:SeqList.h (顺序表相关声明)、SeqList.cpp(顺序表相关实现)、test.cpp(顺序表测试文件)。
那么普通顺序表这样写一点问题都没有,用模板实现成这样的顺序表是否也是没有任何问题的呢?
可事实是一旦我们通过模板来实现这样的顺序表,编译器就会报错。这是为什么呢???
首先我们来看一个实例:
//test.h 声明文件
template<class T>
class AA
{
public:
AA();
private:
int _a;
};
//test.cpp 实现文件
#include"test.h"
template<class T>
AA<T>::AA()
:_a(0)
{}
//main.cpp 测试文件
#include<iostream>
#include"test.h"
using namespace std;
int main()
{
AA<int> a1;
return 0;
}
会出现如下错误:
我们来简单分析一下,编译器报的这种错误属于链接性错误,也就是说预处理、编译、汇编、链接,在链接时出了错,而一般出现出现链接错误是因为声明了一个函数,但是没有实现它。因此,当程序在链接时,从符号表中只找到了函数名,找不到具体函数实现的地址,因此编译器会报这样的错误。那么,为什么模板在分离编译时会报这样的错误呢?
我们都知道模板需要两次编译,第一次编译是在实例化之前,用来检查基本的语法错误。第二次编译是在实例化之后,当把它实例化具体的类型时,再次判断有没有语法错误。
模板代码的实现在实现文件里,而实例化的测试代码在测试文件里,编译器编译时并不知道它们是分开的,也就是编译实现文件时并不知道实例化代码在测试文件里,就没有实例化出真正的代码,因此才会报出这样的错误。
解决办法:
(1)在模板的实现文件里显示实例化;
(2)将定义和声明放在同一个文件里,命名为xxx.hpp;
!