函数模板和类模板通过template定义，支持类型自动推导与显式指定，实现泛型编程；函数模板用于通用逻辑，如max(T a, T b)；类模板构建类型无关容器，如Stack<T>，成员函数需重申模板；模板代码须在头文件中定义，支持多类型参数及非类型参数（如int N），实例化时生成独立类型，是STL设计基础。
模板是C++中实现泛型编程的核心工具，它允许我们编写与数据类型无关的通用代码。通过函数模板和类模板，可以为多种类型复用同一套逻辑，提高代码的灵活性和可维护性。下面介绍如何创建和使用C++中的函数模板与类模板。
函数模板的定义与使用
函数模板用于生成针对不同类型的函数版本。使用template关键字声明模板参数，通常配合typename或class关键字指定类型占位符。
定义语法：
template <typename T>T max(T a, T b) {
return (a > b) ? a : b;
}
这里T是类型参数，在调用时会被实际类型自动推导。例如：
立即学习“C++免费学习笔记（深入）”；
int x = max(3, 5); // T 被推导为 intdouble y = max(2.5, 7.1); // T 被推导为 double
也可以显式指定类型：
max<float>(3.0f, 4.0f);当函数参数类型不一致时，显式指定有助于避免编译错误。
类模板的定义与实例化
类模板允许我们定义一个通用类，其中部分成员（如变量、函数）依赖于未知类型。常见于容器类如std::vector、std::stack等。
定义示例：
class Stack {
private:
T data[100];
int topIndex;
public:
Stack() : topIndex(-1) {}
void push(const T& value);
T pop();
bool empty() const { return topIndex == -1; }
};
// 成员函数在类外定义需再次标明模板
template <typename T>
void Stack<T>::push(const T& value) {
if (topIndex < 99) {
data[++topIndex] = value;
}
}
template <typename T>
T Stack<T>::pop() {
return data[topIndex--];
}
使用方式：
Stack<int> intStack;intStack.push(10);
intStack.push(20);
while (!intStack.empty()) {
std::cout << intStack.pop() << " "; // 输出 20 10
}
每个不同的类型实例都会生成独立的类副本，如Stack<int>和Stack<double>是两个不同的类型。
模板的注意事项与技巧
模板代码必须在头文件中定义，因为编译器需要在编译时看到完整实现才能进行实例化。不能像普通函数那样将声明与定义分离到cpp文件中。
支持多个模板参数：
template <typename K, typename V>class Map { ... };
也可使用非类型模板参数，比如整型常量：
template <typename T, int N>class Array {
T data[N];
};
Array<double, 10> arr; // 固定大小数组
注意非类型参数只能是编译期常量，如字面值、const表达式等。
基本上就这些。掌握函数模板和类模板的基本写法后，就能理解STL中许多组件的设计原理，也为后续学习更高级的模板技术打下基础。不复杂但容易忽略细节，多写几个例子会更清楚。
