实现移动构造函数如何影响返回值优化？

Question

请考虑以下代码段：

#include <iostream>
#include <string>

class A { 
 public:
    A() { 
        std::cout << "A::A()\n";
    } 

    ~A() { 
        std::cout << "A::~A()\n";
    } 

    A(const A&) = delete;

    A(A&&) { 
        std::cout << "A::A(A&&)\n";
    };

};

A f() { 
    A a;
    return a;
}

int main() { 
    A a = f();
    return 0;
}

它用g++和clang++编译好，输出就是

A::A()
A::~A()

在这种情况下，似乎RVO开始了。 请注意，没有调用移动构造函数。

但是，如果将从上面的代码中删除该未使用的移动构造函数，并且代码段变为：

#include <iostream>
#include <string>

class A { 
 public:
    A() { 
        std::cout << "A::A()\n";
    } 

    ~A() { 
        std::cout << "A::~A()\n";
    } 

    A(const A&) = delete;

};

A f() { 
    A a;
    return a;
}

int main() { 
    A a = f();
    return 0;
}

clang++和g++拒绝编译它，因为类A的copy-constructor被标记为已删除，因此似乎没有发生RVO。

如何删除未使用的移动构造函数可能导致这种情况？

Answer 1

请注意，在复制省略优化中，复制/移动构造函数仍然必须存在且可访问。 并且不保证在每种情况下都会执行复制省略。

（强调我的）

即使发生了复制省略并且没有调用复制/移动构造函数， 它也必须存在并且可访问（就好像根本没有进行优化 ），否则程序就会形成错误。

对于你的代码，复制构造函数已被delete ，如果你删除了移动构造函数的定义，并且它不会被隐式声明，因为类A有一个用户定义的析构函数，那么两个移动/复制构造函数都不存在并且可访问，这就是编译失败的原因。

总之，这里需要复制/移动语法，编译器将检查它。 然后编译器将决定是否执行复制省略（例如，在调试模式下）。

顺便说一句：您可以使用带有clang和gcc的-fno-elide-constructors来禁止它。

Answer 2

您需要记住（N）RVO是一种优化。 即使它启动，代码也应该符合标准，它表示使用复制（或移动）构造函数构造值。 即使构造函数最终没有被调用，它也必须是可用的。

如果由于优化而无法调用，则有一个允许缺少/不可用的构造函数的提议，但我怀疑它是否会被实现。

Answer 3

如果你有复制构造函数，你也必须有移动构造函数，如果我没记错的话。