模板是C++泛型编程的核心，通过类型参数和非类型参数实现代码复用；支持函数模板、类模板、默认参数及特化，提升灵活性与效率。
模板是C++实现泛型编程的核心工具，它允许你编写与数据类型无关的通用代码，从而提升代码复用性和灵活性。通过模板，函数和类可以在不指定具体类型的情况下定义逻辑，编译器会在使用时根据实际类型自动实例化。
函数模板：编写通用函数
函数模板用于创建适用于多种类型的函数。只需定义一次，就能被不同数据类型调用。
例如，实现一个通用的max函数：
templateT max(T a, T b) {
return a > b ? a : b;
}
使用时无需显式指定类型，编译器会自动推导：
立即学习“C++免费学习笔记（深入）”；
int x = max(3, 5); // T 被推导为 intdouble y = max(2.5, 3.1); // T 被推导为 double
也可以显式指定类型：
max类模板：构建通用数据结构
类模板适用于需要支持多种类型的类，比如容器或智能指针。
定义一个简单的动态数组类：
templateclass MyVector {
private:
T* data;
int size;
public:
MyVector(int s) : size(s) {
data = new T[size];
}
~MyVector() { delete[] data; }
T& operator[](int i) { return data[i]; }
};
使用方式：
MyVectorvec[0] = 100;
模板参数的多样性
模板不仅支持类型参数，还支持非类型参数（如整数）和默认参数。
例如，固定大小的数组：
templateclass Array {
T data[N];
public:
int size() const { return N; }
};
使用：
Array也可以设置默认类型：
templateclass Stack { ... };
这样Stack就等价于Stack
模板特化：处理特殊类型
有时通用逻辑不适用于某些类型，可以通过特化定制行为。
全特化示例：
templatebool max
return a || b;
}
这为bool类型提供了不同的实现逻辑。
基本上就这些。模板让C++在保持高性能的同时实现了高度抽象，合理使用能大幅减少重复代码，提升维护效率。注意模板代码通常放在头文件中，因为编译器需要在编译期看到完整定义才能实例化。不复杂但容易忽略细节。
