显式指定同类型模板实参导致右值引用函数编译错误的原因与解决

在使用带右值引用参数的模板函数库时，为了代码清晰选择显式指定模板类型而非依赖类型推导，却发现当模板类型与左值实参类型一致时出现编译错误。以下代码的第3种调用场景复现了该错误：

#include <cstdlib>
#include <iostream>

template <class T>
void fnc(T &&value) {
  std::cout << value << std::endl;
}

int main() {
  int32_t var = 5;

  // 不指定模板类型，传入左值：正常
  fnc(var);

  // 指定不同模板类型，传入左值：正常
  fnc<int16_t>(var);

  // 指定相同模板类型，传入左值：错误
  // cannot bind rvalue reference of type ‘int&&’ to lvalue of type ‘int32_t’ {aka ‘int’}
  fnc<int32_t>(var);

  // 不指定模板类型，传入右值：正常
  fnc(5);

  // 指定不同模板类型，传入右值：正常
  fnc<int16_t>(5);

  // 指定相同模板类型，传入右值：正常
  fnc<int32_t>(5);

  return 0;
}

注：本地环境中cstdlib定义了typedef signed int int32_t和typedef signed short int16_t。

错误原因 #

核心在于万能引用和引用折叠规则的差异：

• 不指定模板类型时，T&&是万能引用，编译器会根据实参推导T：传入左值var（int32_t类型）时，T会被推导为int32_t&，通过引用折叠int32_t& &&最终变成int32_t&（左值引用），自然能绑定左值。
• 显式指定T=int32_t时，T&&就是纯粹的右值引用int32_t&&，而左值var无法绑定到右值引用上，直接触发编译错误。
• 指定不同类型（如int16_t）时，编译器会先把左值var隐式转换为int16_t的临时右值对象，这个临时对象可以绑定到int16_t&&，所以编译正常。

规避方案 #

要在显式指定模板类型的前提下兼容左值实参，有三种可行方式：

1. 用std::move将左值转为右值 #

直接通过std::move把左值转换成右值，就能绑定到右值引用参数：

fnc<int32_t>(std::move(var));

⚠️ 注意：调用std::move后，var的状态会被标记为“可被移动”，后续不要再使用它的原有值（除非重新赋值）。

2. 修改模板函数（有权限改库时） #

如果可以修改库中的模板函数，新增左值引用的重载版本，复用原有逻辑：

template <class T>
void fnc(T&& value) {
  std::cout << value << std::endl;
}

// 新增左值引用重载，匹配显式指定类型的左值调用
template <class T>
void fnc(T& value) {
  fnc(std::forward<T>(value));
}

这样显式调用fnc<int32_t>(var)时，编译器会匹配到左值引用的重载，避免错误。

3. 显式指定模板类型为左值引用 #

不想改库也不想用std::move的话，可以直接把模板类型指定为左值引用：

fnc<int32_t&>(var);

此时T&&会通过引用折叠变成int32_t& && = int32_t&，参数成为左值引用，就能正常绑定左值var。

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