函数模板

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<> 返回值 函数名<具体类型>(参数...){}