RVO是C++中函数返回局部对象时编译器直接在调用方内存位置构造对象、省略拷贝/移动的机制；C++17起对满足条件的情形强制执行，即使构造函数有副作用也不调用。
什么是 RVO：函数返回局部对象时的复制省略
RVO（Return Value Optimization）是 C++ 中最常见的一种复制省略形式，指编译器在函数返回一个局部对象时，直接在调用者提供的目标位置构造该对象，跳过临时对象创建和拷贝/移动操作。
它不是“优化选项”，而是自 C++17 起成为强制行为（guaranteed copy elision），只要满足条件，编译器必须省略拷贝或移动构造——哪怕这些构造函数有副作用（比如打印日志），也不会被调用。
典型触发场景：return 语句直接返回一个与函数返回类型相同的、未绑定到引用的局部变量（或字面量/临时对象）。
- ✅ 有效（触发 RVO）：
T func() { T obj; return obj; // OK：obj 是局部自动变量，类型匹配 } - ❌ 无效（不触发 RVO）：
T func() { T obj; T& ref = obj; return ref; // ❌ 返回引用，不满足“直接返回局部对象”条件 } - ⚠️ 注意：C++17 前是允许但非强制；C++17 起对满足条件的 RVO 是强制省略，
T()、T{}等纯右值返回也强制省略
NRVO 和 RVO 的区别在哪
RVO 处理的是返回字面量或匿名临时对象（如 return T{};），而 NRVO（Named Return Value Optimization）特指返回具名局部变量（如 return obj;）。两者都属于复制省略，但 NRVO 在 C++17 前是可选优化，且更易被破坏。
立即学习“C++免费学习笔记（深入）”；
NRVO 容易失效的常见原因：
- 函数有多个
return语句，且返回不同变量（如if (x) return a; else return b;） - 返回变量在某个分支中未定义（比如定义在
if内部） - 返回变量类型与函数声明类型存在隐式转换（如返回
int，函数声明为long） - 编译器开启异常处理（如
-fexceptions）且函数可能抛异常时，部分旧版编译器会禁用 NRVO 以保证栈展开正确性
验证是否发生 NRVO：给类添加带输出的拷贝/移动构造函数，观察是否被调用。若没输出，大概率发生了 NRVO（C++17 前）或强制省略（C++17+）。
如何确认编译器是否执行了复制省略
不能只靠“代码看起来能省”，得看实际行为。最可靠方式是检查生成的汇编或运行时副作用。
- 在类中定义拷贝/移动构造函数，并加入
std::cout —— 如果没输出，说明被省略（前提是编译器没把输出整个优化掉；可用volatile或调试构建避免误判） - 用
g++ -S -O2生成汇编，搜索是否有对memcpy、类内拷贝构造函数符号的调用；RVO 后通常只有一次构造，无后续复制逻辑 - Clang/GCC 都支持
-fno-elide-constructors强制禁用所有复制省略（仅用于测试，非生产使用），对比启用/禁用时的行为差异 - 注意：即使开启了
-O0，现代编译器（尤其 Clang）仍可能做 RVO，因为它是语义要求的一部分（C++17+）
复制省略影响 ABI 和对象生命周期的理解
很多人以为“省略拷贝=对象多活了一次”，其实不然：复制省略改变的是对象的**构造地点和身份**，不是延长生命周期。
- RVO 后，返回的对象就是调用点处的最终对象（比如
T x = func();中的x），它在func()栈帧内被直接构造于x的内存位置 —— 没有中间临时对象，也没有析构时机差异 - 这意味着：如果在
func()中对返回对象取地址（&obj），该地址就是外部变量的地址（调试时可验证） - 副作用陷阱：若拷贝构造函数里有日志、资源分配等逻辑，依赖它被调用的代码在 C++17+ 下会彻底失效 —— 不是 bug，是标准行为
- 移动语义无关化：C++11 引入移动构造本为减少拷贝开销，但 RVO/NRVO 让它根本没机会被调用；因此写高效代码，优先设计可被 RVO 触发的接口（如返回新对象，而非传入输出参数）
真正容易被忽略的点：复制省略让“对象构造位置”脱离直觉。你写的 T obj; 看似在函数内，但它可能被挪到调用方栈上 —— 这对涉及栈深度、alloca、信号处理或调试器查看局部变量的场景，会产生微妙但真实的影响。
