C++函数模板

函数模板作用：

同一功能的函数可能会因为类型问题要写两个甚至更多，比如取绝对值，对整数取绝对值和对浮点数取绝对值是一样的，然而都要处理的话必须写两个函数，这样非常麻烦，使用函数模板就可以解决这个问题（写一个通用类型函数）

函数模板定义：

• 函数模板定义形式：template<模板参数表>，一般使用类型参数class或typename标识符
• 例如template<class T>、template<typename T1, typename T2>

注意：

• 注意每个函数模板只对它紧接着的下一个函数有效，也就是和函数一一绑定
• 一个函数模板并非自动可以处理所有类型的数据，只有能够进行函数模板中运算的类型，可以作为类型实参
• 例如传入的是自定义的类，需要重载模板中的运算符，才能作为类型实参

函数模板+函数重载：

• 函数模板可以像普通函数一样被重载
• C++编译器优先考虑普通函数，不过如果函数模板可以产生一个更好的匹配，那么选择模板
• 可以通过空模板实参列表的语法，限定编译器只通过模板匹配，例如ans = Add<>(a, b);

代码中有注释

#include<iostream>
using namespace std;
int Max(int a, int b)
{
	cout<<"Normal"<<endl;
	if(a>b)  return a;
	return b;
}
template<typename T>	//函数模板重载
T Max(T a, T b)		//模板参数表里只有一个T，这三个T当然必须类型相同
{
	cout<<"template"<<endl;
	if(a>b)  return a;
	return b;
}
template<typename T, typename T2>
void Print(T *a, T2 n)
{
	int i;
	for(i=1;i<=n-1;i++)
		cout<<a[i]<<" ";
	cout<<a[n]<<endl;
}
int main(void)
{
	int n = 10;
	int p, q, a[11] = {0,1,2,3,4,5,6,7,9,8,15};
	double k, h, b[11] = {0,1.1,1.2,1.5,1.6,1.8,5,6,7,8.9,10.12};
	char c[12] = {"aabcdefghik"};
	Print(a, n);
	Print(b, n);
	//Print<int, int>(c, n);		非法，函数模板不提供隐式的类型转换，必须是严格的匹配
	Print<char, int>(c, n);		//相当于void Print(char *a, int n)，即第一个T是char，第二个T是int
	p = 1, q = 2, k = 3, h = 4;
	Max(p, q);		//C++默认调用普通函数
	Max(k, h);		//因为普通函数的形参是int型，这里实参都是double型，所以系统会使用函数模板
	Max<>(p, q);	//强制使用函数模板
	return 0;
}