C++入门篇5---模板

相信大家都遇到过这么一种情况，为了满足不同类型的需求，我们要写多个功能相同，参数类型不同的代码，为此，C++引入了泛型编程这一概念，而模板就是实现泛型编程的基础，其实本质就是我们写一个类似”模板”的代码，当遇到不同类型需求时，编辑器会按照我们写的模板，自动生成对应类型的函数或类，来防止相似的代码写很多遍的情况。

举个例子，假设我们要写一个交换函数

//以前
void Swap(int& x,int& y){
    int tmp=x;
    x=y;
    y=tmp;
}

//....将类型换成我们需要的类型


//现在
//函数模板
template
void Swap(T& x,T& y){
    T tmp=x;
    x=y;
    y=tmp;
}

一、函数模板

函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本 

函数模板格式

template
返回值类型 函数名(参数列表){}

注意：这里class和typename都可以，template的作用有点像typedef，这里特别提醒一点，每写一个函数模板或类模板，都要单独写一个template<>

下面写一个加法函数模板

template
T Add(const T& x, const T& y)
{
    return x + y;
}

int main()
{
    cout << Add(1, 2) << endl;
    cout << Add(1.1, 2.2) << endl;
    return 0;
}

 底层实现：编辑器根据传的参数，自动推导类型，然后根据模板实例化函数，然后运行得出答案

函数模板的实例化---显式实例化和隐式实例化

上面的代码就是隐式实例化，即类型是编辑器自动推导的，不是我们给的，但是当参数的类型不同时( 如Add(1,1.2) )，编辑器就会出现问题，因为T可能是int，也可能是double

这时我们有两种选择

1.强转，将两个类型统一，这样隐式实例化就能成立

2.显式实例化，直接用Add表明T的类型，不用编辑器自动推动，

注意：如果有多个要根据顺序对应着写类型

代码如下

template
T Add(const T& x, const T& y)
{
    return x + y;
}
int main()
{
    //强转
    cout << Add(1, (int)1.2) << endl;
    cout << Add((double)1, 1.2) << endl;
    //显示类型转换
    cout << Add(1, 1.2) << endl;
    cout << Add(1,1.2) << endl;
    return 0;
}

 当函数模板和实体函数同时存在时，如果不显示调用，编辑器会默认调用已经存在的实体函数，如下

函数模板的匹配原则 

1. 一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函数

2. 对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数， 那么将选择模板

3. 模板函数不允许自动类型转换，但普通函数可以进行自动类型转换
 

二、类模板

类模板格式

template
class 类模板名
{
        // 类内成员定义
};

类模板的实例化

举个例子

template
class Vector
{
private:
    T* _a;
    size_t _size;
    size_t _capacity;
public:
    Vector(size_t n = 4)
        :_a(new T[n])
        ,_size(0)
        ,_capacity(n)
    {}

    //void push(T x);
    //...

    ~Vector();
};

template
Vector::~Vector()//在类外写定义要加类型名,即类名+<>,而在正常类中，类型名==类名
{
    delete[] _a;
    _size = _capacity = 0;
}


int main()
{
    Vectors1;//必须显式实例化
    Vectors2;
    return 0;
}