RVO在多个return分支、条件返回不同类型、返回成员/引用、虚函数调用或显式std::move时被禁用；C++17对纯右值强制TCO，但具名变量仍不强制RVO。
哪些情况会让 C++ 编译器跳过 RVO
RVO 不是魔法，它只在满足严格条件时才生效。编译器看到 return 语句后，如果无法静态确定“只有一个可能的返回对象”，就会放弃优化。最常见的是多个 return 分支返回不同局部对象，或带条件逻辑的构造路径。
- 函数有多个
return语句，且指向不同命名对象（比如return a;和return b;） - 返回值类型依赖模板参数或运行时条件（如
if (flag) return Foo(); else return Bar();） - 返回的是局部对象的成员、引用或指针（
return obj.data;），而非对象本身 - 函数声明为
virtual或通过函数指针调用 —— 编译器无法在编译期确认实际返回路径
std::move 在返回语句里为什么反而阻止 RVO
显式写 std::move 告诉编译器：“请按右值方式处理这个对象”。但 RVO 的前提是“把局部对象直接构造到调用方的返回槽里”，而 std::move 强制触发移动构造，绕过了构造阶段，等于主动关闭了优化通道。
- 写
return std::move(x);后，编译器必须调用X(X&&)，哪怕x是局部变量 - C++17 起对纯右值（如
return X{};）强制要求 TCO（临时对象消除），但对具名局部变量仍不强制 RVO；加std::move就彻底失去被优化的机会 - 唯一合理使用
std::move返回的场景：返回一个非局部、非自动存储期的对象（比如类成员），且你明确希望触发移动（此时本就不存在 RVO）
怎么判断你的函数是否真的触发了 RVO
别猜，看汇编或加日志。RVO 生效时，构造函数和析构函数都只调用一次；失效时，你会看到局部对象的构造 + 移动构造（或拷贝构造）+ 局部对象析构。
- 在类中给
X()、X(const X&)、X(X&&)、~X()打印日志，观察调用次数 - 用
g++ -S -O2看生成的汇编：若没看到对移动/拷贝构造函数的调用，大概率 RVO 成功 - Clang 提供
-Rpass=inline（配合-O2）可提示优化行为，但 RVO 不在此列；更直接的是启用-fno-elide-constructors强制禁用 RVO，对比前后行为差异
安全写法：让 RVO 尽量生效的实践习惯
核心是“单一、明确、无歧义”。不是靠技巧，而是靠结构约束。
立即学习“C++免费学习笔记（深入）”；
- 函数只设一个
return语句，放在末尾；中间逻辑用提前return处理错误，但正常路径统一收口 - 返回对象统一用同一变量名定义，避免
a/b分支；必要时用三元运算符（return cond ? X{1} : X{2};），C++17 起这种也常能 RVO - 不要为了“看起来高效”而加
std::move；现代编译器对具名局部变量的移动优化（NRVO）已很成熟，但前提是不干扰它 - 若函数逻辑复杂到难以收敛到单点返回，考虑拆成小函数，或改用输出参数（
void f(X& out)），反而更可控
真正难处理的是跨作用域、多态返回、或需要延迟构造的场景 —— 这些地方 RVO 本来就不该指望，得靠 move-aware 接口设计兜底。别试图在边界模糊处强推 RVO，不如接受一次移动的成本更实在。
