c++函数模板如何编写 泛型编程入门【c++进阶】

函数模板是C++泛型编程核心，通过类型参数化实现多类型适配；支持单/多类型参数、非类型参数、自动推导与显式指定，但不支持偏特化。

函数模板是C++泛型编程的核心工具，它让同一段代码能适配多种类型，避免重复编写相似逻辑。关键不在于记住语法，而在于理解“类型参数化”的本质——把类型当成可替换的变量来用。

基础写法：template + typename（或class）

最简单的函数模板长这样：

// 求两个值中的较大者
template
T max(T a, T b) {
  return a > b ? a : b;
}

说明：
• template 是声明模板头，T 是类型参数名（可用任意合法标识符，如U、ValueType）；
• typename 和 class 在这里完全等价，推荐用 typename（语义更准确，因为T不一定是类类型）；
• 函数体内直接使用 T 作为类型，编译器会在调用时根据实参自动推导出具体类型。

立即学习“C++免费学习笔记（深入）”；

调用示例：
// 编译器自动推导：T → int
max(3, 5);
// T → double
max(2.7, 1.9);
// T → std::string（需支持 > 比较）
max(std::string{"hello"}, std::string{"world"});

处理多个类型参数

当函数涉及不同类型（比如输入和输出不同、或多个独立类型），可以定义多个模板参数：

template
auto add(T a, U b) {
  return a + b;
}

标签： 工具 ai c++ 隐式转换 red