在实用点实例化模板的小例子

#ifndef s_include
#define s_include
#include <iostream>

template<class T>
class S{
	T a;
	public:
		void f();
};

#endif

#include "file.h"

template<class T> void S<T>::f(){
}

template<class T> T max(T x,T y){
	return x>y?x:y;
}

void main(){
	int a,b;
	max(a,b);
//	double c,d;
//	max(c,d);
	S<int> x;
	x.f();
}

#include "file.h"

//只要在这个项目的cpp文件中有这个全局函数，就可以用
extern double max(double,double);

void sub(){
	//编译时不会报错，链接时会报错
	//是否实例化模板的某个实例由使用点来决定；如果未使用到一个模板的某个实例，则变异系统不会生成相应的代码
	//在此例中file.cpp中未使用double型的模板，所以未实例化double max(double,double)这个函数，所以链接时报错
	//若将file.cpp中的关于double那两行注释去掉即可链接成功
	max(1.1,2.2);
	//对全局函数如此，对用模板定义的类亦是如此
	S<float> x;
	//虽然申明上面的float型的可以链接通过，但下面的会报错：file2.obj : error LNK2001: unresolved external symbol "public: void __thiscall S<float>::f(void)" 
	//上面的可以用同文件直接生成，但找不到float型f函数的实现，将file.cpp中改为float即可通过链接
	x.f();
}