Question

我正在试图看看在这个例子中调用每个方法的时间：

#include <iostream>
using namespace std;

class A {
public:
    int x;
    A(int x) : x(x) {cout<<"default ctor"<<endl;}
    A(const A& a) : x(a.x) {cout<<"copy ctor"<<endl;}
    A& operator =(const A& a) {cout<<"assignment op"<<endl;x=a.x;return *this;}
};

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

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

我希望使用句子return A(5)调用复制构造函数，因为只要我知道何时返回一个对象，就会创建并返回一个临时副本。而且，在句子A a = f()中，我希望也可以调用复制构造函数，因为a正在被另一个A对象初始化。

为什么要打印default ctor？

Answer 1

这里有两个优化。 Return Value Optimization (RVO) 并且Copy Elision会通过初始化将f()的返回值直接合并到目标变量中。所以这段代码：

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

从根本上优化：

A a(5);

Answer 2

因为在

的情况下允许c ++编译器跳过operator=

A a = A();
A b = A(a);

并直接使用构造函数。他们也被允许执行复制省略的返回值优化。

所以最后你基本上有A a(5);

为什么默认构造函数是唯一使用的？

2 个答案: