RVO是编译器自动省略函数返回对象时拷贝/移动构造的优化技术；C++17起prvalue返回的RVO为强制要求，此前为可选优化，NRVO则更易失效。

什么是 RVO：编译器悄悄帮你省掉的一次拷贝

RVO（Return Value Optimization）是 C++ 编译器在满足条件时，自动省略函数返回对象时的拷贝（或移动）构造过程的优化技术。它不是语言特性，而是标准允许的“可实施优化”——即编译器可以、但不必须

做；一旦触发，copy constructor 和 move constructor 都不会被调用（哪怕有副作用也不会执行）。

典型触发场景：函数中直接 return 一个**同类型、非命名的局部对象**（如 return MyClass{...}; 或 return local_obj;，且 local_obj 是函数内定义的非引用局部变量）。

RVO 与 NRVO 的区别：命名 vs 匿名对象

原始 RVO（也叫“纯 RVO”）只适用于匿名临时对象，比如 return MyClass(a, b);；而 NRVO（Named Return Value Optimization）扩展支持对**具名局部变量**的优化，例如：

MyClass create() {
    MyClass result;
    // ... 初始化 result
    return result; // ✅ NRVO 可能生效（取决于编译器和上下文）
}

但 NRVO 更脆弱，常见失效原因包括：

立即学习“C++免费学习笔记（深入）”；

• 函数有多个 return 语句（哪怕只有一条路径实际执行）
• result 在 return 前被取地址（如 &result），或绑定到引用
• 开启了调试模式（如 -O0），多数编译器默认关闭 NRVO
• 类的拷贝/移动构造函数有可观测副作用（如打印日志），编译器可能因“as-if rule”保守放弃

怎么确认 RVO 是否生效：别信直觉，要看汇编或日志

不能仅凭“代码看起来能优化”就认定 RVO 生效。验证方式有：

• 在 copy constructor 和 move constructor 中加 std::cout —— 如果没输出，大概率优化了（注意：输出本身可能被编译器优化掉，建议用 volatile 或写内存）
• 用 g++ -S -O2 生成汇编，搜索是否出现对 MyClass 构造函数的调用（尤其是两次：一次在函数内，一次在 caller 栈上）
• 用 clang++ -Xclang -ast-dump 看 AST，或借助 Compiler Explorer（godbolt.org）对比 -O0 和 -O2 下的行为差异

注意：C++17 起，对于满足条件的 prvalue 返回（如 return MyClass{...};），RVO 已变为**强制要求**（guaranteed copy elision），不再是可选优化——此时即使构造函数是 deleted，代码也合法。

什么时候 RVO 不会触发：这些写法会“劝退”编译器

以下常见写法会阻止 RVO/NRVO，导致不必要的拷贝或移动：

• 返回引用：return std::move(local_obj); —— 显式移动会抑制 NRVO（因为改变了值类别）
• 返回不同类型的表达式：return other_obj;（other_obj 是 OtherClass 类型，需隐式转换）
• 函数参数参与构造：return MyClass(x);，其中 x 是函数参数（非局部变量）
• 启用异常处理且函数体中有 try/catch（部分旧编译器版本会禁用 NRVO）
• 类含有用户自定义的、非 noexcept 的移动构造函数（某些场景下影响判断）

RVO 是透明的，你无法“主动开启”，只能避免破坏它的条件。真正需要控制对象生命周期时，优先考虑移动语义 + 显式 std::move，而不是依赖 NRVO 的稳定性。