函数模板

函数模板提供一个种用来自动生成各种类型函数实例的算法，程序员对于函数接口，参数和返回类型中的全部或者部分类型进行参数化 parameterize 而函数体保持不变。 如用一个函数的实现在一组实例上保持不变，并且每个实例都处理一种惟一的数据类型，如函数 min() 则该函数就是模板的最佳候选者。

关键字 template 总是放在模板的定义与声明的最前面，关键字后面是用逗号分隔的模板参数表 template parameter list 它用尖括号 <> 一个小于号和一个大于号，括起来该列表是模板参数表，不能为空，模板参数可以是一个模板类型参数template typeParameter，它代表了一种类型，也可以是一个模板非类型参数 template nontype parameter它代表了一个常量表达式。

模板类型参数由关键字 class 或 typename 后加一个标识符构成，在函数的模板参数表中这两个关键字的意义相同，它们表示后面的参数名代表一个潜在的内置或用户定义的类型。模板参数名由程序员选择 。

当一个名字被声明为模板参数之后，它就可以被使用了，一直到模板声明或定义结束为止。 模板类型参数被用作一个类型指示符，可以出现在模板定义的余下部分，它的使用方式与内置或用户定义的类型完全一样，比如用来声明变量和强制类型转换，模扳非类型参数被用作一个常量值，可以出现在模板定义的余下部分，它可以用在要求常量的地方，许是在数组声明中指定数组的大小或作为枚举常量的初始值。

template<typename Type, int size>

Type min(Type (&r_array)[size]){
	Type min_val = r_array[0];
	for(int i=1; i < size; i++){
		if(r_array[i] < min_val)
			min_val = r_array[i];
	}
	return min_val;
}

int ia[]={10, 7, 14, 3, 25};
double da[]={10.2, 7.1, 14.5, 3.2, 25.0, 16.8};

#include<iostream>
int main(){
	// 为 5 个 int 的数组实例化 min()
	// Type => int, size => 5
	int i = min(ia);
	if ( i != 3 )
	cout << "??oops: integer min() failed\n";
	else cout << "!!ok: integer min() worked\n";

	// 为 6 个 double 的数组实例化 min()
	// Type => double, size => 6
	double d = min( da );
	if ( d != 3.2 )
	cout << "??oops: double min() failed\n";
	else cout << "!!ok: double min() worked\n";
	return 0;
	
}