以 rvaule 引用作为参数的函数模板重载不起作用？

Question

当输入不是右值时，以 && 作为参数的函数模板似乎无法重载。以here为例：

template<typename A, typename B>
void test_tp_func(A&& a, B&& b)
{
    std::cout<<"tp1(" << a << "," << b << ")\n";
}
template<typename A>
void test_tp_func(A&& a, int&& b)
{
    std::cout<<"tp2(" << a << "," << b << ")\n";
}
int main()
{
    test_tp_func(1, 2);
    int i{10};
    const int& ir = i;
    test_tp_func(2, ir);
    test_tp_func(2, std::move(i));
}

输出是：

tp2(1,2)
tp1(2,10)
tp2(2,10)

我们可以看到test_tp_func(2, ir); 根本没有使用重载。如何确保它使用test_tp_func(A&& a, int&& b)？一种方法是添加 enable_if_t 以在 B 为 int 时禁用原始模板。但是，原始模板 test_tp_func(A&& a, B&& b) 是在一个不受我控制的文件中定义的。

更新了示例以实际使用 const&

Answer 1

如何选择右值重载？如果参数是 rvalue 而 i 不是，这将有所帮助。

它不是纯右值（它是一个命名变量），也不是一个 xvalue。

如果你只是想拦截B = int的情况，为什么不直接将参数类型设为int呢？使用int&& 只会根据定义匹配右值。

正如 cmets 中所讨论的，您不能简单地将转发引用 B&& 替换为右值引用 int&&（或任何其他代替 int 的具体类型），因为转发引用在参数推导期间得到特殊处理 (请参阅here 并搜索“转发参考”，这是一种特殊情况。

您需要两个重载：const ref const int& 和 rvalue ref int&&，以涵盖与原始转发引用相同的情况。