模板——template

函数模板

函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称为函数模板。

在调用函数时系统会根据实参的类型来取代模板中的虚拟类型，从而实现了不同函数的功能。

例：

template <typename T>    //或者template <class T>
void Swap(T &a, T &b){
	T t;
	t = a;
	a = b;
	b = t;
}

int main(){
    int a=1,b=2;
    Swap<int>(a,b);
}

函数模板与重载

函数模板和普通函数的区别：函数模板是不允许自动类型转换的，而普通函数允许自动类型转换。

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

1.     函数模板可以像普通函数一样被重载。
2.     c++编译器优先考虑普通函数。
3.     如果函数模板可以产生一个更好的匹配，那么选择模板。
4.     可以通过空模板实参列表的语法，限定编译器只通过模板匹配。

函数模板不提供隐式的类型转换，必须是严格的匹配。

#include <iostream>
using namespace std;
 
int Max(int a, int b)
{
	cout<<"int Max(int a, int b)"<<endl;
	return a > b ? a : b;
}
 
template<typename T>
T Max(T a, T b)
{
	cout<<"T Max(T a, T b)"<<endl;
	return a > b ? a : b;
}
 
template<typename T>
T Max(T a, T b, T c)
{
	cout<<"T Max(T a, T b, T c)"<<endl;
	return Max(Max(a, b), c);
}
 
 
int main()
{
	int a = 1;
	int b = 2;
 
	cout<<Max(a, b)<<endl; //当函数模板和普通函数都符合调用时,优先选择普通函数
	
	cout<<Max<>(a, b)<<endl; //若显示使用函数模板,则使用<> 类型列表
 
	cout<<Max(3.0, 4.0)<<endl; //如果 函数模板产生更好的匹配 使用函数模板
 
	cout<<Max(5.0, 6.0, 7.0)<<endl; //重载
 
	cout<<Max('a', 100)<<endl;  //调用普通函数 可以隐式类型转换 
	return 0;
}

函数模板的实现原理

编译器并不是把函数模板处理成能够处理任意类的函数，编译器利用函数模板，根据具体类型产生不同的函数。

编译器会对函数模板进行两次编译：在声明的地方对模板代码本身进行编译，在调用的地方对参数替换后的代码进行编译。