C++模板是C++语言支持泛型编程的核心特性，它允许开发者编写与具体数据类型无关的代码，通过参数化的方式让同一套逻辑适配多种不同的数据类型，是提升代码复用性的重要手段。泛型编程的基本思想就是将算法与数据类型解耦，把数据类型作为参数传递给算法，让算法可以处理任意符合约束的类型，减少重复代码的编写。
C++模板的基本概念
C++模板本质上是一种代码生成机制，编译器会根据开发者使用模板时传入的具体类型，自动生成对应类型的代码。模板主要分为两类：模板函数和模板类。
模板函数
模板函数是支持泛型参数的函数，我们可以用它实现适用于多种类型的相同逻辑。比如我们需要实现一个交换两个变量值的函数，如果不使用模板，需要为int、double、string等不同类型分别编写函数：
// 普通交换函数，仅支持int类型
void swap_int(int& a, int& b) {
int temp = a;
a = b;
b = temp;
}
// 普通交换函数，仅支持double类型
void swap_double(double& a, double& b) {
double temp = a;
a = b;
b = temp;
}
使用模板函数之后，只需要编写一份逻辑即可适配所有可交换的类型：
// 模板交换函数，T是类型参数
template <typename T>
void swap_value(T& a, T& b) {
T temp = a;
a = b;
b = temp;
}
当我们调用这个模板函数时，编译器会自动推导T的类型，生成对应类型的函数代码：
#include <iostream>
#include <string>
using namespace std;
template <typename T>
void swap_value(T& a, T& b) {
T temp = a;
a = b;
b = temp;
}
int main() {
int a = 10, b = 20;
swap_value(a, b); // 编译器推导T为int，生成int版本的swap_value
cout << "a: " << a << ", b: " << b << endl;
double c = 1.5, d = 2.5;
swap_value(c, d); // 编译器推导T为double，生成double版本的swap_value
cout << "c: " << c << ", d: " << d << endl;
string e = "hello", f = "world";
swap_value(e, f); // 编译器推导T为string，生成string版本的swap_value
cout << "e: " << e << ", f: " << f << endl;
return 0;
}
模板类
模板类是将类型参数化的类，最常见的例子就是C++标准库中的vector、map等容器，它们可以存储任意类型的元素。我们也可以自定义模板类，比如实现一个简单的泛型栈：
#include <iostream>
#include <vector>
using namespace std;
// 模板栈类，T是存储的元素类型
template <typename T>
class Stack {
private:
vector<T> elements;
public:
// 入栈
void push(const T& elem) {
elements.push_back(elem);
}
// 出栈
void pop() {
if (!elements.empty()) {
elements.pop_back();
}
}
// 获取栈顶元素
T top() const {
if (!elements.empty()) {
return elements.back();
}
throw runtime_error("Stack is empty");
}
// 判断栈是否为空
bool empty() const {
return elements.empty();
}
};
int main() {
// 存储int类型的栈
Stack<int> intStack;
intStack.push(1);
intStack.push(2);
cout << "int栈顶: " << intStack.top() << endl;
// 存储string类型的栈
Stack<string> strStack;
strStack.push("C++");
strStack.push("模板");
cout << "string栈顶: " << strStack.top() << endl;
return 0;
}
泛型编程的基本思想
泛型编程的核心目标是算法与数据类型解耦，它的基本思想可以总结为以下几点：
- 将数据类型作为参数进行传递，而不是将数据类型硬编码在代码中
- 同一套算法逻辑可以适配多种不同的数据类型，只要这些类型支持算法中用到的操作
- 在编译期完成类型的绑定和代码的生成，不会带来运行期的额外性能开销
泛型编程和面向对象编程的思路有所不同：面向对象编程是通过继承和多态实现代码的复用，关注的是类型的层级关系；而泛型编程关注的是算法的通用性，只要类型满足算法的操作要求，就可以使用该算法，不需要类型之间存在继承关系。
模板的注意事项
使用C++模板时需要注意几个常见问题：
- 模板的代码通常需要在头文件中实现，因为编译器需要在编译期看到完整的模板定义才能生成对应类型的代码，如果模板的实现放在cpp文件中，其他文件调用时可能无法找到对应的模板实例。
- 模板支持多个类型参数，比如
template <typename T, typename U>可以定义两个类型参数，适配需要两种不同类型的场景。 - 模板也支持非类型参数，比如
template <typename T, int size>中的size就是一个非类型参数，可以传递常量值。
模板是C++中非常强大的特性，合理使用模板可以大幅减少重复代码，提升项目的可维护性，但过度使用模板也可能会导致代码可读性下降，编译时间变长，需要根据实际场景权衡使用。