C++ 61 之函数模版

#include <iostream>
#include <string>
using namespace std;

void swapInt(int &a,int &b){
    int temp = a;
    a = b;
    b = temp;
}

void swapDou(double& a, double& b){
    double temp = a;
    a = b;
    b = temp;
}

// T代表通用数据类型，紧接着后面的代码，出现T，代表通用数据类型 只能下面紧挨着的函数能用
template<typename T>    
// 写法1：自动类型推导，推导出的数据类型 必须一致才行
void newSwap(T &a, T &b){
    T temp = a;
    a = b;
    b = temp;
}

// 只能下面紧挨着的函数能用
// 模板不能单独使用，务必要指定出T才可以使用
template<typename T>
void newSwap2(){

}

int main()
{
    int a = 1;
    int b = 2;
    double c2 = 2.2;

    // 写法1：自动类型推导
    // swapInt(a, b);
    // newSwap(a, b);
    // newSwap(a, c2); // 报错 两个参数类型务必一致

    // 写法2：显示指定类型
    newSwap<int>(a,b);

    cout << "a: " << a << endl;
    cout << "b: " << b << endl;

    // newSwap2(); // 自动类型推导写法如果不再函数中指定T，就无法调用函数

    newSwap2<int>(); // 显示指定类型写法指定了T的类型，才可以调用 


    // double c = 1.1;
    // double d = 2.2;
    // swapDou(c, d);
    // cout << "c: " << c << endl;
    // cout << "d: " << d << endl;
    // newSwap(c, d);


    return 0;
}

c++提供了函数模板(function template.)所谓函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体制定，用一个虚拟的类型来代表。这个通用函数就成为函数模板。凡是函数体相同的函数都可以用这个模板代替，不必定义多个函数，只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中的虚拟类型，从而实现不同函数的功能。泛型编程