C++中的模板（template）如何使用？（函数模板示例）

函数模板是C++泛型编程核心，用template定义，支持自动类型推导与显式指定，要求参数类型一致或通过多参数模板适配，运算符需对实际类型有效。

函数模板是C++中实现泛型编程的核心机制，它让同一段逻辑能自动适配多种类型，避免重复写多个相似函数。

用 template 声明模板参数，T 是占位符类型名，可替换成任意合法类型：

template T max(T a, T b) { return (a > b) ? a : b; }

这里 typename（也可用 class）告诉编译器 T 是一个类型，不是变量或值。

调用时通常无需写明类型，编译器根据实参自动推导：

int x = max(3, 7);        // 推导 T 为 int
double y = max(2.5, 1.8); // 推导 T 为 double
char c = max('a', 'z');   // 推导 T 为 char

当无法推导或需强制指定时，可用显式模板实参：

auto z = max(5, 3.14); // 强制按 double 比较，5 被提升为 5.0

模板函数要求所有同名模板参数位置上的实参类型一致（除非重载或特化）：

max(3, 4.5) 会报错：T 无法同时是 int 和 double
若需支持混合类型，可定义两个模板参数：template auto max(T a, U b) -> decltype(a > b ? a : b)（C++11 后支持返回类型后置推导）
运算符必须对实际类型有效——比如 max 要求类型支持 >；自定义类需重载该运算符才能使用

template 
void swap(T& a, T& b) {
    T temp = a;
    a = b;
    b = temp;
}

int m = 10, n = 20;
swap(m, n); // 编译器生成 int 版本的 swap

标准库中的 std::swap 就是这样工作的。它不依赖具体类型，只要支持拷贝构造和赋值即可。

基本上就这些。写函数模板不复杂，但容易忽略类型约束和推导规则。

您的项目需求

*请认真填写需求信息，我们会在24小时内与您取得联系。