C++中NRVO机制工作原理及返回值地址差异的疑问

测试代码 #

#include <iostream>

int foo(int a_func) {
   std::cout << "Address of a_func: " << &a_func << std::endl;
   return a_func;
}

int main(int argc, char **argv) {
   int a = 10;
   std::cout << "Address of a: " << &a << std::endl;

   int &&a_func_return{foo(a)};
   std::cout << "Address of a_func_return: " << &a_func_return << std::endl;

   return 0;
}

运行输出 #

Address of a: 0x796ca0209020
Address of a_func: 0x796ca0209060
Address of a_func_return: 0x796ca0209030

问题1：C++中NRVO机制在函数返回值中的工作原理是什么？ #

NRVO是命名返回值优化的缩写，是C++编译器用来消除对象拷贝开销的优化手段，专门针对函数返回自身内部命名局部对象的场景：

• 无优化时，函数返回局部对象需要先将该对象拷贝（或移动）到调用方的临时存储区，再由调用方处理；
• 开启NRVO后，编译器会直接在调用方预留的返回值存储位置上构造函数内的命名局部对象，彻底跳过拷贝/移动步骤，直接节省这部分性能消耗。

注意：NRVO不是C++标准强制要求的优化，编译器可自行决定是否启用；且仅当函数返回的是自身内部定义、未被特殊修改的命名局部对象时，才有可能触发该优化。

问题2：若存在拷贝消除，a_func与a_func_return的地址为何不相同？ #

你的代码场景根本不会触发NRVO，核心原因有两点：

1. 不符合NRVO触发条件：NRVO仅针对函数内部自行定义的命名局部对象，而a_func是foo的函数参数，属于调用方传递的变量，并非foo内部声明的局部对象，不满足NRVO的适用场景；
2. 栈帧隔离限制：foo函数的参数a_func位于foo的独立栈帧中，a_func_return则在main函数的栈帧里。两个栈帧是完全独立的内存区域，编译阶段就已确定各自的布局，编译器无法跨栈帧复用内存位置——这不符合栈的工作逻辑。

另外，这里返回的是int这类基本类型，其返回操作本质是值拷贝，和类对象的构造/拷贝逻辑不同，哪怕编译器做其他优化，也不会用到针对对象的NRVO机制。

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