使用右值引用和auto

Question

根据下面的代码，一切都可以正常工作。为什么变量d引用int？怎么一回事？

int main()
{
    int a= 10;
    int &&b = a+10; // b is int &&
    auto c =b+10; // c is int
    auto &&d = a; // d is int&
    //int &&di = a; // error, as expected
    return (0);
}

Answer 1

在类型演绎中有一个特殊的规则。在auto &&d = a;中，"auto&&“是一个非常数非易失性类型的右值引用，"a”是一个左值，然后应用这个特殊的规则："a“的类型被视为整数&而不是整数。然后像往常一样选择"auto“的类型与"a”的类型相同，即int&。因此，"auto&&“的类型是int&根据bames53提到的引用折叠。

Answer 2

这与类型推导中的引用折叠规则有关。

A& & becomes A&
A& && becomes A&
A&& & becomes A&
A&& && becomes A&&

Answer 3

在引用折叠规则之上值得一提的是如何强制d成为右值引用。您可以使用std::move来执行以下操作：

int a =4; 
auto &&d = std::move(a); // d is type &&

当然，当讨论整数时，右值引用是愚蠢的，因为通过值传递同样有效。这在强制移动语义优化时很有用，例如，如果您想在函数的末尾插入一个复杂类型，而该类型将超出范围...

vector<std::string> v;
void f()
{
    string s;
    foo(s); // do some kind of operation on s.
    v.push_back(std::move(s)); // use push_back( &&) instead of push_back(const &); 
}