C ++ 11隐式Move构造函数

Question

我无法理解为什么以下内容（至少根据gcc 4.8）在C ++ 11中是合法的：

// This class manages a non-copyable resource.
struct B {
  B();
  B(B &&) { /* logging, etc., to verify if needed. */ }
private:
  B(B const &);
  B const &operator=(B const &);
};

B bar() {
  B b;
  // This is apparently allowed via the move constructor.
  return b;
};

int main() {
  // From this "side" of the call as well.
  B b1 = bar();
  B b2{bar()};
}

在哪种情况下，语言允许或实际上首选move构造函数？ 临时返回值似乎可以移动（以及其中的垃圾内容），但是我想找到可以静默使用该移动的所有地方的核心语言规则。 谢谢！

Answer 1

只要参数绑定到rvalue引用，编译器就可以使用移动。 每当参数为prvalue时，编译器就会使用它（请参见下文）。 也可以将参数强制转换为rvalue引用。

通常，右值是出现在分配右侧的任何内容。 考虑它的粗略方法是在代码中是否可以引用它。 左值具有身份，右值通常没有。

确实，有一些类型的左值和右值...

• lvalue -具有身份，无法移动（ lvalue ）
• xvalue具有标识，可以移动（ lvalue和rvalue ）
• prvalue没有身份，可以移动（ rvalue ）

xvalue既是lvalue ，又是rvalue 。 一个示例是您使用std::move显式转换为rvalue引用的内容。

Answer 2

此外，还有一个不错的介绍rvalue引用和移动语义的介绍http://www.cprogramming.com/c++11/rvalue-references-and-move-semantics-in-c++11.html