模板是C++泛型编程的核心，通过函数模板和类模板实现类型无关的通用代码。1. 函数模板如template T max(T a, T b)可自动推导类型，支持隐式调用max(3, 5)或显式指定max(3, 4.5)。2. 类模板如template class Array可用于构建通用容器，支持类型参数和非类型参数（如数组大小N），实例化时需提供具体值，如Array arr。3. 模板特化允许对特定类型定制行为，例如为char*提供专用print版本输出“String: ”。4. 模板定义通常置于头文件中以便编译器实例化，支持多类型参数及可变参数模板，提升代码复用与灵活性。
模板是C++中实现泛型编程的核心工具，它允许我们编写与数据类型无关的通用代码。通过模板，函数和类可以适用于多种类型，而无需为每种类型重复编写逻辑。下面从基础用法讲起，帮助你快速掌握C++模板编程。
函数模板的基本使用
函数模板用于定义一个通用函数，编译器会根据调用时传入的参数类型自动推导并生成对应的函数实例。
示例：编写一个能比较两个值大小的函数：
template
T max(T a, T b) {
return a > b ? a : b;
}
调用方式：
立即学习“C++免费学习笔记（深入）”；
int x = max(3, 5); // T 被推导为 int
double y = max(2.5, 3.1); // T 被推导为 double
注意：两个参数必须是同一类型，否则编译失败。也可以显式指定类型：max
类模板的定义与实例化
类模板用于创建通用的数据结构，比如容器类。
示例：实现一个简单的数组包装类template
class Array {
private:
T data[N];
public:
T& operator[](int index) { return data[index]; }
int size() const { return N; }
};
使用方式：
Array
arr[0] = 100;
std::cout
这里模板参数不仅可以是类型（T），还可以是整型值（N），称为非类型模板参数。
模板的重载与特化
有时候需要对特定类型做特殊处理，这时可以使用模板特化。
template
void print(T value) {
std::cout
}
// 特化版本：针对指针类型
template
void print
std::cout
}
调用 print("hello") 时，会匹配特化版本，输出更合适的提示信息。
常见注意事项
模板代码通常要写在头文件中，因为编译器需要在编译时看到完整的定义才能实例化模板。
模板支持多个类型参数，例如：template
错误信息可能较难理解，尤其是深层嵌套模板出错时，建议逐步调试。
现代C++还支持可变参数模板（variadic templates），用于实现如日志、工厂等灵活接口，进阶可用。
基本上就这些。掌握模板能大幅提升代码复用性和灵活性，是C++高手必备技能之一。不复杂但容易忽略细节，多写多练自然熟练。
