函数模板-泛式编程

1.语法

• 建立一个通用函数，其函数返回值和形参类型可以不具体指定，用一个虚拟的类型来代表。

template<typename T>

2.解释

• template--声明创建模板
• typename--表明其后面的符号是一种数据类型，可以用class代替
• T--通用数据类型，名称可以替换，通常用大写字母

3.例子

#include <iostream>
using namespace std;

template<class T>
void mySwap(T &a, T &b){
    T t = a;
      a = b;
      b = t;
}
int main(){
    int a = 10;
    int b = 20;
    cout << "交换前\nb = " << a << "\tb = " << b <<endl;
    //      自动推导，1->必须推导出一致的数据类型T，才能使用 2->模板必须要确定出T的数据类型，才可以使用
    mySwap(a,b);
    //    显示指定类型
    mySwap<int>(a,b);
    cout << "交换后\na = " << a << "\tb = " << b <<endl;
    return  0;
}

 4.练习，生成函数排序模板

 

5.函数模板与普通函数的区别：

• 普通函数调用时可以发生自动类型转换（隐式类型转换）
• 函数模板调用时，如果利用自动类型推导，不会发生隐式类型转换
• 如果利用显式指定类型的方式，可以发生隐式类型转换

查看代码

 #include <iostream>
using  namespace std;
template<class T>
T add_t(T a, T b){
    return a + b;
}

int add(int a, int b){
    return a + b;
}
int main(){
    int a = 10;
    int b = 20;
    char c = 'a';
    cout << add(a,c) << endl;   //107
    cout << add_t(a, c) << endl;    //报错，不会发生隐式类型转换
    cout << add_t<int>(a, c) << endl; //107

    return 0
}

6.普通函数与函数模板的调用规则

• 如果函数模板和普通函数都可以实现，优先调用普通函数
• 可以通过空模板参数列表来强制调用函数模板
• 函数模板也可以发生重载
• 如果函数模板可以产生更好的匹配，优点调用函数模板