C++17起RVO对无名临时对象强制生效，NRVO仍为可选优化；std::move会阻止NRVO，noexcept移动构造影响NRVO成功率。
编译器在满足条件时，会直接在调用方的内存位置构造返回对象，跳过所有拷贝或移动步骤——这不是“可能优化”，而是 C++17 起对无名临时对象的强制要求。
RVO 和 NRVO 触发条件完全不同
RVO（Return Value Optimization）只作用于无名临时对象，比如 return Widget() 或 return std::string("hello")；NRVO（Named Return Value Optimization）才处理具名局部变量，比如 Widget w; return w;。C++17 强制要求 RVO 必须发生，但 NRVO 仍是编译器可选行为，不同编译器、不同优化等级下表现不一。
- C++17 前：两者都只是“允许优化”，
-O2下 GCC/Clang 通常启用 RVO，NRVO 则容易因分支、异常路径、多个 return 语句而失效 - C++17 起：
return Widget()类型的写法必须省略拷贝，即使加了-fno-elide-constructors也无效（标准禁止禁用） - NRVO 却依然可能被破坏：比如函数里有
if/else多个 return 点，或局部对象在某些路径未被初始化
std::move 会阻止 RVO/NRVO
显式调用 std::move 把具名对象转成右值引用，反而让编译器无法应用 NRVO——因为标准规定：只有当 return 表达式是“纯右值”（如临时对象）或“泛左值”（如具名变量本身）时，NRVO 才可能触发；一旦加了 std::move，它就变成“xvalue”，NRVO 被禁止。
- 错误写法：
Widget create() { Widget w; return std::move(w); }→ 强制调用移动构造，且失去 NRVO - 正确写法：
Widget create() { Widget w; return w; }→ NRVO 可能生效（取决于编译器和上下文） - 最稳写法：
Widget create() { return Widget(); }→ C++17 下 RVO 强制生效，无例外
移动构造函数 noexcept 是 NRVO 的隐形门槛
即使编译器想做 NRVO，如果类的移动构造函数没标记 noexcept，部分标准库实现（尤其是容器内部操作）可能退回到拷贝路径，间接影响外层函数的优化效果。更关键的是：某些编译器在判断是否启用 NRVO 时，会把移动构造是否 noexcept 当作安全依据之一。
立即学习“C++免费学习笔记（深入）”；
- NRVO 在含异常处理的函数中更容易失败，而
noexcept移动构造能降低编译器的保守倾向 - 若类管理堆内存（如
std::vector、自定义缓冲区），务必为移动构造/赋值加上noexcept - 漏写
noexcept不会导致编译错误，但可能让本可优化的 NRVO 静默降级为移动构造
真正难的不是理解 RVO 存在，而是知道它在哪条 return 语句上生效、在哪条上被悄悄绕过——尤其当代码从 C++14 升到 C++17 后，同一段 return 的行为可能从“看编译器心情”变成“必须省略”，也可能因一个 std::move 让原本能 NRVO 的路径彻底失效。
