C++基础——模板

1 概述

模板是一种较为通用的模具，不能单独使用
C++除了面向对象编程之外，还有一种是泛型编程，使用的就是模板
C++中提供了两种模板：函数模板，类模板

2 函数模板

2.1 使用函数模板

函数模板的作用是建立一个通用的函数，其返回值类型和形参类型可以不具体定制，用一个虚拟的类型来代表
语法：

template<typename T>
函数

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

#include <iostream>

using namespace std;

template<typename T>
void mySwap(T &a, T &b) {
   
    T temp = a;
    a = b;
    b = temp;
}

int main() {
   
    int a = 10;
    int b = 20;
    mySwap(a, b);
    cout << "a = " << a << endl;
    cout << "b = " << b << endl;

    string c = "111";
    string d = "222";
    mySwap<string>(c, d);
    cout << "c = " << c << endl;
    cout << "d = " << d << endl;
    return 0;
}

使用模板有两种方式，一种是自动推导类型，一种是显示指定类型
这里使用模板，可以传入多种类型的参数，当int类型参数传入的时候，T被推导成int类型，当string类型参数传入的时候，T被推导成string类型。

2.2 函数模板注意事项

函数模板定义于函数前，只能用于其后的第一函数，且函数模板必须推导出一致的类型

int a = 10;
char b = 'a';
mySwap(a, b);

编译失败，因为推导不出一致的类型

template<typename T>
void func() {
   
    cout << "func" << endl;
}

int main() {
   
//    func();
    func<int>();
}

必须推导出具体的类型，函数模板才能够正常调用，否则编译失败

2.3 普通函数和函数模板的区别

普通函数可以发生自动类型转换，函数模板如果使用自动类型推导，则不会发生类型的隐式转换。如果函数模板使用显示类型，则可以发生隐式转换

template<typename T>
int addNum(T a, T b) {
   
    return a + b;
}

int main() {
   
    int a = 10;
    int b = 20;
    addNum(a, b);
    //addNum(a, c);
    char c = 'a';
    addNum<int>(a, c);
}

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

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

#include <iostream>

using namespace std;

void print(int a, int b) {
   
    cout << "普通函数" << endl;
}

template<typename T>
void print(T a, T b) {
   
    cout << "函数模板" << endl;
}

template<typename T>
void print(T a, T b, T c) {
   
    cout << "重载的函数模板" << endl;
}

int main() {
   
    int a = 10;
    int b = 20;
    // 调用普通函数
    print<