【C++】泛型编程与模板

泛型编程

C++支持的泛型编程（Generic Programming）是一种编程范式，它允许在编写代码时使用抽象的数据类型，而不是具体的数据类型。这使得代码更加灵活、可重用，并能适应不同的数据类型，而无需为每种数据类型编写单独的代码。

泛型编程的主要特点包括：

1. 类型参数化：通过使用类型参数，可以编写适用于各种数据类型的代码，而无需显式指定具体的类型。
2. 代码重用：泛型允许编写一次代码，并在不同的上下文中重复使用，从而提高了代码的可重用性和可维护性。
3. 类型安全：泛型在编译时进行类型检查，确保类型的正确性，减少了运行时错误的可能性。
4. 性能优化：泛型代码在编译时会进行类型擦除或者代码专门化，生成针对具体类型优化的代码，从而获得更好的性能。

下面举几个交换函数的例子：

void Swap(int& left, int& right)
{
    int temp = left;
    left = right;
    right = temp;
}

void Swap(double& left, double& right)
{
    double temp = left;
    left = right;
    right = temp;
}

void Swap(char& left, char& right)
{
    char temp = left;
    left = right;
    right = temp;
}

这几个Swap要实现的功能都是一样的，即交换两个数的值，但如果我们不使用函数重载或者是函数模板，代码量就会增加很多，但我们一般会用用函数模板。

这是因为使用函数重载虽然可以实现，但是有一下几个不好的地方：

1. 重载的函数仅仅是类型不同，代码复用率比较低，只要有新类型出现时，就需要用户自己增加对应的函数
2. 代码的可维护性比较低，一个出错可能所有的重载均出错

下面要说到的模板就是泛型编程的基础

---

模板简介

C++ 模板（Template）是 C++ 语言提供的一种泛型编程机制，允许编写独立于具体数据类型的代码。模板可以用于函数和类，分别称为函数模板和类模板。

一. 函数模板

函数模板允许定义一个通用的函数，该函数可以适用于不同的数据类型，而无需为每种类型编写单独的函数。函数模板使用类型参数来表示通用的数据类型。

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

它的格式如下：

template<typename T1, typename T2,......,typename Tn>

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

比如上面提到的交换函数：

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

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

1. 函数模板的实例化

函数模板的实例化是指根据实际的函数调用，编译器自动生成具体类型的函数定义的过程。当使用函数模板时，编译器会根据传入的实参类型，自动推导模板参数的实际类型，并生成对应的函数定义。

函数模板实例化的过程如下：

1. 定义函数模板：使用template关键字定义一个通用的函数模板，其中使用一个或多个类型参数作为占位符。
2. 调用函数模板：在代码中调用函数模板，并传入具体的实参。
3. 编译器推导模板参数：编译器根据传入的实参类型，自动推导出模板参数的实际类型。
4. 生成具体函数定义：编译器根据推导出的实际类型，生成对应的函数定义，即将模板参数替换为实际类型。
5. 编译和链接：编译器将生成的具体函数定义编译为目标代码，并与其他代码一起链接生成可执行文件。

模板参数实例化分为：隐式实例化和显式实例化。

Ⅰ. 隐式实例化

  让编译器根据实参推演模板参数的实际类型

template <typename T>
void print(T value) {
    cout << value << endl;
}

int main() {
    int num = 42;
    double pi = 3.14;
    
    print(num);  // 编译器根据 num 的类型 int 自动生成 print<int>(int) 的函数定义
    print(pi);   // 编译器根据 pi 的类型 double 生成 print<double>(double) 的函数定义。
    
    return 0;
}

Ⅱ. 显式实例化

在函数名后的 <> 中指定模板参数的实际类型

template <typename T>
void print(T value) {
    cout << value << endl;
}

int main() {
    int num = 42;
    double pi = 3.14;
    
    print<int>(num); 
    print<double>(pi);   
    
    return 0;
}

 需要注意的是：如果类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功编译器将会报错。

---

2. 函数模板与普通函数的调用/匹配规则

有以下几点：

1. 如果函数模板和普通函数都可以调用，会优先调用普通函数
2. 通过空模板参数列表可以强制调用函数模板

// 专门处理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<>(1, 2); // 调用编译器特化的Add版本
}

     3. 函数模板也可以发生函数重载

     4. 如果函数模板可以产生更好的匹配，会优先调用函数模板

👉所以说，提供了函数模板时，最好不要再提供普通函数。

---

二. 类模板

类模板允许程序员编写通用的类定义。通过使用类模板，可以创建适用于多种数据类型的类，而无需为每种数据类型编写单独的类定义。

类模板的主要特点包括:

1. 参数化类型：类模板可以接受一个或多个类型参数，这些参数在类定义中用作占位符。在实例化类模板时，需要提供具体的类型参数。
2. 代码重用：通过使用类模板，可以编写适用于各种数据类型的通用代码，避免了代码重复。
3. 编译时多态：类模板在编译时进行实例化，根据提供的类型参数生成具体的类定义。这种多态性在编译时确定，不会带来运行时开销。

它的格式如下：

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

下面是一个简单的示例：

template <class T>
class Stack {        // Stack 是一个类模板,接受一个类型参数 T
private:             // 通过使用 T 作为数据类型,Stack 类模板可以适用于各种数据类型,如 int 等
    T* data;
    int size;
    int capacity;

public:
    Stack(int cap = 10) : data(new T[cap]), size(0), capacity(cap) {}
    
    // 析构
    ~Stack() {
        delete[] data; 
    }
    // 插入
    void push(const T& item) {
        if (size == capacity) {
            // 扩容操作
        }
        data[size++] = item;
    }
    
    T pop() {
        if (size == 0) {
            // 处理栈为空的情况
        }
        return data[--size];
    }

    // 其他成员函数...
};

类模板的实例化

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

Stack<int> intStack;

Stack<double> doubleStack;

Stack<std::string> stringStack;