NRVO是C++编译器对具名局部对象直接在调用方返回位置构造的优化技术，要求函数所有return语句均返回同一具名变量、类型完全匹配，且不返回形参或临时量；C++17起满足条件时为强制行为。
NRVO（Named Return Value Optimization）是C++编译器在特定条件下对函数返回局部对象时实施的一种优化技术，目的是避免不必要的对象拷贝或移动。它不改变程序行为，但能显著提升性能，尤其对大型对象或不可移动类型特别有用。
NRVO 作用的核心场景
当函数中定义了一个具名的局部对象，并且所有 return 语句都直接返回该对象（或其引用/别名，如 const T&），编译器就可能跳过构造-拷贝/移动-析构这一整套流程，改为直接在调用方的返回目标位置构造该对象。
- 函数返回类型必须与局部对象类型相同（或可隐式转换，但NRVO通常要求完全匹配）
- 所有 return 语句都返回同一个具名局部变量（不能有的返回 a，有的返回 b）
- 不能返回形参、临时量、或通过条件表达式间接生成的对象（如 return cond ? a : b）
一个典型可触发 NRVO 的例子
以下代码中，func() 很可能触发 NRVO（取决于编译器和优化级别）：
class BigObj { /* ... 大型数据成员，拷贝代价高 ... */ };BigObj func() {
BigObj result; // 具名局部对象
// ... 初始化 result
return result; // 所有 return 都返回 result
}
NRVO 与 RVO 的区别
RVO（Return Value Optimization）泛指所有返回值优化，包括两种形式：
立即学习“C++免费学习笔记（深入）”；
- NRVO：针对具名局部对象（如上面的 result）
- （普通）RVO：针对匿名临时对象（如 return BigObj{...};）
两者都是标准允许的“强制省略”（C++17 起，RVO/NRVO 在满足条件时成为强制行为，不再只是可选优化）。
如何确认 NRVO 是否发生
无法直接从源码100%保证，但可通过以下方式辅助判断：
- 开启优化（如 -O2）并观察运行时性能或构造/析构函数调用次数
- 在类中打印构造、拷贝、移动、析构日志，若只看到一次构造（且无拷贝/移动），大概率触发了NRVO
- 查看编译器生成的汇编（如 gcc -S），检查是否只调用了一次构造函数
注意：即使不满足NRVO条件，现代编译器常会尝试移动语义（如果类型可移动）作为退化方案，效果接近但仍有开销。
