调用不同右值引用类型的重载函数时出现意外输出

你的代码出现反预期输出的核心原因是左值无法直接绑定到右值引用参数，编译器只能通过隐式类型转换寻找可行的重载函数，具体分析如下：

1. 对foo(int_x)的匹配逻辑 #

int_x是int类型的左值，而foo(int&&)要求接收的是int类型的右值——左值不能直接绑定到右值引用，因此这个重载会被编译器排除。此时编译器会尝试将int类型隐式转换为其他可匹配的类型，发现int可以转换为float，于是匹配到foo(float&&)，最终输出float Rvalue: 1。

2. 对foo(float_x)的匹配逻辑 #

float_x是float类型的左值，同样无法直接绑定到float&&参数。编译器尝试隐式转换时，float可以被截断转换为int（小数部分丢失），因此匹配到foo(int&&)，输出int Rvalue: 5。

修正方案 #

如果你想让左值匹配对应的右值引用重载，需要使用std::move将左值强制转换为右值，修改后的main函数如下：

int main()
{
    int int_x = 1;
    float float_x = 5.14f;

    foo(std::move(int_x));  // 匹配foo(int&&)
    foo(std::move(float_x));// 匹配foo(float&&)
}

此时输出会符合你的预期：

int Rvalue: 1
float Rvalue: 5.14

内容的提问来源于stack exchange，提问作者椎名清柠