NRVO 失效的典型条件包括：多分支返回不同变量、返回引用/指针/成员、含 try/catch 或内联汇编、未启用优化（-O0）或显式禁用（-fno-elide-constructors），以及对局部对象取地址或绑定引用等破坏“就地构造”安全性的操作。
NRVO 失效的典型条件有哪些
NRVO 不是强制优化，编译器只在满足严格安全前提时才启用。它失效不是“编译器偷懒”，而是因为代码结构让编译器无法静态确认：那个具名局部对象一定能被安全地“就地构造”到调用方栈帧中。
多个 return 语句返回不同变量会禁用 NRVO
只要函数中有两个或以上 return 语句，且它们返回的是**不同名称的局部对象**，NRVO 几乎必然失效。编译器无法为多个目标位置预留同一块内存，也无法判断哪条路径最终执行。
-
return a;和return b;→ NRVO 禁用（即使a和b类型相同） -
return a;和return a;（所有路径都返回同一个变量）→ NRVO 可能生效，但不保证 - 带
if/else但只有一处return a;，其余路径是throw或无返回 → 属于单返回点，NRVO 通常有效
返回引用、指针或成员访问会绕过 NRVO
NRVO 只适用于“直接返回具名对象本身”。一旦你对它取地址、取引用、或返回其成员，编译器就无法将调用方的存储位置“映射”过去。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
return obj;→ NRVO 可能发生 -
return &obj;或return std::ref(obj);→ NRVO 不适用（根本不是返回对象） -
return obj.member;→ NRVO 不生效（返回的是子对象，生命周期和布局不等价） -
return static_cast<base>(obj);→ 通常禁用 NRVO（类型转换引入不确定性）
异常处理、内联汇编和优化等级直接影响 NRVO
NRVO 是编译期决定的优化，它依赖编译器对控制流和对象生命周期的精确建模。以下情况会让建模失败：
立即学习“C++免费学习笔记（深入）”；
- 函数体中存在
try/catch，尤其当return分布在try和catch块中 → Visual C++ 和 GCC 均倾向于放弃 NRVO - 函数内含
__asm或asm内联汇编，且汇编代码可能读写该局部变量 → 编译器保守起见禁用 - 未开启优化（如
-O0）→ 大多数编译器默认关闭 NRVO；-O2或-O3下才积极尝试 - 使用
-fno-elide-constructors→ 显式禁止所有拷贝省略，NRVO 和 RVO 全部失效
真正容易被忽略的是：NRVO 生效与否，不能只看“有没有命名变量”，而要看“编译器能否证明这个变量在所有可行执行路径中，都以完全相同的方式被返回，且不被外部观测或中途劫持”。哪怕加了一行 std::cout ，也可能因地址泄露导致 NRVO 被弃用。
