c++中函数模板的显示具体化

函数模板的显示具体化。

函数模板存在局限性，当定义函数模板时，我们始终假定函数体中的语句是合法的。例如定义如下函数模板：

template <typename T>
T add(T x, T y)
{
	return x + y;
}

如果T是内置数据类型,则x+y是合法的。例如,Ad(1,2)是合法的。但是,如果T用int*替换则是错误的,因为两个指针相加没有任何意义。例如,Add(a,b)是非法的,其中a,b声明如下：

int a[5] = { 1,2,3,4,5 };
int b[5] = { 1,2,3,4,5 };

即函数模板可能无法处理某些特定的数据类型。此时,可以使用模板的显式具体化解决函数模板处理特定数据类型的问题显式具体化的声明格式如下：
**template<>
类型说明符 函数名 <类型说明符>(参数列表)；
**
注意：
与函数模板的显式实例化相比,两者有相似之处,也有区别,区别如下。
(1)显式实例化只需显式声明模板参数的类型,不需要重新定义函数的实现;而显式具体化必须重新定义函数模板,改写函数模板的功能以处理特定的数据类型,达到自己想要的特定结果。
(2)显式实例化中 template后面没有“<>”,而显式具体化中 template后面紧跟“<>”即,使用符号“<>”区别显式实例化(不使用符号“<>”)和显式具体化(使用符号“<>”)。
例子：

#include<iostream>
#include<string>
using namespace std;
template<typename T>
T add(T X, T Y)
{
	return X + Y;
}
template<>
int* add <int*>(int* x, int* y)
{
	int* z = new int[5];
	for (int i = 0; i < 5; i++)
		z[i] = x[i] + y[i];
	return z;
}
int main()
{
	int a[5] = { 4,6,2,7,8 };
	int b[5] = { 7,5,4,2,6 };
	for (int i = 0; i < 5; i++)
		cout << a[i] + b[i] << " ";//使用隐式实例化函数模板
	cout << endl;
	int* c = NULL;
	c = add(a, b);//使用显示实例化函数模板
	for (int i=0;i<5;i++)
		cout << c[i]<<" ";
	cout << endl;
	return 0;

}