C++:模板

泛型编程:编写与类型无关的通用代码，是服用代码的一种手段，模板是泛型编程的基础

函数模板

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

格式

• template<typename T1,typename T2,…typename Tn>
• 返回值类型 函数名(参数列表){}
• typename是定义模板参数的关键字，也可以使用Class，不可用struct

template<typename T>
void Swap(T& left,T& right){
    T temp = left;
    left = right;
    right = temp;
}

int main(){
    int a = 0,b = 1;
    double aa = 0.11,bb = 2.11;
    Swap(a,b);
    Swap(aa,bb);//两者不是一个函数，
    return 0;
}

• 模板是一个蓝图，她本身并不是函数，是编译器用使用方式产生特定的具体类型函数的模具，所以其实模板是将本来应该我们做的重复的事情交给了编译器；

函数模板的实例化

• 用不同类型的参数使用函数模板时，成为函数模板的实例化。模板参数实例化分为：
• 隐式实例化：让编译器根据实参推演模板参数的实际模型

 template<class T>
T Add(const T& left, const T& right){
    return left + right;
}
int main(){
    int a1 = 10, a2 = 20;
    double d1 = 10.0, d2 = 20.0;
    Add(a1, a2);
    Add(d1, d2);
    //Add(a1, d1);
    Add(a, (int)d);
    return 0;
}

• Add(a1, d1);该语句不能通过编译，因为在编译期间，当编译器看到该实例化时，需要推演其实参类型通过实参a1将T推演为int，通过实参d1将T推演为double类型，但模板参数列表中只有一个T，编译器无法确定此处到底该将T确定为int 或者 double类型而报错；
• 注意：在模板中，编译器一般不会进行类型转换操作，因为一旦转化出问题，编译器就需要背黑锅，
• 此时有两种处理方式：1. 用户自己来强制转化 2. 使用显式实例化
• 显式实例化：在函数名后的<>中指定模板参数的实际类型

int main(){
    int a = 10;
    double b = 20.0;
    Add<int>(a, b);
    return 0;
}

• 如果类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功编译器将会报错。

函数模板匹配原则

• 一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函
  数
• 对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模
  板产生出一个实例。如果模板可以产生一个具有更好匹配的函数，那么将选择模板
• 模板函数不允许自动类型转换，但普通函数可以进行自动类型转换
• 指定或者现成函数数据不太匹配我就用模板，否则我就用现成

int add(int  left,int right){
    return left+right;
}
template<classT1,classT2>
T1 add(T1 left,T2 right){
    return left+right;
}
void Test(){
    add(1,2);//不用现成当我傻啊
    add(1,2.0);//现成的形参不太匹配，用模板自己做喽
    add<int,int>(1,2);//指定了用模板就用模板吧；
    add<>(1,2);//也是指定的了
}

类模板

• 类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<>中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。

格式

• 以实现一个顺序表为例：

template<class T>
class Vector{//C++库的顺序表名称
public:
    Vector(）
        :_a(nullptr)
        ,_capacity(0)
        ,_size(0)
     {}
    ~Vector(){
        if(_a){
        delete[] _a;
        _size = _capacity = 0;
        }
    }
    void PushBack(const T& x){
        if(_size==_capacity){
            size_t newcapacity = _capacity==0?3:(2*_capacity);//不频繁增容，减少开销，减少耦合
            T* tmp = new T[newcapacity];
            if(_a){
                memcpy(tmp,_a,sizeof(T)*_size);
                delete[] _a;
            }
            _a = tmp;
            _capacity = newcapacity;
        }
        _a[_size] = x;
        _size++;
    }
    T& operator[](size_t pos){//写引用返回不会再临时拷贝（这样是常值，无法赋值）使得可以在类外v1[2] = 3;可以直接写入；
        return _a[pos];
    }
   size_t Size(){
        return _size;
    }
private：
    T* _a;
    size_t _size;
    size_t _capacity;
};
int main(){
    Vector<int>v1;
    v1.PushBack(1);
    Vector<double>v2;
    v1[0] = 2;
    for (size_t i =0;i<v1.Szie();++i){
        cout<<v1[i]<<" ";
    }
    count<<endl;
    return 0;
}

了解STL库

向上面的vector在STL库里是有封装好的，我们只需要引用相关的头文件，直接使用即可；

• STL(standard template libaray-标准模板库)：是C++标准库的重要组成部分，不仅是一个可复用的组件库，而且是一个包罗数据结构与算法的软件框架;
• STL的版本：原始版本/P. J. 版本/RW版本/SGI版本
• 六大组件:
  
  yo~
  yo~
  如果觉得不错~
  请别忘了点个赞~
  Bro你的鼓励~
  给我坚持的勇气~
  Peace out~