模板函数和类通过template<typename T>实现泛型编程，支持类型自动推导与显式指定，如max(3,5)或Stack<int>；类模板成员函数需加模板前缀定义；支持多参数template<typename T, typename U>及默认类型typename T=int；模板定义须在头文件中，避免分离编译导致链接错误。
在C++中，模板函数和模板类是泛型编程的核心工具，允许我们编写与数据类型无关的通用代码。通过模板，可以实现一套代码处理多种类型，提高复用性和灵活性。
模板函数的基本语法与使用
模板函数允许函数对不同数据类型执行相同操作。定义时使用 template 关键字，后跟模板参数列表。
基本语法如下：
template <typename T>
T max(T a, T b) {
return (a > b) ? a : b;
}
这里 T 是一个占位类型名，编译器会在调用时根据传入参数自动推导类型。
立即学习“C++免费学习笔记（深入）”；
调用方式示例：
int x = max(3, 5); // T 被推导为 int double y = max(3.5, 4.2); // T 被推导为 double
也可以显式指定类型：
auto z = max<float>(2.5f, 3.1f);
模板类的基本语法与使用
模板类用于定义通用类结构，比如标准库中的 std::vector 和 std::pair 都是模板类。
定义方式如下：
template <typename T>
class Stack {
private:
std::vector<T> elements;
public:
void push(const T& value);
void pop();
T top() const;
bool empty() const;
};
</font>
成员函数可以在类外定义，但需要带上模板前缀：
template <typename T>
void Stack<T>::push(const T& value) {
elements.push_back(value);
}
使用时需指定具体类型：
Stack<int> intStack;
Stack<std::string> stringStack;
intStack.push(10);
stringStack.push("hello");
多个模板参数与默认类型
模板可以有多个参数，适用于更复杂的场景。
template <typename T, typename U>
class Pair {
public:
T first;
U second;
Pair(T f, U s) : first(f), second(s) {}
};
使用示例：
Pair<int, std::string> p(1, "one");
还可以为模板参数设置默认类型：
template <typename T = int>
class Container {
T value;
};
// 使用默认类型
Container<> c; // 等价于 Container<int>
注意事项与常见问题
模板的定义（包括函数和类成员函数）通常要放在头文件中，因为编译器需要在编译时看到完整定义才能实例化模板。
模板不支持分离编译，即声明在 .h，定义在 .cpp 会导致链接错误，除非使用显式实例化。
类型参数可以用 class 或 typename，两者在大多数情况下可互换，推荐使用 typename 表示类型参数。
基本上就这些。掌握模板函数和模板类的语法，就能写出灵活、高效的通用代码。实际使用中注意类型推导和实例化时机即可。
