c++ - 右值引用可以作为 const 引用传递吗？

Question

考虑以下示例 struct:

struct A {
    int i;

    void init(const A &a)
    {
        this->i = a.i;
    }

    A(int i)
    {
        this->i = i;
    }

    A(const A &a) = delete;
    A &operator=(const A &a) = delete;

    A(A &&a)
    {
        init(a); // Is this allowed?
    }

    A &operator=(A &&a)
    {
        init(a); // Is this allowed?
        return *this;
    }
};

右值引用 A &&a 被传递给接受 const A &a 的函数，即常量左值引用。这是否允许并导致 C++ 中明确定义的行为？

Answer 1

是的，这是允许的。

请注意，表达式 a 的值类别是左值，即使 a 声明的类型是右值引用。

此外，如果您使用 std::move 从 a 创建右值，您的代码仍然是合式的，因为右值可以绑定(bind)到 const 左值引用:

init(std::move(a)); // std::move(a) is an rvalue (to be precise, xvalue), but still OK