函数模板的理解

1、当我们要写一个不同数据类型的交换函数时，虽然函数重载可以解决这个问题，但是函数仅仅针对不同的类型，代码复用率较低，只要出现新的类型，就要增加新的函数，同时代码的可维护性较低，一个函数重载出错，可能所有的重载均出错。如下是对不同类型的交换函数得到的重载函数。

#include<iostream>
#include<string>
using namespace std;


void Swap(int& x, int &y)
{
	int temp = x;
	x = y;
	y = temp;
}

void Swap(char& x, char& y)
{
	char temp = x;
	x = y;
	y = temp;
}

void Swap(char& x, char& y)
{
	char temp = x;
	x = y;
	y = temp;
}

int main()
{
	int x = 0;
	int y = 1;
	Swap(x, y);

	return 0;
}

而我们可以通过泛型编程来生成与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础。同时在C++中模板分为如下两种

2、函数模板的使用方法如下：
template
函数返回类型 函数名(参数列表)
{
}

template<typename T>
void Swap(T& x, T& y)
{
	T temp = x;
	x = y;
	y = temp;
}

函数模板的原理如下图所示：

由此可见函数模板是一个蓝图，它本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器，在编译器编译阶段，对于模板函数的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如：当用double类型使用函数模板时，编译器通过对实参类型的推演，将T确定为double类型，然后产生一份专门处理double类型的代码，对于字符类型也是如此。

3、函数模板的实例化分为两种：用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为：隐式实例化和显式实例化。
3.1. 隐式实例化：让编译器根据实参推演模板参数的实际类型

template<class T>
T Add(const T& left, const T& right)
{
 return left + right;
}
int main()
{
 int a1 = 10, a2 = 20;
 Add(a1, a2);
 
 return 0;
}

3.2.显式实例化：在函数名后的<>中指定模板参数的实际类型。

int main(void)
{
 int a = 10;
 double b = 20.0;
 
 // 显式实例化
 Add<int>(a, b);
 return 0;
}