模板类的声明和定义

模板类的实现可以放到.cpp文件里吗？

先放结论：涉及到模板和模板特例化时，一般最好将模板和模板特例化一起放在对应的.h文件中。

以下面的代码为例：

//---test.h---//
template<typename T>
class A {
    
public:
	void f(); //这里只是声明
};
//---test.cpp---//
#include "test.h"
template<typename T>
void A<T>::f() {
    
	// do somethong...
}
//---main.cpp---//
#include "test.h"
int main(){
    
	A<int> a;
	a.f();
}

在main函数中，编译器并不知道A::f的定义，因为它不再test.h文件里面，于是编译器只好寄希望于连接器，希望它能够在其他的.obj里面找到A::f的实现体，在上述的例子中就是test.obj。然而，test.obj中是没有A::f的二进制代码的。因为C++明确表示当一个模板不被用到的时候它就不该被具现出来，而此处的test.cpp是没有用到A::f的，于是在test.obj中是没有关于它的二进制代码的，于是连接器便会给出连接错误。但是，如果在test.cpp中写一个函数，其中使用到了A::f，则编译器便会将其具现出来，即使main函数中没有用到。

解决方法：

1. 在实例化要素中让编译器看到模板定义
2. 用另外的文件来显式地实例化类型，这样连接器就能看到该类型
3. 使用export关键字（大部分编译不支持）

第一种方法就是将模板的声明和定义全卸载.h文件中，这样编译器就能直接编译main.cpp。第二种便是新建一个文件，或者就在test.cpp中，显式地实例化得到类型，这样便会被连接器找到相对饮管道二进制代码。