C++14 中的 RVO 和删除的移动构造函数

Question

过去几天我一直在学习 (N)RVO。正如我在复制省略文章中所读到的 C++14 中的 cppreference ：

... 允许编译器，但不需要省略类对象的复制和移动（C++11 起）构造，即使复制/移动（C++11 起）构造函数和析构函数也是如此有明显的副作用。这是一个优化：即使它发生并且 copy-/move-constructor 没有被调用，它仍然必须存在并且可访问（好像没有优化发生在all)，否则程序格式错误。

因此，复制 或 移动构造函数必须存在且可访问。但在下面的代码中：

#include <iostream>

class myClass
{
public:
    myClass() { std::cout << "Constructor" << std::endl; }
    ~myClass() { std::cout << "Destructor" << std::endl; }

    myClass(myClass const&) { std::cout << "COPY constructor" << std::endl;}
    myClass(myClass &&) = delete;
};

myClass foo()
{
    return myClass{};
}

int main()
{
    myClass m = foo();
    return 0;
}

我收到以下错误：test.cpp: In function 'myClass foo()': test.cpp:15:17: error: use of deleted function 'myClass::myClass(myClass&&)' return myClass{};。即使我不从main() 调用foo()，我也会收到此错误。 NRVO 也有同样的问题。

因此总是需要移动构造函数，不是吗？ （虽然副本不是，但我检查了它）

我不明白编译器在哪里需要移动构造函数。我唯一的猜测是构造临时变量可能需要它，但这听起来令人怀疑。有人知道答案吗？

关于编译器：我在g++和VS编译器上试过，可以在线查看：http://rextester.com/HFT30137。

附：我知道在 C++17 标准中，RVO 是有义务的。但是 NRVO 不是，所以我想研究一下这里发生了什么，以了解何时可以使用 NRVO。

Answer 1

引用自cppreference:

删除的函数

如果，而不是函数体，特殊语法 = delete ;被使用，函数定义为删除。

...

如果函数被重载，重载决议首先发生，只有当被删除的函数被选中时，程序才是非良构的。

如果你明确定义要删除的移动构造函数，那就不一样了。这里因为这个删除的move构造函数的存在，虽然copy构造函数可以匹配，但是move构造函数更好，所以重载解析时选择move构造函数。

如果你删除显式的delete，那么复制构造函数将被选中并且你的程序将被编译。