C++中为什么左值引用无法绑定到带const限定的转发引用？

核心结论 #

只有无cv限定、处于推导语境的模板参数右值引用才是转发引用，你定义的const T&&不属于转发引用，不会触发转发引用的特殊推导规则，只会按照普通右值引用的逻辑推导，这就是两个调用报错的根本原因。

推导规则差异说明 #

• 转发引用场景（template<typename T> void print_rvalue_reference(T &&t)）
  标准明确规定该场景下：

  • 传入右值时，T推导为值类型，参数为对应右值引用
  • 传入左值时，T会被特殊推导为左值引用类型，之后触发引用折叠，最终参数类型为左值引用，完美匹配传入的左值
    对应你的测试用例：
  • 传入右值1：T推导为int，参数类型为int&&，匹配成功
  • 传入左值i：T推导为int&，引用折叠后参数类型为int&，匹配成功
  • 传入const左值j：T推导为const int&，引用折叠后参数类型为const int&，匹配成功

• 普通const右值引用场景（template<typename T> void print_const_rvalue_reference(const T &&t)）
  因为加了const限定，该场景不属于转发引用，推导时不会触发「左值传入则T推导为引用」的特殊规则，T只会被推导为值类型：

  • 传入右值1：T推导为int，参数类型为const int&&，可以绑定到右值，匹配成功
  • 传入左值i/const左值j：T推导为int，参数类型为const int&&，右值引用无法绑定到左值，直接触发编译错误

关于你提到的引用折叠疑问 #

你所说的引用折叠规则完全正确，但该规则生效的前提是T本身已经是引用类型。在自动推导场景下，非转发引用的模板参数不会被自动推导为引用类型，所以不会走到引用折叠的逻辑。如果你手动显式指定T为引用类型：

print_const_rvalue_reference<int&>(i); // 手动指定T为int&，编译通过
print_const_rvalue_reference<const int&>(j); // 手动指定T为const int&，编译通过

上述写法是可以正常编译的，符合你对引用折叠的理解。

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