c++ - 为什么调用移动构造函数？

Question

鉴于我对返回值优化的理解，我对为什么在下面的示例代码中调用移动构造函数感到困惑:

#include <vector>
#include <iostream>

class MyCustomType
{
public:
  MyCustomType()
  {
    std::cout << "Constructor called" << std::endl;
  }

  MyCustomType(const MyCustomType & inOther) : // copy constructor
    mData(inOther.mData)
  {
    std::cout << "Copy constructor called" << std::endl;
  }

  MyCustomType(MyCustomType && inOther) : // move constructor
    mData(std::move(inOther.mData))
  {
    std::cout << "Move constructor called" << std::endl;
  }

private:
  std::vector<int> mData;
};

MyCustomType getCustomType()
{
  MyCustomType _customType;
  return _customType;
}

int main()
{
  MyCustomType _t = getCustomType();
}

输出:

Constructor called
Move constructor called

我假设只会构造一个 MyCustomType 实例并将其直接分配给 _t。

有关信息，我使用的是 VC14 编译器。

Answer 1

在您的示例中，您假设将应用 NRVO。但 NRVO 只是一个优化，并不能保证编译器会使用它^。

我用 http://webcompiler.cloudapp.net/ 测试了你的例子.

默认的编译器选项集是:

/EHsc /nologo /W4

在这种情况下，输出与您的类似:

Constructor called

Move constructor called

但是如果使用/O2 标志启用适当的优化:

/O2 /EHsc /nologo /W4

那么输出是:

Constructor called

^ 正如@einpoklum 在评论中提到的，规则自 C++17 以来已经发生了变化。