C++学习笔记:模板初阶--函数模板

1.泛型编程

如果在C++中，也能够存在这样一个模具，通过给这个模具中填充不同材料(类型)，来获得不同材料的铸件(即生成具体类型的代码），那将会节省许多时间 , 例如 : 在C语言中 ,我们想写一个交换函数 , 由于有多种参数类型,我们需要些很多个函数才能实现:

void Swapi(int* left, int* right)
{
	int temp = *left;
	*left = *right;
	*right = temp;
}
void Swapd(double* left, double* right)
{
	double temp = *left;
	*left = *right;
	*right = temp;
}
void Swapc(char* left, char* right)
{
	char temp = *left;
	*left = *right;
	*right = temp;
}

这样子写起来也非常麻烦,而到了C++中因为有了模板的存在,我们只需要写一次交换函数,就可以完成各种类型的交换,这就是模板存在的原因:泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。

2. 函数模板

2.1 函数模板的概念

函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。

2.2 函数模板的格式

template<typename T1, typename T2,…,typename Tn>
注意:上面的typename可以写成class,但是不能写成struct;
返回值类型 函数名(参数列表){}

当有了模板,我们的交换函数就可以这样写:

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

这样我们就可以对任意类型的进行转换了

2.3 函数模板的原理

函数模板是一个蓝图，它本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器,就像类中的各种成员函数一样,它只是拿来套用的工具,至于被谁来套用,只要符合条件,那是由我们来决定的.

2.4 实例化

用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实化分为：隐式实例化和显式实例化。

1. 隐式实例化：让编译器根据实参推演模板参数的实际类型

#include<iostream>
using namespace std;

template<class T>
T Add(const T& a, const T& b)
{
	return a + b;
}

int main()
{
	int a = 1;
	int b = 1.1;
	cout << Add(a, b) << endl;
	return 0;
}

2. 显示实例化

当上面的代码中,a为类型,b为double类型,就需要用到 显示实例化(在函数名后的<>中指定模板参数的实际类型) 或者 进行类型强转:

#include<iostream>

using namespace std;

template<class T>
T Add(const T& a, const T& b)
{
	return a + b;
}

int main()
{
	int a = 1;
	double b = 1.1;
	cout << Add<int>(a, b) << endl; //显示实例化
	cout << Add(a, (int)b) << endl; //类型强转


	return 0;
}