C++学习笔记——template

一、函数模板

1、函数重载
函数重载：C++允许具有类似功能的同名函数，但一定要形参不同（如形参的类型，数量或者顺序）。

2、函数模板的定义
函数模板的定义形式为：
template <模板形参>
返回类型 函数模板名（函数模板的数据形参）
{
函数模板定义体
}
如：

void swap(int& a,int& b)
{
	int temp=a;a=b;b=temp;
}
template <typename T>
//可以写成
void swap(T& a,T& b)
{
	T temp=a;a=b;b=temp;
}

其中，函数模板名为swap,模板形参为T,函数模板的数据形参为a和b,函数模板的返回类型为void。函数模板名后面圆括号中的数据形参表一般要用到template后面的模板形参名T，也就是具有模板形参的对象或变量实体。
模板函数不是函数，它是以具体的类型为实参来生成函数体的模板。函数模板定义被编译时，不会产生任何执行代码。

3、函数模板的用法
使用函数模板，就是以函数模板名为函数名的调用。
形式为：
函数模板名（数据实参表）；
第一次使用函数模板时，会出发编译器产生一个对应函数模板的函数体定义。
当编译器发现有一个函数模板名为函数名的调用时，将根据数据实参表中的对象或变量的类型，确认是否匹配函数模板中对应的数据形参表，然后生成一个函数。该函数的定义与函数模板的定义体相同，而数据形参表的类型则以数据实参表中的类型为依据。该函数成为模板函数。
过程：1、函数模板名调用，2、确认实参与形参是否对应，3、生成函数，4、确定形参类型
如：函数调用时

double dx=3.5,dy=5.6;
int ix=6,iy=7;
swap(dx,dy)
swap(ix,iy)

首先生成**函数名为swap**的模板函数，即

void swap<double>(double& a,double& b)
{
	double temp=a;a=b;b=temp;
}

由于dx和dy是double型的，因此该double类型再推演得到模板实参为double型，因此模板函数得以命名为swap。
再生成了函数名为swap的模板函数。