C++函数模板

今天和大家分享的是函数模板。模板是泛型编程的基础，学好模板对将来学习STL很有帮助。

首先，我们来看函数模板的定义，怎么样定义一个函数模板：

template <typename T>返回值类型  函数名（函数参数）

其中template是关键字，必须要写的尖括号里面的是模板参数，关键字是typename或者是class。例如

template <typename T>T compare(const T &a,const T &b)//
{
	return (a>b)?a:b;
}

在这里我们定义了compare函数模板，有两个参数，类型是T。当我们实例化一个函数模板的时候，就是将一个个具体的参数传递给函数模板时，这时候编译器会根据具体参数的类型来实例化一个具体的模板，来确定T的类型。例如：

int _tmain(int argc, _TCHAR* argv[])

{
	int a=10;
	int n=compare(a,9);
	float m=compare(12.3,5.6);
	printf("%d\n%f\n",n,m);
	return 0;
}

在这里，我们初始化了一个int的函数模板和一个float的函数模板。在这里传递的参数类型，必须支持>这个运算符，如果不支持，则编译不通过。例如：

我们定义一个date类：

#include <iostream>
using namespace std;
class date
{
public:
	date();
	~date();
	void add();
private:
	int boolno;
	float reven;
};

然后初始化两个date对象，用他们来实例化一个函数模板，我们看看结果：

<span style="font-size:18px;">	date d1,d2;
	compare(d1,d2);
</span>

编译结果：

这里我们看到，因为在date类中没有定义>这个运算符，因此编译不通过。

接下来，我们说道说道非类型模板参数和类型模板参数。

类型模板参数就是指的typename定义的参数，他们在实例化函数模板的时候，根据传递的参数来确定参数的类型。

非类型模板参数是指一开始就指定了参数的类型，例如：

template <typename T,int N> int prin(T (&a)[N])
{
	int sum=0;
	for(int i=0;i<N;i++)
		sum+=a[i];
	return sum;
}

在这里，我们定义一个函数模板prin，这个模板有一个类型模板参数T和一个非类型模板参数N。然后实例化这个函数模板：

	int b[]={1,1,1,1,1,1,1,1,1,1};
	int sum=prin(b);
	printf("%d\n\n",sum);

结果是对数组b求和。

但是，切记非类型模板参数通常是是常整数（包括枚举类型）或者指向外部链接对象的指针。浮点型等等是不能做非类型模板参数的。