为什么返回LOCAL变量时未调用复制构造函数

Question

当我尝试返回函数中定义的局部变量时，我无法弄清楚为什么未调用copy-constructor。请参见以下简化示例：

#include <iostream>
using namespace std;

class X {
public:
    X() { cout << "Default Constructor" << endl; }
    X(const X&) { cout << "Copy Constructor" << endl; }
};

X f(X x) { return x; }

X g() { 
    X y;
    return y;
}

int main() {
    cout << "First create an object" << endl;
    X a;
    cout << "Call f()" << endl;
    f(a);
    cout << "Call g()" << endl;
    g();
}

编译程序的输出如下

First create an object
Default Constructor
Call f()
Copy Constructor
Copy Constructor
Call g()
Default Constructor

我知道调用时发生了什么f()，但不知道为什么return y在的调用g()中不会触发复制构造函数。

Answer 1

编译器优化了返回副本。这称为NRVO（命名返回值优化）。

在具有类返回类型的函数的return语句中，当表达式是具有与函数返回类型相同的cv不合格类型的非易失性自动对象（函数或catch子句参数除外）的名称时，通过将自动对象直接构造到函数的返回值中，可以省略复制/移动操作

即使复制构造函数有副作用，也允许编译器执行此操作。

当满足某些条件时，即使该对象的复制/移动构造函数和/或析构函数具有副作用，也允许实现忽略类对象的复制/移动构造。

也就是说，如果给复制/移动构造函数带来副作用，则程序将具有多个有效的执行路径，具体取决于编译器是否要优化。