为什么要将左值传递给采用const ref rvalue的构造函数？

Question

例如：

#include <iostream>
#include <cstring>

using namespace std;

struct Square
{
    Square()
    {
        str = new char[10];
        strcpy(str, "Hello");
    }

    ~Square()
    {
        delete str;   
    }

    void print()
    {
        cout << "str = '" << str << "'" << endl;
    }

    char * str;    
};

class foo
{
public:
    typedef const Square & sqcref;
    typedef Square & sqref;
    foo(sqref && _ref)
    {
        fooStr = _ref.str;
        _ref.str = 0;
    }

    char * fooStr;
};

int main()
{
    Square s;
    s.print();
    foo f(s);
    s.print();
}

输出：

str ='Hello'
str ='

在foo的构造函数中，它期望对Square &的值是rvalue，但是传入的是Square & lvalue。 为什么这样做？

Answer 1

由于C ++ 11中的引用折叠规则，因此它可以工作。 简而言之，不能创建对价值的参考。 因此，“引用引用”按照以下规则折叠

Val && &&-> Val &&

Val＆&&-> Val＆

Val＆＆-> Val＆

Val &&＆-> Val＆

因此，在您的情况下， sqref && （即Square & && sqref && ）折叠为Square & 。 因此，这是正常的左值参考。

Answer 2

这是由于参考崩溃 。 sqref&&其中sqref是T&折叠为T& 。

https://wandbox.org/permlink/eWeYLdI3l0vSpNvo