c++ - 为什么我需要在 move 构造函数的初始化列表中使用 std::move？

Question

假设我有一个(平凡的)类，它可以 move 构造和 move 分配，但不能复制构造或复制分配:

class movable
{
  public:
    explicit movable(int) {}
    movable(movable&&) {}
    movable& operator=(movable&&) { return *this; }
    movable(const movable&) = delete;
    movable& operator=(const movable&) = delete;
};

这很好用:

movable m1(movable(17));

这当然行不通，因为 m1 不是右值:

movable m2(m1);

但是，我可以将 m1 包装在 std::move 中，将其转换为右值引用，以使其工作:

movable m2(std::move(m1));

到目前为止，一切都很好。现在，假设我有一个(同样微不足道的)容器类，它包含一个值:

template <typename T>
class container
{
  public:
    explicit container(T&& value) : value_(value) {}
  private:
    T value_;
};

但是，这不起作用:

container<movable> c(movable(17));

编译器(我尝试过 clang 4.0 和 g++ 4.7.2)提示我试图在 container' 中使用 movable 的已删除复制构造函数s 初始化列表。同样，将 value 包装在 std::move 中使其工作:

    explicit container(T&& value) : value_(std::move(value)) {}

但是为什么在这种情况下需要 std::move 呢？ value 不是已经属于 movable&& 类型了吗？ value_(value) 与 movable m1(movable(42)) 有何不同？

Answer 1

这是因为 value 是一个命名变量，因此是一个左值。 std::move 需要将其强制转换为右值，以便匹配 T 的 move 构造函数重载。

换一种说法:右值引用可以绑定(bind)到一个右值，但它本身不是一个右值。它只是一个引用，在表达式中它是一个左值。从中创建右值表达式的唯一方法是强制转换。