右值参考模板推导

Question

template<class U>
void f( U && v)
{     
    std::cout << typeid(v).name() << "\n"; //'int' in both cases

    if( boost::is_same<int&&,U>::value )
    {
        std::cout << "reach here\n"; //only with f<int&&>(int(1));
    }
}


int main()
{    
    f(int(1));

    f<int&&>(int(1));

    std::cin.ignore();
}

当我没有显式使用 f 时，为什么 v 参数被解释为 int？ 有什么区别？ （用 MVS2010 编译）

我的猜测是 First 作为右值传递，第二个作为右值引用传递，并且两者都正确绑定到右值引用中，对吗？

谢谢。

Answer 1

第一个变体

f(int(1)) <=> f<int>(int(1)) <=> U==int <=> is_same<int&&,int> == false

第二个变体

f<int&&>(int(1)) <=> U==int&& is_same<int&&,int&&> == true

像这样

Answer 2

不，不是真的。永远不会推导出右值引用。概念 U&&（其中 U 是可推导的模板参数）用于指示应该推导 U，使得参数被保留：

• 当传递 X 类型的右值时，U 的类型变为 X。
• 当传递 X 类型的 cv 限定左值时，U 变为类型 X cv&。

更有趣的问题是在第二次调用中显式指定的右值引用发生了什么，因为没有进行任何推导，因为在这种情况下，两个右值引用被折叠为一个。