模板是C++泛型编程的核心，支持函数和类的通用定义。通过template<typename T>声明，可编写与类型无关的代码，如max函数；类模板如Array<T, N>适用于容器设计；支持全特化（如max<bool>）和偏特化（如Array<T*, 0>）以定制特定行为；模板需置于头文件中，实例化时生成具体代码，配合SFINAE等机制实现高效抽象。
模板是C++中实现泛型编程的核心机制，它允许我们编写与数据类型无关的通用代码。通过模板，函数和类可以在不指定具体类型的情况下定义行为，编译器会在使用时根据实际类型自动实例化对应的版本。
函数模板基础
函数模板以关键字template开头，后跟模板参数列表，接着是函数定义。最常见的形式是使用typename或class声明类型参数。
例如，一个通用的max函数可以这样写：
template <typename T>
T max(T a, T b) {
return a > b ? a : b;
}
调用时无需显式指定类型，编译器会根据传入参数自动推导：
立即学习“C++免费学习笔记（深入）”；
int x = 5, y = 10; std::cout << max(x, y); // 实例化为 max<int>
类模板定义与使用
类模板适用于需要多种类型实例的容器或工具类。比如一个简单的数组包装器：
template <typename T, int N>
class Array {
T data[N];
public:
T& operator[](int i) { return data[i]; }
int size() const { return N; }
};
使用时必须明确指定类型和非类型参数：
Array<double, 10> arr; // 创建包含10个double的数组 arr[0] = 3.14;
模板特化：定制特定行为
当某些类型需要特殊处理时，可以对模板进行全特化或偏特化。
全特化是指为某一组具体参数完全指定实现：
template<>
bool max<bool>(bool a, bool b) {
return a || b; // 自定义逻辑
}
偏特化仅适用于类模板，用于限定部分模板参数：
template <typename T>
class Array<T*, 0> { // 指针类型且大小为0的特化
public:
void log() { std::cout << "Null pointer array\n"; }
};
</font>
常见注意事项
模板代码通常放在头文件中，因为编译器需要在编译期看到完整定义才能实例化。
- 模板实例化发生在使用时，未使用的模板不会生成代码
- 错误信息可能在实例化时才暴露，调试难度较高
- 过度使用特化可能导致代码膨胀，应权衡可读性与性能
理解SFINAE（替换失败不是错误）有助于掌握更高级的模板技巧，它是现代C++元编程的基础之一。
基本上就这些。模板让C++具备强大的抽象能力，合理使用能显著提升代码复用性和类型安全性。刚开始可能会觉得语法别扭，但一旦熟悉了常见模式，写起通用组件会非常顺手。
