在 C++ 中，返回值优化（RVO）是如何工作的？请解释其原理并说明编译器在哪些情况下会应用它。
考察说明
考查对 C++ 返回值优化机制的理解及其适用条件。
回答思路
- 【回答框架 1】返回值优化是编译器对按值返回临时对象的一种优化，它避免创建额外的临时对象，直接将返回值构造在调用方的存储位置，从而减少拷贝或移动操作的开销。C++ 标准允许编译器进行这种优化，即使拷贝或移动构造函数有副作用，编译器也可以省略对它们的调用。
- 【回答框架 2】RVO 主要适用于返回局部对象（如 `return obj;` 或 `return SomeClass(...);`）的场景。当返回的表达式是纯右值（prvalue）时，编译器可以直接在调用方的内存位置构造该对象，避免了中间临时量。此外，还有具名返回值优化（NRVO），适用于返回具名的局部对象。
- 【回答框架 3】编译器是否应用 RVO 取决于实现和优化级别。C++17 起，某些纯右值场景下的复制省略（如 `return T(...)`）成为强制要求，但 NRVO 仍是可选优化。需要明确，RVO 不改变程序的语义，只是对未观察到的副作用进行优化。
- 【回答框架 4】如果返回值优化未被应用，编译器会调用移动构造函数（若可用）来转移资源，这通常比深拷贝更高效，但仍是额外的操作。理解 RVO 能帮助开发者写出更高效的代码，但不应依赖它来改变逻辑行为。
- 【关键点 1】RVO 消除临时对象，直接在调用方构造返回值。
- 【关键点 2】C++17 对纯右值强制实施复制省略，NRVO 仍为可选。
- 【关键点 3】RVO 是编译器优化，不改变可观察的程序行为。
- 【关键点 4】未优化时会退化为移动或拷贝构造，移动更高效。
- 【易错点 1】误以为 RVO 会改变程序语义，实际上它只优化未观察到的副作用。
- 【易错点 2】混淆 RVO 与移动语义，移动仍需显式或隐式调用移动构造函数。
- 【易错点 3】依赖于编译器的特定版本或优化选项来保证性能，而忽略跨平台差异。