模板是c++++实现泛型编程的基础,使用template关键字声明,允许编写适用于多种类型的代码。1. 模板分为函数模板和类模板,如template

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

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

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

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









