函数模板和类模板通过template定义，支持类型自动推导与显式指定，实现泛型编程；函数模板用于通用逻辑，如max(T a, T b)；类模板构建类型无关容器，如Stack<T>，成员函数需重申模板；模板代码须在头文件中定义，支持多类型参数及非类型参数（如int N），实例化时生成独立类型，是STL设计基础。

模板是C++中实现泛型编程的核心工具，它允许我们编写与数据类型无关的通用代码。通过函数模板和类模板，可以为多种类型复用同一套逻辑，提高代码的灵活性和可维护性。下面介绍如何创建和使用C++中的函数模板与类模板。

函数模板的定义与使用

函数模板用于生成针对不同类型的函数版本。使用template关键字声明模板参数，通常配合typename或class关键字指定类型占位符。

定义语法：

template <typename T>
T max(T a, T b) {
    return (a > b) ? a : b;
}

这里T是类型参数，在调用时会被实际类型自动推导。例如：

立即学习“C++免费学习笔记（深入）”；

int x = max(3, 5); // T 被推导为 int
double y = max(2.5, 7.1); // T 被推导为 double

也可以显式指定类型：

max<float>(3.0f, 4.0f);

当函数参数类型不一致时，显式指定有助于避免编译错误。

类模板的定义与实例化

类模板允许我们定义一个通用类，其中部分成员（如变量、函数）依赖于未知类型。常见于容器类如std::vector、std::stack等。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

定义示例：

template <typename T>
class Stack {
private:
    T data[100];
    int topIndex;
public:
    Stack() : topIndex(-1) {}
    void push(const T& value);
    T pop();
    bool empty() const { return topIndex == -1; }
};

// 成员函数在类外定义需再次标明模板
template <typename T>
void Stack<T>::push(const T& value) {
    if (topIndex < 99) {
        data[++topIndex] = value;
    }
}

template <typename T>
T Stack<T>::pop() {
    return data[topIndex--];
}

使用方式：

Stack<int> intStack;
intStack.push(10);
intStack.push(20);
while (!intStack.empty()) {
    std::cout << intStack.pop() << " "; // 输出 20 10
}

每个不同的类型实例都会生成独立的类副本，如Stack<int>和Stack<double>是两个不同的类型。

模板的注意事项与技巧

模板代码必须在头文件中定义，因为编译器需要在编译时看到完整实现才能进行实例化。不能像普通函数那样将声明与定义分离到cpp文件中。

支持多个模板参数：

template <typename K, typename V>
class Map { ... };

也可使用非类型模板参数，比如整型常量：

template <typename T, int N>
class Array {
    T data[N];
};
Array<double, 10> arr; // 固定大小数组

注意非类型参数只能是编译期常量，如字面值、const表达式等。

基本上就这些。掌握函数模板和类模板的基本写法后，就能理解STL中许多组件的设计原理，也为后续学习更高级的模板技术打下基础。不复杂但容易忽略细节，多写几个例子会更清楚。