需要一些帮助来理解 C 11 移动构造函数 [重复]

Question

作为一个C新手，我真的很难理解C 11的新Move-Constructor，我希望有人可以解释我偶然发现的具体情况。让我们以此示例代码为例：

#include <iostream>

using namespace std;

class Model {
public:
    int data;
    Model(int data) : data(data) { cout << "Constructor" << endl; }
    Model(Model&& model) { cout << "Move constructor" << endl; }
    ~Model() { cout << "Destructor" << endl; }

private:
    Model(const Model& model);
    const Model& operator=(const Model&);

};

Model createModel(int data) {
    return Model(data);
}

int main(void) {
    Model model = createModel(1);
    cout << model.data << endl;
    return 0;
}

因此，我创建了一个 createModel 函数，该函数应将模型作为临时右值返回，并且我想将其分配给左值。我不希望编译器创建 Model 对象的副本，因此我将复制构造函数定义为私有构造函数，并且我对赋值运算符执行相同的操作，以确保不复制任何数据。完成此操作后，代码不再正确编译，因此我添加了 Move 构造函数，现在它再次编译。但是当我运行程序时，我得到这个输出：

Constructor
1
Destructor

所以移动构造函数从未被调用过。我不明白为什么我必须指定移动构造函数才能在运行时根本不使用它时编译程序。

是因为编译器(GCC 4.8.2)把Move构造函数优化走了吗？还是这里表演了其他什么魔术？

那么，有人能解释一下上面代码中到底发生了什么吗？代码可以实现我想要的，但我真的不明白为什么。

Answer 1

您是此处返回值优化的“受害者”。

注意这一点:“在C语言中，允许改变结果程序的可观察行为是特别值得注意的”。

编辑：因此，允许编译器应用优化，即使移动ctor（cout）的副作用已更改。

Answer 2

我认为这是你所说的复制省略（即防止复制对象）并直接使用它。请参见：复制省略：在 return 语句中使用三元表达式时未调用移动构造函数？

Answer 3

您的程序中可能会发生两个动作：

1. 从函数到返回对象
2. 从返回对象到模型

出于同样的原因，编译器可以省略这两个步骤:

当尚未绑定到引用(12.2)的临时类对象将被复制/移动到具有相同cv-unqualified类型的类对象时，可以通过将临时对象直接构造到省略的复制/移动的目标中来省略复制/移动操作

存在复制/移动省略的其他情况（参见C 11中的§12.8/31）。请注意，复制/移动省略是完全可选的-编译器不必这样做。

请注意，只要编译器不改变程序的行为（在as-if规则下），就可以绝对优化任何内容。标准中明确提到复制/移动省略的原因是，如果您的复制/移动构造函数有副作用，它可能会改变程序的行为。允许编译器执行此优化，即使它改变了程序的行为。这就是为什么复制/移动构造函数不应该有副作用，因为这样你的程序将有多个有效的执行路径。

您可以将-fno-elide构造函数选项传递给gcc，以确保从不执行此优化。