C++ 显示具体化和显示实例化

函数的调用顺序
非模板函数（普通函数）> 具体化模板函数 > 常规模板

template<typename T>
T add(T a, T b)
{
	//
}
//重载
template<typename T>
T add(T a, T b, double c)
{
	//
}
template<typename T1, typename T2>
T1 add(T1 a, T2 b)
{
	//
}
// 偏特化
template<typename T>
T add(int a, T b)
{
	//
}


//对于某些特殊类型，可能不适合模板实现，需要重新定义实现，此时可以使用显示具体化（explicite specialization）
//显示实例化需重新定义函数的内容
//模板的显示具体化
template<> int* add(int* a,int* b,int c)
{
	int *d=new int[c];
	//...
	return d;
}


//当显式实例化模板时，在使用模板之前，编译器根据显式实例化指定的类型生成模板实例。显式实例化只需声明，不需要重新定义。编译器根据模板实现实例声明和实例定义。
//模板的显示实例化
template int add(int ,int);


// 隐式实例化
//在发生函数模板的调用时，不显示给出模板参数而经过参数推演，称之为函数模板的隐式模板实参调用（隐式调用）
// 即使用普通函数调用的方式调用 模板，不加<>
// 在使用模板之前，编译器不生成模板的声明和定义实例。只有当使用模板时，编译器才根据模板定义生成相应类型的实例。
 add(5,3);//隐式模板实参调用.
// 编译器会自动根据参数类型生成 add<int>(int,int)模板