C++函数模板的使用

      假如要实现多个函数用来返回两个数的最大值，要求能支持char类型、int类型、double

下面方法是基本的实现

#include <iostream>
using namespace std;

int Max(int a, int b)
{
	return a>b ? a:b;
}

char Max(char a, char b)
{
	return a>b ? a:b;
}

float Max(float a, float b)
{
	return a>b ? a:b;
}

inte main()
{
	
	
	int  x = 1;
	int	 y = 2;
	cout<<"max(1, 2) = "<<Max(x, y)<<endl; 

	float a = 2.0;
	float b = 3.0;
  
	cout<<"max(2.0, 3.0) = "<<Max(a, b)<<endl;

	system("pause");
	return 0;

但是用了函数模板就方便许多了

#include <iostream>
using namespace std;


//template 关键字告诉C++编译器 我要开始泛型编程了,请你不要随意报错
//T - 参数化数据类型


template <typename T>
T Max(T a, T b){
	return a>b ? a:b;
}




void main()
{
	
	
	int  x = 1;
	int	 y = 2;
	cout<<"max(1, 2) = "<<Max(x, y)<<endl; //实现参数类型的自动推导
	cout<<"max(1, 2) = "<<Max<int>(x,y)<<endl;//显示类型调用

	float a = 2.0;
	float b = 3.0;
  
	cout<<"max(2.0, 3.0) = "<<Max(a, b)<<endl;

	system("pause");
	return ;
}

所谓函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称为函数模板。凡是函数体相同的函数都可以用这个模板来代替，不必定义多个函数，只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中的虚拟类型，从而实现了不同函数的功能。

1. 模板说明  

template    < 类型形式参数表 >  

类型形式参数的形式：

typename T1 ,  typename T2 , …… , typename Tn 

或 class T1 ,  class T2 , …… , class Tn

(注：typename 和 class 的效果完全等同)

2. 函数定义

 类型  函数名  (形式参数表)

{

}

注意：模板说明的类属参数必须在函数定义中出现一次

      函数参数表中可以使用类属类型参数，也可以使用一般类型参数

3. 函数模板调用

max<int>(a, b);  //显式类型调用

max(a, b);   //自动数据类型推导

函数模板和普通函数区别结论： 

两者允许并存

函数模板不允许自动类型转化

函数模板和普通函数在一起，调用规则：

1 函数模板可以像普通函数一样被重载

2 C++编译器优先考虑普通函数

3 如果函数模板可以产生一个更好的匹配，那么选择模板

4 可以通过空模板实参列表的语法限定编译器只通过模板匹配