为什么这些对象是通过复制而不是通过移动返回的？

Question

为什么使用复制构造函数而不是移动构造函数返回的geta（）和geta2（）返回的值实例？

我正在使用Visual Studio社区2017，但是Godbolt GCC/20和在线GDB给出相同的结果。

struct A { 
    int *buff;
    A() {
        cout << "A::constructor\n";
        buff = new int[1000000];
    } 
    A(const A& a) {
        cout << "A::copy constructor\n";
        buff = new int[1000000];
        memcpy(buff, a.buff, 1000000*sizeof(int));
    }
    A(A&& original)
    {
        cout << "Move constructor" << endl;
        buff = original.buff;
        original.buff = nullptr;
    } 
    ~A() { cout << "A::destructor\n"; delete[] buff; }
};

A getA()
{
    A temp[1];
    temp[0].buff[0] = 7;
    return temp[0]; 
}

A getA2()
{
    A temp;
    A& temp2 = temp;
    temp2.buff[0] = 7;
    return temp2; // copy on return value
}
int main() {
    A copy = getA();  // calls copy instead of move
    A copy2 = getA2();  // also calls copy instead of move
}

Answer 1

如果目标是对语句 A copy = getA(); 和 A copy2 = getA2(); 进行移动构造，那么它可以通过使用 C++11 或 C++14 标志 -fno-elide-constructors 进行编译来完成。

演示。

虽然来自 GCC

C++ 标准允许实现省略创建临时对象，该临时对象仅用于初始化相同类型的另一个对象。指定此选项会禁用该优化，并强制 G++ 在所有情况下调用复制构造函数。

所以我不确定为什么在你的情况下，这个选项可以实现移动构建。这可能是一个错误，或者对我这边正在发生的事情的概念缺乏理解。因此，如果/需要时我会删除这个答案（一旦我知道为什么会发生这种情况）。

我无法将其放入评论中，因此在此发布作为答案。