模板——初识

函数模板

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

简而言之就是会根据使用场景进行适配。

函数模板格式

trmplate<typename T1,typename T2,...,typename Tn>
返回值类型 函数名（参数列表）{}

例如：

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

typename是用来定义模板参数的关键字，也可以使用class。

函数模板的实现原理

函数模板本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具。
函数模板的作用就是，将本来应该应该由自己来干的重复的事交给了编译器。

函数模板的实例化

用不同类型的参数使用函数模板
模板实例化可分为：

• 隐式实例化
• 显示实例化

隐式实例化

让编译器根据实参推演模板参数的实际类型

显式实例化

在函数名后的<>中指定模板参数的实际类型

int main(void){
	int a = 10;
	double b = 20.0;
	Add<int>(a, b);
	return 0;
}

若类型不匹配编译器会尝试进行隐式类型转换，若失败则编译器报错。

模板参数的匹配原则

1. 一个非模板函数可以和一个同名的模板函数同时存在，而且该函数模板还可以被实例化为这个非模板函数

int sub(int left, int right){
	return left - right;
}

template<class T>
T sub(T left, Tright){
	return left - right;
}

void main(){
	sub(2, 1);
	sub<int>(2, 1);
}

2. 对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非函数模板而不会从该模板产生出一个实例。

类模板

类模板的定义格式

template<class T1,class T2,...,class Tn>
class//类模板名
{
	//类内成员定义
};

类模板的实例化
类模板实例化需要在类模板名字后面跟<>,然后将实例化的类型放在<>中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。