移动分配和引用成员

Question

具有引用成员变量的类的复制赋值是禁止的，因为您无法重新分配引用。 但是移动分配怎么样？ 我试过简单地move它，当然，当我只想移动引用本身时，它会破坏源对象：

class C
{
public:
    C(X& x) : x_(x) {}
    C(C&& other) : x_(std::move(other.x_)) {}
    C& operator=(C&& other)
    {
        x_ = std::move(other.x_);
    }
private:
    X& x_;
};

X y;
C c1(y);

X z;
C c2(z);

c2 = c1; // destroys y as well as z

我不应该只是实施移动分配并坚持使用移动构造吗？ 这使得swap(C&, C&)难以实现。

Answer 1

（根据OP的建议作为评论的答案发布）

一般来说，如果一个人想要用C ++中的引用做一些非平凡的事情，那么就会使用reference_wrapper<T> ，这对于T&来说本质上是一种奇特的价值语义替代，然后就可以用它完成 - 它已经完成了提供（重新）分配和其他操作。 我敢肯定，如果不是微不足道的话，那会使移动构造函数和赋值变得非常平凡（注意，根据is_trivially_*语义，这并不trivial ）。

“参考包装器”作为TR1的一部分添加到C ++ 03中，是C ++ 11的一部分。

文档： http ： //en.cppreference.com/w/cpp/utility/functional/reference_wrapper

Answer 2

在某种意义上，参考是具有语法糖的T *const ，其顶部是自动消除，自动捕获和自动生命延长时间。 （请注意，这不是真的，但通常是在实践和实践中）

如果你想要一个可重新引用的引用，C ++有：它们被称为指针。 如果您愿意，可以使用访问器将取消引用替换为函数调用。 难以模拟的其余功能（临时生命周期扩展）不适用于struct成员。