C++中的泛型

C++中的泛型编程是一种编程范式，它允许程序员编写与类型无关的代码。通过使用模板（Templates），C++程序员可以创建能够处理多种数据类型的函数和类，而无需为每种数据类型重复代码。这种技术提高了代码的重用性和灵活性。

泛型编程的核心概念

1. 模板：模板是C++泛型编程的基础。它允许程序员定义一个函数或类的蓝图，其中类型被指定为占位符（类型参数）。当模板被实例化时，编译器会用具体的类型替换这些占位符。

2. 类型参数：在模板定义中，类型参数用尖括号（<>）括起来，并放在函数或类名之后。例如，template <typename T>定义了一个接受单个类型参数T的模板。

3. 模板实例化：当编译器遇到模板的调用时，它会用提供的实际类型替换模板中的类型参数，并生成相应的代码。这个过程称为模板实例化。

函数模板示例

函数模板允许你定义一个函数，该函数可以与多种类型一起工作。以下是一个简单的函数模板示例，它计算两个值的和：

#include <iostream>  
  
// 定义一个函数模板，名为add，它接受两个相同类型的参数并返回它们的和  
template <typename T>  
T add(T a, T b) {  
    return a + b;  
}  
  
int main() {  
    std::cout << "Sum of 3 and 5 is " << add(3, 5) << std::endl;         // 对于int类型  
    std::cout << "Sum of 3.14 and 2.71 is " << add(3.14, 2.71) << std::endl; // 对于double类型  
    std::cout << "Sum of 'a' and 'b' is " << static_cast<char>(add(static_cast<int>('a'), static_cast<int>('b'))) << std::endl; // 注意：char类型相加需要特殊处理，因为'a'和'b'在ASCII表中是整数  
    // 更优雅的字符处理方式可能是直接处理ASCII值或使用std::string（如果逻辑允许）  
    return 0;  
}

注意：在字符相加的例子中，由于字符在C++中是以ASCII值存储的，所以直接相加会得到两个字符ASCII值的和。为了将结果转换回字符，这里使用了static_cast进行类型转换。然而，这种处理方式通常不是处理字符相加的最佳方式，因为它依赖于ASCII编码，并且可能不是用户期望的行为（例如，它不会给出字母表中的下一个字母）。在实际应用中，处理字符时可能需要更复杂的逻辑。

类模板示例

类模板允许你定义一个类，该类可以与多种类型一起实例化。以下是一个简单的类模板示例，它实现了一个简单的数组类：

#include <iostream>  
#include <stdexcept>  
  
// 定义一个类模板，名为Array，它接受一个类型参数T和一个大小参数N  
template <typename T, std::size_t N>  
class Array {  
private:  
    T data[N]; // 使用固定大小的数组来存储元素  
  
public:  
    // 构造函数，初始化数组元素为0（对于内置类型）  
    Array() {  
        for (std::size_t i = 0; i < N; ++i) {  
            data[i] = T(); // 使用T的默认构造函数  
        }  
    }  
  
    // 设置数组元素的值  
    void set(std::size_t index, T value) {  
        if (index >= N) {  
            throw std::out_of_range("Array<>::set(): index out of range");  
        }  
        data[index] = value;  
    }  
  
    // 获取数组元素的值  
    T get(std::size_t index) const {  
        if (index >= N) {  
            throw std::out_of_range("Array<>::get(): index out of range");  
        }  
        return data[index];  
    }  
};  
  
int main() {  
    Array<int, 5> intArray; // 创建一个存储5个int类型元素的数组  
    Array<double, 3> doubleArray; // 创建一个存储3个double类型元素的数组  
  
    // 使用intArray  
    intArray.set(0, 10);  
    intArray.set(1, 20);  
    std::cout << "Element at index 0 of intArray: " << intArray.get(0) << std::endl; // 输出10  
    std::cout << "Element at index 1 of intArray: " << intArray.get(1) << std::endl; // 输出20  
  
    // 使用doubleArray  
    doubleArray.set(0, 1.1);  
    doubleArray.set(1, 2.2);  
    doubleArray.set(2, 3.3);  
    std::cout << "Element at index 1 of doubleArray: " << doubleArray.get(1) << std::endl; // 输出2.2  
  
    return 0;  
}

        在这个例子中，Array类模板接受两个参数：类型T和大小N。它提供了一个固定大小的数组来存储元素，并提供了设置和获取数组元素的方法。通过实例化Array类模板，可以创建具有不同类型和大小的数组对象。