C++模板特化（template）

模板为什么存在？ 相信大家都写过Add函数

int Add(int left,int right)
{
	return left+right;
}

或

double Add(double left,int right)
{
	return left+right;
}

这种写法会使代码冗余，而且不美观，所以就需要一个通用的Add函数，模板就出现了

template<class T>       //或template<typename T>
T Add(T left,T right)
{
	cout << typeid(T).name() << endl;//查看调用模板的类型
	return left+right;
}

模板特化存在的必要性 上面的模板只能解决一些普通的类型，但对于特殊的类型就会出错 比如：

template<class T>
T& Max(T& left, T& right)
{
	return left > right? left : right;
}
int main()
{
	char* p1 = "world";
	char* p2 = "hello";
	cout << Max(p1, p2) << endl;
}

模板特化中的函数特化 对于上面char*类型的解决方法：

 template<>
 char*& Max<char*>(char*& left, char*& right)
 {
 	if (strcmp(left, right) > 0)
 		return left;
 
 	return right;
 }

【注意】

使用模板特化时，必须要先有基础的模板函数（就是上面第一个模板函数）

使用特换模板函数时格式有要求：

1.template 后直接跟<> 里面不用写类型 2.函数名<特化类型>（特化类型 参数1， 特化类型 参数2 , …） 在函数名后跟<>其中写要特化的类型

特化的函数的函数名，参数列表要和原基础的模板函数想相同，避免不必要的错误 也可以写为

char* Max(char* left, char* right)
{
	if (strcmp(left, right) > 0)
		return left;

	return right;
}

编译器当检测到普通函数和模板都可以使用时，优先使用普通函数 所以，函数模板一般不需要特化，直接将不能处理类型的具体函数给出 模板特化中的类特化 1.全特化

template<class T1,class T2>
T1& Max(T1& left, T2& right)  //返回类型自定T1或T2
{
	return left > right? left : right;
}

2.偏特化（部分特化）

//都可以
template<T,int>
template<T,int>
template<double,T>
template<T,double>

编译器在调用模板时，偏特化模板优于全特化模板 总结：在调用模板时，优先级 普通函数>偏特化>全特化