C++ 模板学习

模板概念的提出：

我们在学习C语言的时候，比如要交换俩个 int 数值的时候，我们会手动的实现一个整数的 Swap() 函数，到了下一个需要交换俩个 double 数值时候，又要实现自主的 double 的Swap() 函数。以此类推，通过函数重载也可以实现Add() 类似的工作。但是这种方法非常耗时费力的工作，抛开这个问题不说，这些类型不同的函数再被用到的几率很小，所以会导致维护性较低。正是因为这样的原因，C++ 引入了模板这种概念。模板有分为函数模板和类模板。我们以下依次介绍。

• 模板的定义
  函数模板是可以使用泛型类型操作的特殊函数。这允许我们创建一个功能模板，其功能可以适应多种类型或类，而不必重复每种类型的整个代码。

• 泛型编程
  泛型编程是一种编程风格，其中算法以尽可能抽象的方式编写，而不依赖于将在其上执行这些算法的数据形式。

那么在 C++中如何实现无关乎类型的通用的交换函数呢？

模板的使用

• 模板使用语法

`template<typename T1, typename T2, …,typename Tn>

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

实践

• 完成无关乎数据类型的交换函数

template<class T>
void Swap(T& x, T& y){
     T tmp = x;
     x = y;
     y = tmp;
}

注意：class是用来定义模板参数关键字，也可以使用 typename(切记：不能使用struct代替class)

使用模板对不同类型数据进行交换：

int main(){
     int a = 10, b = 8;
     double c = 0.8, d = 1.2;
    
     Swap(a, b);
     Swap(c, d);
     
     cout << a << endl;
     cout << b << endl;
     cout << c << endl;
     cout << d << endl;
     return 0;
}

实现效果：

可以看到的是，我们只写了一个模板函数，就可以对 double和 int数据都可以进行交换。

函数模板实现的原理

对于交换函数来说，对于不同类型的数据的交换功能，本来应该我们人为的手动实现这些重复的工作。但是为了方便便捷我们将这样的工作交给编译器来做，编译器根据我们传入的参数推演出了完成这些功能的模具。

• 实现的步骤
  
• 实现原理
  编译器根据传入的实参类型，将 T 转换为实参类型进行编译。

函数模板的实例化

用不同类型的参数使用函数模板时，称为函数模板的实例化。

• 模板实例化分为：

1. 隐式实例化
   让编译器根据实参推演出模板参数的实际类型。
2. 显示实例化

我们在隐式实例化中传入的实参类型相同，同时为 int或 double，但是我们同时传入不同类型的时候，编译器无法根据实参类型推演出模板参数的类型。这时候就要我们用户强制转换或者使用显示实例化来实现。

• 实践

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<int>(a1, d1);   //显示实例化
    Add(a1, (int)d1);    //用户自定义

当我们不进行自定义和显示实例化时；如果类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功编译器将会报错。因为编译器不想自作主张，编译器也是怕背黑锅滴~~~开个玩笑。

模板参数匹配原则

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

// 专门处理int的加法函数
int Add(int left, int right)
{
    return left + right;
}
// 通用加法函数
template<class T>
T Add(T left, T right)
{
    return left + right;
}

void Test()
{
    Add(1, 2); // 与非模板函数匹配，编译器不需要特化
    Add<int>(1, 2); // 调用编译器特化的Add版本
}

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

// 专门处理int的加法函数
int Add(int left, int right)
{
    return left + right;
}
// 通用加法函数
template<class T1, class T2>
T1 Add(T1 left, T2 right)
{
    return left + right;
}

void Test()
{
    Add(1, 2); // 与非函数模板类型完全匹配，不需要函数模板实例化
    Add(1, 2.0); // 模板函数可以生成更加匹配的版本，编译器根据实参生成更加匹配的Add函数
}

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

类模板

类模板的声明格式

template<class T1, class T2, ..., class Tn>
class 类模板名
{
    // 类内成员定义
};

• 实践（对于 String类的自定义框架）----伪代码

template<class T>
class String{

private:
    char *array;
    size_t size;
    size_t capacity;
};

类模板的实例化

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