C++中转发引用是否可能被推导为非引用类型？

你的推测完全正确：转发引用形式的T&&/auto&&作为函数形参时，推导得到的形参类型永远是左值引用或右值引用之一，不可能出现纯非引用类型的结果。

规则依据 #

转发引用的类型推导遵循C++标准明确规定的引用折叠规则，推导逻辑只有两种分支：

• 传入实参为左值时，模板类型参数会被推导为左值引用类型，经过引用折叠后，形参最终类型为左值引用
• 传入实参为右值时，模板类型参数会被推导为无引用修饰的纯值类型，但由于形参本身的声明格式是T&&，最终形参类型为对应类型的右值引用，仍然属于引用类型

验证逻辑说明 #

你提供的测试代码可以完整验证这个结论：

#include <type_traits>
#include <utility>

template <typename Expected>
void checkDeduction(auto&& x) {
    static_assert(std::is_same_v<Expected, decltype(x)>);
}

int main() {
    checkDeduction<int&&>(1);
    const volatile int x = 0;
    checkDeduction<const volatile int&>(x);
    checkDeduction<const volatile int&&>(std::move(x));
    // 不存在任何合法实参可以让checkDeduction<int>(foo)编译通过
}

你对完美转发场景的观察也完全符合规则：

decltype(auto) f(auto&& x) { return g(std::forward<decltype(x)>(x)); }

f的实例化行为完全由传入实参的值类别决定：如果g存在接收int类型的重载，调用f(1)时f的形参会被推导为int&&类型，经std::forward转换为右值传递给g；在g的调用位置，int&&类型的表达式会发生类型退化，最终匹配int形参的版本，整个过程中形参x本身从来不是纯int类型。

需要注意区分两个容易混淆的概念：模板类型参数的推导结果，和转发引用形参本身的类型。前者在传入右值时确实可以为非引用类型，但后者永远属于引用类型，不存在非引用的推导结果。

内容的提问来源于stack exchange，提问作者Ben