使用右值引用和自動

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 &&”是對非const非易失性類型的右值引用，“a”是左值，然后應用此特殊規則：“a”的類型被視為int而不是int。 然后像往常一樣選擇“auto”的類型與“a”的類型相同，即int＆。 所以“auto &&”的類型是int＆根據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 &); 
}

Answer 5

您需要將std::forward與auto&&結合使用以獲得您最可能想要的行為。 請參閱以下示例代碼：

#include <iostream>

template <class T>
void f(T&& x) {
    std::cout << "R-value!" << std::endl;    
}

template <class T>
void f(T& x) {
    std::cout << "L-value!" << std::endl;    
}

int get() {
    return 0;    
}

int main()
{
    // Correct usage
    {
        std::cout << "Correct usage" << std::endl;
        auto&& s = get();
        f(std::forward<decltype(s)>(s)); // Prints: R-value!
        std::cout << "----------------------------\n" << std::endl;
    }
    
    // Above code is robust to refactorings
    {
        std::cout << "After refactoring" << std::endl;
        int i = 5;
        auto&&s = i;
        f(std::forward<decltype(s)>(s)); // Prints: L-value!
        std::cout << "----------------------------\n" << std::endl;
    }
    // Forward is necessary, else l-value version is called.
    {
        std::cout << "Forgetting forward" << std::endl;
        auto&& s = get();
        f(s); // Prints: L-value!
        std::cout << "----------------------------\n" << std::endl;
    }
}

這里有一個自己運行的鏈接： http : //cpp.sh/8lducx