描述一下 C++ 中的模板（template）和泛型编程。

C++ 中的模板是一种支持泛型编程的机制。泛型编程是一种编程范式，它允许程序员编写出可以处理多种数据类型的代码，而不必在编译时就确定具体的数据类型。这种编程方式提供了灵活性和可重用性，因为编写的代码可以用于多种不同的数据类型，而不需要为每种数据类型编写不同的代码。

在 C++ 中，模板主要用于创建泛型类和泛型函数。以下是模板的一些关键特点：

1. 类型参数化：模板允许你定义类或函数时，使用类型参数，这些参数在模板被实例化时才确定。

2. 编译时多态：模板实现的是一种编译时多态，这意味着模板的具体实现在编译时根据传入的类型参数生成。

3. 代码复用：通过模板，可以编写一个算法或数据结构，使其适用于多种不同的数据类型。

4. 模板类：使用模板可以定义类，这些类可以处理任何类型的数据，只要它们在实例化时被指定。

5. 模板函数：模板函数允许你定义一个函数，它可以操作任何类型的数据，只要这些数据类型满足函数所需的操作。

6. 模板特化：模板可以被特化，这意味着你可以为特定类型提供模板定义的特定版本。

7. 模板元编程：模板还支持模板元编程，这是一种在编译时执行计算的编程技术，通过编译器的递归展开和优化来实现。

下面是一个简单的模板类和模板函数的例子：

#include <iostream>

// 模板类
template <typename T>
class Stack {
private:
    T* elements;
    int size;
    int top;
public:
    Stack(int stackSize) {
        elements = new T[stackSize];
        size = stackSize;
        top = -1;
    }
    ~Stack() {
        delete[] elements;
    }
    void push(const T& item) {
        if (top < size - 1) {
            elements[++top] = item;
        } else {
            std::cout << "Stack overflow" << std::endl;
        }
    }
    T pop() {
        if (top >= 0) {
            return elements[top--];
        } else {
            std::cout << "Stack underflow" << std::endl;
            return elements[0]; // 通常这里应该抛出异常
        }
    }
};

// 模板函数
template <typename T>
T max(T a, T b) {
    return (a > b) ? a : b;
}

int main() {
    Stack<int> intStack(10);
    Stack<double> doubleStack(10);

    intStack.push(1);
    intStack.push(2);

    doubleStack.push(1.1);
    doubleStack.push(2.2);

    std::cout << "Max of 5 and 10 is: " << max(5, 10) << std::endl;
    std::cout << "Max of 5.5 and 10.1 is: " << max(5.5, 10.1) << std::endl;

    return 0;
}

在这个例子中，Stack 是一个模板类，它可以处理任何类型的数据。max 是一个模板函数，它可以比较任意两个相同类型的值并返回较大的一个。通过这种方式，C++ 的模板提供了一种强大的方法来编写灵活且可重用的代码。