为何重载时foo(int&&)匹配右值优先级不高于foo(int)？

在C++23 GCC 14.2环境下，以下代码会触发重载歧义错误：

#include <utility>

void foo(int num) {}
void foo(int&& num) {}

int main() {
    foo(5);
    // 编译错误：调用重载的'foo(int)'存在歧义
    // 候选函数：'void foo(int)'
    // 候选函数：'void foo(int&&)'

    // std::move的情况同样报错：
    int x = 5;
    foo(std::move(x));
    // 编译错误：调用重载的'foo(std::remove_reference<int&>::type)'存在歧义
}

为什么foo(int&&)在重载解析中没有更高优先级？ #

这是因为C++重载决议的规则里，精确匹配的优先级是相同的：

• 当实参是右值int（比如字面量5或std::move(x)的结果），调用foo(int)时，右值可以直接拷贝构造形参，属于精确匹配；
• 调用foo(int&&)时，右值引用可以直接绑定到右值实参，同样属于精确匹配。

两者的匹配等级完全一致，编译器无法判定哪个是更优的选择，因此抛出歧义错误。你之前的误解在于认为"更窄的场景"会优先，但重载决议只看匹配等级，不看参数的适用范围宽窄——只有当匹配等级不同时（比如精确匹配优于转换匹配），才会有优先级区分。

这类重载本身是否有意义？ #

完全没有意义，原因如下：

• 语义与实现无差异：在函数体内，int形参是实参的副本，int&&形参虽然是引用，但绑定的是右值（临时对象或被move的左值），但对于int这种标量类型来说，move和拷贝的成本完全相同，函数内部对num的操作也没有任何区别——两者都是栈上的左值，不存在"引用用户对象"的语义。
• 接口冗余：如果要接受所有int类型的实参（左值、右值），只需要提供foo(int)即可，它可以接收任意int类型的实参；如果只想限定接受右值，只提供foo(int&&)即可。同时提供两个重载，除了导致编译歧义，没有任何实际价值。

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