函数模板和类模板是C++泛型编程的基础，通过template定义通用代码，编译器根据参数自动实例化；函数模板支持类型推导与显式指定，类模板可含类型和非类型参数，常用于容器设计；模板需在头文件中定义以供实例化，避免分离编译导致链接错误；可通过全特化定制特定类型行为，类模板支持偏特化，函数则通过重载模拟；掌握模板有助于编写高效、复用性强的代码。
模板是C++中实现泛型编程的核心工具，它允许我们编写与数据类型无关的通用代码。通过模板，函数和类可以处理多种类型，而无需为每种类型重复编写逻辑。掌握函数模板和类模板是理解现代C++编程的重要一步。
函数模板的基本语法与使用
函数模板用于定义一个通用函数，编译器会根据调用时传入的参数类型自动生成对应的函数实例。
定义函数模板使用template关键字，后跟模板参数列表，然后是函数定义。
示例：编写一个通用的比较函数：
立即学习“C++免费学习笔记（深入）”；
template <typename T><br>
T max(T a, T b) {<br>
return a > b ? a : b;<br>
}
这里typename T表示T是一个待定的类型。也可以使用class T，两者在模板中等价。
调用时可以直接传入具体类型值，编译器自动推导：
int x = 5, y = 10;<br> int result = max(x, y); // 编译器推导T为int
也可以显式指定类型：
double res = max<double>(3.14, 2.71);
注意：模板函数只有在被调用时才会实例化，这称为“延迟实例化”。
类模板的定义与实例化
类模板用于创建通用的数据结构或容器，比如标准库中的vector、list等都是类模板。
类模板同样使用template关键字定义，模板参数可用于类的成员变量和成员函数。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
定义一个简单的数组包装类：
template <typename T, int N><br>
class Array {<br>
private:<br>
T data[N];<br>
public:<br>
T& operator[](int index) { return data[index]; }<br>
int size() const { return N; }<br>
};
这个类模板接受一个类型参数T和一个非类型参数N（数组大小）。
使用时必须指定模板实参：
Array<int, 10> arr; // 创建一个包含10个int的数组<br> arr[0] = 100;<br> std::cout << arr.size(); // 输出10
每个不同的模板实参组合都会生成一个独立的类实例。
模板的常见注意事项
模板代码通常需要将声明和定义放在同一个头文件中，因为编译器需要看到完整的模板定义才能实例化。
以下情况可能导致编译错误：
- 模板定义放在.cpp文件中，仅在.h中声明 —— 链接时找不到实例
- 使用不支持某些操作的类型，如对没有重载<的类型使用max函数
- 模板参数推导失败，例如函数参数涉及指针或引用的复杂匹配
解决方法包括显式指定模板参数、提供特化版本或约束模板条件（C++20 concepts）。
模板特化与偏特化简介
当希望对特定类型提供不同实现时，可以使用模板特化。
全特化是指为特定类型组合完全重写模板：
template <><br>
class Array<bool, 8> {<br>
// 特殊实现，比如位存储优化<br>
};
偏特化适用于类模板，针对部分模板参数进行特化，例如：
template <typename T><br>
class Array<T, 1> {<br>
// 所有大小为1的数组特殊处理<br>
};
注意函数模板不支持偏特化，但可以通过重载实现类似效果。
基本上就这些。模板是C++强大表达力的基础，理解函数模板和类模板的使用方式，能帮助你写出更灵活、可复用的代码。刚开始可能会遇到编译错误较多，熟悉后会发现其逻辑清晰且高效。
