调用者栈帧是否需要临时对象？无编译器优化下的构造调用分析

咱们先把这个问题拆成两部分来聊，先看无编译器优化时的调用流程，再讲返回值优化的作用：

无编译器优化时的构造函数调用链 #

当你在函数里返回一个对象，且没有任何优化的情况下，会经历这三步构造调用：

• 函数内部构造：在函数栈帧里创建局部对象时，直接调用对象的构造函数（比如MyClass local_obj{args};这一步）。
• 第一次移动构造：函数准备返回时，会在调用者的栈帧里预留一块临时内存区域，然后把函数内的局部对象移动到这个临时位置，触发一次移动构造函数。
• 第二次移动构造：调用者需要把临时区域的对象转移到自己的目标变量中时，又会触发一次移动构造函数，完成最终的赋值/初始化。

返回值优化（RVO）与具名返回值优化（NRVO）的核心作用 #

这两种优化的本质都是彻底消除临时对象的创建，直接在目标位置构造对象，省去中间的移动/拷贝步骤：

• RVO（Return Value Optimization）：这是标准明确允许的、可始终应用的优化。说白了，编译器会直接跳过临时内存的预留，让函数在调用者的目标变量位置直接构造返回对象——相当于把函数内的构造逻辑“平移”到了调用者的目标变量上，完全不需要移动操作。
• NRVO（Named Return Value Optimization）：这个是针对函数内返回具名局部对象的场景（比如前面提到的local_obj），它的生效依赖程序的控制流程（比如不能有多个分支返回不同的具名对象）。但一旦生效，效果和RVO一致：直接在调用者的目标位置构造那个具名局部对象，彻底消除中间的移动/拷贝开销。

需要注意的是，这两种优化不需要依赖类的移动构造函数——哪怕你的类只有拷贝构造，编译器也能完成优化；当然，有移动构造的话，即使优化没生效，开销也会比拷贝小很多。

内容的提问来源于stack exchange，提问作者peterulb