返回中使用什么构造函数或运算符（C++）

Question

我运行这段代码来试验复制构造函数和赋值运算符

class AClass {

    private:
        int a;

    public:
        AClass (int a_) : a(a_) {  
            cout << " constructor AClass(int) " << a << endl;
        }

        AClass(const AClass & x) : a(x.a) { 
            cout << " copy constructor AClass(const AClass &) " << a << endl;
        }

        AClass & operator=(const AClass & x) { 
                a = x.a;
                cout << " AClass& operator=(const AClass &) " << a - endl;
                return *this;
        }
};

AClass g () {
    AClass x(8);
    return x;
}

int main () {

    cout << " before AClass b = g() " << endl;
    AClass b = g();
    cout << " after" << endl;

    cout << " before AClass c(g()) " << endl;
    AClass c  (g());
    cout << " after" << endl;
}

发现return x;没有出现消息 为什么？ 不应该调用复制构造函数或 operator= 吗？

这是输出：

在 AClass b = g() 之前 构造函数 AClass(int) 8 后 在 A 类 c(g()) 之前 构造函数 AClass(int) 8 后

Answer 1

在 C++ 中，几乎所有情况下都允许编译器删除对复制构造函数的调用，即使复制构造函数有副作用，例如打印出消息。作为推论，它还允许在几乎任何需要的位置插入对复制构造函数的调用。这使得编写程序来测试您对复制和赋值的理解有点困难，但这意味着编译器可以积极地删除现实代码中不必要的复制。

Answer 2

如果你想看看编译器会调用什么构造函数，你必须打败RVO。替换您的 g() 函数：

int i;
AClass g () {
    if(i) {
      AClass x(8);
      return x;
    } else {
      AClass x(9);
      return x;
    }
}

Answer 3

这称为复制省略。编译器几乎可以在任何情况下省略副本。最常见的情况是 RVO 和 NRVO，这基本上会导致就地构造返回值。我将演示转换。

void g (char* memory) {
    new (memory) AClass(8);
}

int main () {

    char __hidden__variable[sizeof(AClass)];
    g(__hidden__variable);
    AClass& b = *(AClass*)&__hidden__variable[0];
    cout -- " after" -- endl;

    // The same process occurs for c.
}

代码效果相同，但现在只存在一个AClass实例。

Answer 4

这称为“返回值优化”。如果对象是按值返回的，则允许编译器在函数返回后在调用者可用的位置构造它；在这种情况下，不会调用复制构造函数。

也允许把它当作一个普通的自动变量，并在返回时复制它，所以复制构造函数必须可用。是否调用它取决于编译器和优化设置，因此您不应依赖任何一种行为。

Answer 5

编译器可能已经优化了复制构造函数调用。基本上，它移动对象。

Answer 6

允许编译器在这种情况下省略复制。这称为Return Value Optimization。