为什么T &&实例化为int&？

Question

任何人都可以解释为什么这个编译,为什么t最终与类型int&？

#include <utility>

void f(int& r)
{
    ++r;
}

template <typename Fun, typename T>
void g(Fun fun, T&& t) 
{ 
    fun(std::forward<T>(t)); 
}

int main()
{
    int i = 0;

    g(f, i);
}

我在GCC 4.5.0 20100604和GDB 7.2-60.2上看到了这一点

Answer 1

由于完美转发,当参数为P&&左值时,P则会推导出参数的类型加上&附加值.所以你得到int & &&了P存在int&.如果参数是一个右值,然后P将被推断为仅参数的类型,所以你会得到一个int&&论据与P是int,如果你会通过,例如0直接.

int& &&将崩溃到int&(这是一个语义视图 - 语法上int& &&是非法的.但是说U &&何时U是模板参数或typedef 引用类型int&,然后U&&仍然是类型int&- 即两个引用"崩溃"到一个左值引用).这就是为什么t有类型int&.