右值引用可以作为 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 的声明类型是右值引用。

此外，如果您从 a 和 std::move 创建一个右值，您的代码仍然是格式良好的，因为右值可以绑定到 const 左值引用：

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

Answer 2

您需要在示例中将a 转换为右值以获得预期效果，因为变量名本身就是左值（这是 C++ 中左值和右值的一个棘手细节）。所以正如所写，它是正确的 C++，但没有做你认为它正在做的事情。

如果你转换它，使用std::move(a) 而不仅仅是a，代码现在可以做你想要的并且仍然是正确的。这是因为 C++ 中有一条特殊规则，即临时变量可以绑定到 const lvalues，更详细的讨论可以在 here 找到。当您有以下代码时，此功能会非常方便：

void ProcessData(const std::vector<int>& input_vector);

然后您想使用以下内容对其进行测试：

ProcessData(std::vector<int>{1, 2, 3, 4, 5});

这使您不必在将对象作为 const 左值引用传递之前显式创建对象。注意这里的 const 很关键，没有它代码是不正确的。对此选择的理由有更详细的讨论here。