C++函数模板和类模板的声明和定义问题

C++函数模板和类模板的声明和定义问题

编译器并不是把函数模板处理成能够处理任意类的函数；编译器从函数模板通过具体类型产生不同的函数；编译器会对函数模板进行两次编译：在声明的地方对模板代码本身进行编译，在调用的地方对参数替换后的代码进行编译。
在对模板进行声明和定义的时候，通常都会将声明和定义分开书写，在.h文件里声明，在.cpp文件里定义，最后在main函数里包含.h头文件，但这样会报链接错误
这是因为函数模板要被实例后才能成为真正的函数，在使用函数模板的源文件（main函数）中包含函数模板的头文件，如果该头文件只有声明，没有定义，那编译器无法实例化该模板，最终导致链接错误。

//-------------test.h-------------------//
//声明一个函数f()
void f();	

//-------------test.cpp-------------------//
#include "test.h"
//函数f()的实现
void f() {
	...
}

//-------------main.cpp-------------------//
#include "test.h"
int main() {
	//调用f()
	f();
}

编译时会生成两个.obj文件，main.obj和test.obj，而在main.obj里并没有f函数的二进制代码，这些代码实际存在于test.obj中。在main.obj中对f的调用只会生成一行call指令，call指令的地址由连接器生成

模板的使用是有具现化的过程，在未被使用的时候是不会生成二进制文件的，所以当链接器去找f函数的地址时，因为在这之前没有调用f函数，test.obj里面就没有f函数的二进制代码，于是便会报错

//-------------test.h-------------------//
template<class T>
class A {
public:
	//声明
	void f();
}

//-------------test.cpp-------------------//
#include "test.h"
template<class T>
void A<T>::f() {
	...
}

//-------------main.cpp-------------------//
#include "test.h"
int main() {
	A<int> a;
	a.f();
}

模板声明和定义分开的方法：
①、main函数中包含模板定义的文件
这样三个文件的内容通过include实际上包含在同一个文件里

//-------------test.h-------------------//
template<class T>
class A {
public:
	//声明
	void f();
}

//-------------test.cpp-------------------//
#include "test.h"
template<class T>
void A<T>::f() {
	...
}

//-------------main.cpp-------------------//
#include "test.cpp"
int main() {
	A<int> a;
	a.f();
}

②、在模板定义的文件末尾，重新声明函数模板（类模板）类型

//-------------test.h-------------------//
template<class T>
class A {
public:
	//声明
	void f();
}

//-------------test.cpp-------------------//
#include "test.h"
template<class T>
void A<T>::f() {
	...
}
//在这里实现了具体的类型，这样编译就不会有问题了，但是这样不大好
template classA<int>;

//-------------main.cpp-------------------//
#include "test.h"
int main() {
	A<int> a;
	a.f();
}

最好采用方法一进行模板的声明和定义分离的实现

参考文章：https://wenku.baidu.com/view/2fe693ebd938376baf1ffc4ffe4733687e21fcfc.html