在C++中,为了一个项目的规范,我们通常把代码归为三类:声明文件、实现文件、测试文件。例如下面的例子:
//test.h
void fun(); //声明一个函数fun
//test.cpp
#include"test.h"
void fun() //实现出test.h中声明的fun函数
{
//do something
}
//main.cpp
#include "test.h"
int main()
{
fun(); //调用fun函数
}
一般的程序执行过程:
test.cpp和main.cpp各自被编译成test.obj和main.obj,在main.cpp中,调用了fun函数,当编译器编译main.cpp时,编译器并不知道fun函数的实现,它只知道在main.cpp中所包含的test.h文件中的一个关于void f();的声明,所以,编译器将这里的fun看作外部连接类型,认为它的函数实现代码在另一个.obj文件中,也就是test.obj中。
编译test.cpp时,编译器找到了fun函数的实现。于是fun的实现出现在test.obj里。
连接时,连接器在test.obj中找到fun的实现代码的地址,然后将main.obj中的call XXX地址改成fun实际的地址。
那么问题来了,一般我们这样写起来一点问题都没有,但是只要通过类模板来实现,编译器就会报错:
//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 "test.h"
int main()
{
AA<int> a;
return 0;
}
会出现如下报错:
这是为什么呢???
编译器报的这种错误属于链接性错误,而一般出现链接错误,通常是因为,声明了一个函数,但是没有写实现体。
我们模板代码的实现体在一个文件里,而实例化模板的测试代码在另一个文件里,编译器编译一个文件时并不知道另一个文件的存在,因此,模板代码就没有进行实例化,编译器自然不会为其生成代码,因此会抛出一个链接错误!