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