【C++】为什么模板不支持分离编译

在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;
}

会出现如下报错：

这是为什么呢?？？
编译器报的这种错误属于链接性错误,而一般出现链接错误,通常是因为,声明了一个函数,但是没有写实现体。

我们模板代码的实现体在一个文件里,而实例化模板的测试代码在另一个文件里,编译器编译一个文件时并不知道另一个文件的存在,因此,模板代码就没有进行实例化,编译器自然不会为其生成代码,因此会抛出一个链接错误!