c++ - 为什么可以将左值传递给采用 const ref 右值的构造函数？

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 & 的右值，但传入的是一个 Square & 左值。为什么会这样？

Answer 1

由于 reference collapsing 而有效C++11 中的规则。简而言之，不能创建对值引用的引用。因此，“对引用的引用”按照以下规则折叠

Val && && -> Val &&

Val & && -> Val &

Val & & -> Val &

Val && & -> Val &

因此在您的情况下，sqref &&(即 Square & &&)折叠为 Square &。所以这是正常的左值引用。