RVO和NRVO是编译器优化技术，分别针对返回临时对象和具名局部对象的场景，通过就地构造避免拷贝/移动；C++17起对纯右值返回强制要求类似RVO的行为（guaranteed copy elision）。
返回值优化（RVO）和命名返回值优化（NRVO）是 C++ 编译器在构造函数调用和对象返回过程中，主动跳过临时对象拷贝或移动操作的优化技术。它们不是语言标准强制要求的行为，而是编译器在满足特定条件时可自由应用的优化手段，目标是消除不必要的对象构造、拷贝或移动，从而提升性能——尤其对大型对象或不可拷贝/移动类型（如 std::unique_ptr）至关重要。
RVO：直接在调用方栈空间构造返回对象
RVO 针对的是“返回一个临时对象”的场景。当函数直接返回一个匿名临时对象（如 return MyClass(1, 2); 或 return func();），编译器可以绕过先构造临时对象再拷贝到返回位置的过程，改为将该对象直接构造在调用者为返回值预留的内存位置上。
- 无需调用拷贝构造函数或移动构造函数
- 即使类没有定义移动构造函数，RVO 仍可生效（不依赖移动语义）
- 示例中
make_obj()返回临时对象，实际执行时可能完全不触发拷贝
NRVO：对具名局部对象也尝试就地构造
NRVO 是 RVO 的扩展，适用于函数内定义了具名局部对象并直接返回它的情况（如 MyClass obj; return obj;）。编译器会尝试把该局部变量直接构造在返回目标位置，避免后续拷贝。
- 比 RVO 更难触发：需满足“单一返回路径”“无别名干扰”等严格条件
- 若函数有多个 return 语句（如不同分支返回不同局部变量），多数编译器放弃 NRVO
- C++17 起，对于满足条件的“纯右值返回”，强制要求类似 RVO 的行为（称为 guaranteed copy elision）
如何确认优化是否发生？
不能仅靠观察代码逻辑判断，需结合实际行为验证：
立即学习“C++免费学习笔记（深入）”；
- 在拷贝/移动构造函数中加日志输出，运行程序看是否被调用
- 用
-fno-elide-constructors（GCC/Clang）禁用 RVO/NRVO，对比性能或日志差异 - 查看汇编输出（如
g++ -S），检查是否跳过了构造+拷贝序列
编写利于优化的代码习惯
虽然编译器自动决策，但你可以提高 RVO/NRVO 触发概率：
- 尽量让函数只有一处 return，并返回同一个具名对象（利于 NRVO）
- 避免对返回对象取地址（
&obj）或绑定到引用（可能阻止优化） - 不要为“防止 RVO”而刻意写
return std::move(obj);—— 这反而可能抑制 NRVO 并强制调用移动构造 - 在 C++17 及以后，优先使用直接初始化（
auto x = make_obj();）而非复制初始化（MyClass x = make_obj();），前者更易享受 guaranteed elision
