模板是c++实现泛型编程的基础,使用template关键字声明,允许编写适用于多种类型的代码。1. 模板分为函数模板和类模板,如template <typename t>void swap(t& a, t& b);2. 模板参数包括类型参数(typename或class定义)和非类型参数(如整数、指针);3. 模板通常需在头文件中完整定义,编译器自动推导参数;4. 注意避免代码膨胀,支持默认参数和特化等高级特性。

C++模板的基本语法其实并不复杂,但理解它背后的机制和使用方式是写出灵活、通用代码的关键。核心就是 template 关键字和模板参数的定义。

什么是模板?为什么要用 template?
模板是 C++ 中实现泛型编程的基础。简单来说,它允许我们写一段代码,适用于多种数据类型,而不需要为每种类型都重复写一遍。template 是声明模板的关键词,告诉编译器接下来的内容是一个模板定义。

比如:
立即学习“C++免费学习笔记(深入)”;
template <typename T>
void swap(T& a, T& b) {
T temp = a;
a = b;
b = temp;
}这段代码可以用于 int、double、甚至自定义类型,只要这些类型支持赋值操作。

模板参数的种类有哪些?
模板参数主要有两种:类型参数 和 非类型参数。
类型参数(最常用)
使用 typename 或 class 关键字定义,表示一个待定的类型:
template <typename T>
class Vector {
// ...
};虽然 typename 和 class 在这里可以互换,但建议统一使用 typename,语义更清晰。
非类型参数(常量表达式)
除了类型,模板还可以接受常量值作为参数,比如整数、指针等:
template <typename T, int N>
class Array {
T data[N];
};这样就可以在编译期指定数组大小:
Array<int, 10> arr; // 一个包含10个int的数组
模板的声明和定义方式
模板通常由两部分组成:模板声明 和 模板体。
基本结构如下:
template <参数列表> 函数或类定义
例如一个函数模板:
template <typename T>
T max(T a, T b) {
return (a > b) ? a : b;
}或者类模板:
template <typename T>
class Stack {
std::vector<T> elements;
public:
void push(const T& value);
T pop();
};需要注意的是:
- 模板不能像普通函数那样“先声明后定义”,一般要放在同一个头文件中。
- 编译器会根据调用时传入的类型自动推导模板参数(模板实参推导)。
常见问题与注意事项
模板不是万能的:模板生成的是多个实例,可能导致代码膨胀。
模板参数不一定是类型:如前面提到的非类型参数。
-
模板可以有默认参数:
template <typename T = int> class Container { // ... }; 模板之间可以嵌套,也可以偏特化、全特化,这部分属于进阶内容了。
基本上就这些。模板语法本身不难,但要真正用好,得结合实际场景去体会它的灵活性和强大之处。










