函数模板参数推导是编译器根据实参自动确定模板类型的过程。当调用foo(5)时，T被推导为int；形参为T时顶层const/volatile被忽略，为const T或T&时可保留const；数组或函数名实参退化为指针；对于T&&形参，左值实参推导为U&，右值推导为U，支持std::forward实现完美转发；数组引用形参如T(&arr)[N]可推导大小N，而T*不能；多参数模板要求所有T一致，func(1, 2.5)因int与double冲突失败，需显式指定类型或使用不同参数。

在C++中，模板参数推导是编译器根据函数调用时传入的实参自动确定函数模板参数类型的过程。这个机制让模板函数使用起来更方便，无需显式指定类型。理解其规则对掌握模板编程至关重要。

函数模板参数推导的基本规则

当调用一个函数模板时，如果未显式指定模板参数类型，编译器会尝试从函数实参中推导出模板参数。

例如：

// 函数模板定义 template <typename T> void foo(T x); // 调用：foo(5); // 编译器推导出 T 为 int

推导过程关注的是形参类型与实参类型的匹配：

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

• 若形参为 T（非引用、非指针），则实参的顶层 const/volatile 会被忽略
• 若形参为 const T 或 T&，则 const 属性可被保留
• 数组或函数名作为实参时会退化为指针或函数指针

引用折叠与完美转发中的推导

在涉及右值引用和模板参数推导时，出现了一种特殊规则——引用折叠。

当模板形参为 T&&（通用引用或转发引用）时：

• 如果实参是左值（如变量），则 T 被推导为 U&（左值引用）
• 如果实参是右值（如临时对象），则 T 被推导为 U

这一机制支撑了 std::forward 实现完美转发：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

template <typename T> void wrapper(T&& arg) { some_func(std::forward<T>(arg)); }

这样既能传递左值，也能保持右值语义，实现资源高效转移。

数组与指针的推导差异

数组作为函数实参传入模板时，通常会退化为指针，除非模板形参明确声明为引用类型。

template <typename T, size_t N> void bar(T (&arr)[N]) { } // 推导出数组大小 N

比如传入 int arr[10]，T 是 int，N 是 10。而普通 T* 形参无法获取数组长度。

这种技巧常用于实现安全的数组大小检测或泛型容器辅助函数。

多个参数的推导与一致性要求

当模板有多个类型参数时，每个参数都需独立推导，且同一模板参数在所有位置必须一致。

template <typename T> void func(T a, T b);

调用 func(1, 2.5) 会导致推导冲突：第一个实参希望 T 是 int，第二个希望是 double。此时编译失败。

解决方式包括：

• 显式指定模板参数：func<double>(1, 2.5)
• 使用不同模板参数：template<typename T, typename U> func(T a, U b)

基本上就这些核心规则。模板参数推导虽强大，但也受限于上下文和类型匹配精度。理解这些细节有助于写出更稳健的泛型代码，避免常见推导失败问题。