c++ - C++ move 构造函数过时了吗？

Question

我编写了自己的字符串类型(Str)来演示基本的构造函数、析构函数和赋值运算符；而且，我可以看到它们都在 C++17 中执行，除了 move 构造函数。

显然，由于返回值优化 (RVO)， move 构造函数不再被广泛使用。

move 构造函数是否仅在响应显式调用 std::move 时调用？

还有什么时候可以调用它？
它主要是因为 RVO 而过时了吗？

这是我的 Str 类型:

struct Str {
  Str(): p(nullptr) {}
  Str(const char* s) { cout << "cvctor \"" << s << "\"\n"; copy(s); }
  Str(const Str& s): p(nullptr) { cout << "cpctor deep\""<<s.p<<"\"\n"; copy(s.p); }
  Str( Str&& s) { cout << "mvctr shallow \"" << s.p << "\"\n"; p = s.p; s.p=nullptr; }
  const Str& operator=(const Str& s) { cout << "op=\""<<s.p<<"\"\n"; copy(s.p); return *this; }
  const Str& operator=( Str&& s) { cout << "op= shallow \""<<s.p<<"\"\n"; p=s.p; s.p=nullptr; return *this; }
  ~Str(){ if ( p != nullptr ) { cout << "dtor \"" << p << "\"\n"; delete [] p; } }

private:
  char* p = nullptr;
  char* copy(const char* s)
};

Answer 1

完全没有

返回值优化并不是使用 move 构造函数的唯一点。每次您想从 rvalue 构造某种类型的值时，都会使用 move 构造函数。

您基本上是将两个问题合二为一。让我们开始吧

Is the move constructor only called in response to explicitly calling std::move?

move 构造函数和 std::move 是切线相关的，但本质上是非常独立的。每次从相同类型的 rvalue 初始化变量时，都会调用 move 构造函数。另一方面，std::move 可以明确地从所谓的 lvalue 到这样的 rvalue 但它不是唯一的办法。

template<typename T>
void foo(T&& value) { // A so-called universal reference
    T other_value = std::forward<T>(value);
}
foo( string{"some string"} ); // other_value is move initialized

你看，std::forward 是另一种获取rvalue 的方法。实际上，"some string" 也会在上面的代码中生成 rvalue，类型为 const char*。

---

间奏曲时间到了。如果您听到 rvalue，您可能会想到 &&，它是一个 rvalue-reference。这是微妙的不同。问题是给任何东西命名都会使它成为左值。所以下面的代码:

foo(string&& value) {
    T other_value = value;
}
foo( "some_string" ); // other_value is STILL copy initialized

foo(string&& value) {
    T other_value = std::move(value);
}
foo( "some_string" ); // other_value is now properly move initialized

考虑&&的正确方法是这样的引用可以用rvalue初始化，但它本身并不总是这样的rvalue。有关详细信息，另请参阅 here

---

Is it mostly obsolete because of RVO?

除了 RVO 之外，还经常使用 move 构造函数的两个值得注意的例子

• 进入方法参数

  void foo(string value);
  // Somewhere else
  string& some_string = get_me_a_string();
  foo( ::std::move(some_string) ); // Uses move constructor to initialize value
  some_string.clear(); // Most probably a no-op
                      // Doing this leaves an empty some_string
  

  请注意，在上面的示例中，some_string 是一个引用这一事实与是否使用 move 构造无关。这是一个明确的引用，RVO 可能并不总是可能的。在这种情况下，在 some_string 被移出后，将处于未指定但有效的状态，这是一种奇特的方式，表示不会发生未定义的行为并且引用仍然有效。

• 进入田野

  class FooBar {
      string fooField;
      //Constructor
      FooBar( string bar )
      : fooField( ::std::move(bar) ) // Uses move constructor to initialize fooField
      { }
  }