C++模板（template）怎么用？C++函数模板与类模板教程【泛型编程】

模板是C++泛型编程核心，用于函数和类的类型参数化；支持类型、整型常量及模板模板参数；需权衡必要性，避免滥用。

模板是 C++ 实现泛型编程的核心工具，它让代码能适配多种类型而不用重复写逻辑。关键不是“怎么写模板”，而是“什么时候用、怎么写得安全好用”。下面直接讲实用要点。

函数模板：让一个函数支持多种类型

当你发现几个函数只有参数类型不同，其他逻辑完全一样，就该上函数模板了。

写法很简单：

<font size="2">template <typename T><br>void swap(T& a, T& b) {<br>    T temp = a;<br>    a = b;<br>    b = temp;<br>}</font>

登录后复制

说明：
• typename T 是占位符，编译器会在调用时自动推导出实际类型（比如 int、string）；
• 也可以用 class T，效果一样，但推荐用 typename，语义更清晰；
• 调用时通常不用显式写类型，swap(x, y) 编译器自己就能猜；如果推导失败（比如参数类型不一致），才需要手动指定：swap(a, b)。

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

注意点：
• 模板函数不生成代码，直到被真正调用才会实例化；
• 如果传入的类型不支持某操作（比如对自定义类用了 +，但没重载），编译会报错，错误信息可能很长——这是模板的“硬伤”，C++20 的 concept 能缓解；
• 避免过度泛化，比如一个只打算处理数值的函数，别让它意外接受 string。

类模板：让整个类支持多种类型

当类的成员变量、成员函数都依赖某个可变类型时，就用类模板。典型例子是 vector、stack、map。

写法示例：

<font size="2">template <typename T><br>class Stack {<br>private:<br>    std::vector<T> data;<br>public:<br>    void push(const T& x) { data.push_back(x); }<br>    T pop() {<br>        T x = data.back();<br>        data.pop_back();<br>        return x;<br>    }<br>    bool empty() const { return data.empty(); }<br>};</font>

登录后复制

使用方式：
• Stack s1;
• Stack<:string> s2;
• 每个具体类型都会生成一份独立的类代码（比如 Stack 和 Stack 是两个完全不同的类）。

提醒：
• 类模板的声明和定义通常要放在头文件里（多数编译器不支持分离 .h + .cpp）；
• 成员函数本身也是模板，但属于外层类模板的上下文，不需要再写 template；
• 如果要特化某个类型的行为（比如针对 bool 做空间优化），可用全特化或偏特化（C++17 后偏特化仅限类模板）。

标签： 工具 c++ red