在这种情况下是否会移动一个值

Question

考虑以下 sn-p：

class Bar {...};
class Foo {
  public:
    Foo(const Bar& bar): bar_(bar) {}
  private:
    Bar bar_;
};

int main() {
    Foo foo({...});  // Passing an rvalue Bar object here.
}

问题：我生成的对象会被复制到 Foo 的构造函数中，还是会被移动？更准确地说，以下哪项是正确的？

• 它将始终被复制。
• 它总是会被移动（我很确定不是这样）。
• 这是未指定的行为。

Answer 1

它会一直被复制。

您创建的 rvalue 绑定到 const 左值引用。但即使它被绑定到一个右值引用，你也可以从一个左值（bar）构造bar_(bar)。 绑定到引用的对象的值类别没有实际意义，重要的是引用本身的值类别。就像已经提到的，表达式bar 是一个左值。

作为一个通用且有点粗略的经验法则，作为某事物名称的每个表达式都是一个左值。

如果你想在一个构造函数中同时支持移动和复制，前进的方法是这样的：

Foo(Bar bar): bar_(std::move(bar)) {}

现在bar 可以通过移动副本来构建，具体取决于源，并且您的成员是由您可以安全移出的对象构建的。当然，这总是会产生额外的动作。如果你想避免它，那么需要两个 c'tors：

Foo(const Bar& bar): bar_(bar) {}
Foo(Bar&& bar): bar_(std::move(bar)) {}