template<class T> //告诉编译器 下面如果出现T不要报错，T是一个通用类型，template<class T>等价于template<typename T>
自动类型推导，必须有参数类型才可以推导
例：
template <class T>
void mySwap(T& a, T& b)
{
T tmp = a;
a = b;
b = tmp;
}
void test()
{
int a = 10;
int b = 20;
//自动推导
mySwap(a, b);
}
显示指定类型
template <class T>
void mySwap(T& a, T& b)
{
T tmp = a;
a = b;
b = tmp;
}
void test()
{
//指定类型
mySwap<int>(a,b);
}
模板必须要指定出T才可以使用
普通函数和函数模板的区别
普通函数 可以进行隐式类型转换
函数模板不可以进行隐式类型转换
函数模板和普通函数在一起调用规则：
- 如果出现重载，优先使用普通函数调用，如果普通函数没有实现，报错。
template <class T>
void mySwap(T& a, T& b)
{
T tmp = a;
a = b;
b = tmp;
}
void mySwap(int a, int b)
{
int tmp = a;
a = b;
b = tmp;
}
void test()
{
int a=10;
int b=20;
//模板更好匹配，普通函数需要的是int型数据
mySwap(a,b);
}
- 可以使用空模板实参列表的语法限定编译时只能通过模板匹配
mySwap<>(a,b);//空参
- 函数模板可以像普通函数那样可以被重载
- 如果函数模板可以产生一个更好的匹配，那么选择模板
template <class T>
void mySwap(T& a, T& b)
{
T tmp = a;
a = b;
b = tmp;
}
void mySwap(int a, int b)
{
int tmp = a;
a = b;
b = tmp;
}
void test()
{
char a='a';
char b='b';
//模板更好匹配，普通函数需要的是int型数据
mySwap(a,b);
}
模板实现机制
- 编译器并不是把函数模板处理成能够处理任何类型的函数
- 函数模板通过具体类型产生不同的函数
- 编译器会对函数模板进行两次编译，在声明的地方对模板代码本身进行编译，在调用的地方对参数替换后的代码进行编译
模板的局限性
模板不能解决所有的类型。
如果出现不能解决的类型，可以通过第三代具体化自定义数据类型，解决上述问题
如果具体化能够优先匹配，那么就选择具体化
语法
template<> 返回值 函数名<具体类型>(参数...){}
