使用右值参考和自动

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

这与类型扣除中的引用折叠规则有关。

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

Answer 2

类型扣除中有一个特殊规则。在auto &&d = a;“auto＆amp;＆amp;”中是非const非易失性类型的右值引用，“a”是左值，然后应用此特殊规则：“a”的类型被视为int＆amp;而不是int。然后像往常一样选择“auto”的类型与“a”的类型相同，即int＆amp ;.所以“auto＆amp;＆amp;”的类型是int＆amp;根据bames53提到的参考崩溃。

Answer 3

auto&&调用完美转发。由于a是int类型的左值，d是对int的左值引用。

Answer 4

在参考折叠规则之上值得一提的是如何强制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 &); 
}