RVO是编译器跳过返回对象的拷贝构造，直接在调用方内存位置构造未命名临时对象；C++17起对纯右值强制省略，而NRVO针对具名局部变量，优化稳定性较低且易受分支、取地址等影响。
什么是RVO：编译器跳过返回对象的拷贝构造
RVO（Return Value Optimization）是C++编译器在函数返回局部对象时，直接在调用方的栈/内存位置构造该对象，从而完全省略拷贝或移动构造的过程。它不是C++标准强制要求的行为，但自C++17起，对满足条件的“纯右值临时对象”已变为强制省略（guaranteed copy elision），而传统RVO仍属可选优化。
关键点在于：只要函数返回一个**未命名的临时对象**（比如 return MyClass() 或 return MyClass{a, b}），编译器就可能启用RVO——此时你甚至看不到拷贝/移动构造函数被调用。
- 不依赖
std::move，也不需要移动构造函数存在 - 即使类没有定义移动构造函数，RVO依然生效
- 调试模式下可能被禁用（如GCC加
-O0、MSVC加/Od），导致拷贝行为重现
NRVO和RVO的区别：命名对象能否被优化？
NRVO（Named Return Value Optimization）针对的是返回**具名局部变量**的情形，比如 MyClass obj; return obj;。它比RVO更难实施，因为变量有名字、可能被多次使用、生命周期更复杂，因此是否触发NRVO取决于编译器实现和上下文。
示例对比：
立即学习“C++免费学习笔记（深入）”；
MyClass create_rvo() {
return MyClass(42); // RVO：几乎总被优化
}
MyClass create_nrvo() {
MyClass obj(42);
// ... 可能对obj做其他操作
return obj; // NRVO：不一定优化，尤其有分支或副作用时
}
- NRVO在现代编译器（GCC 7+、Clang 5+、MSVC 2017+）中默认开启，但稳定性不如RVO
- 只要函数内有多于一个
return语句指向不同对象（如if (x) return a; else return b;），NRVO大概率失效 - 对
obj取地址（&obj）或绑定到引用（auto& r = obj;）也可能阻止NRVO
怎么验证RVO/NRVO是否生效？
最可靠的方式是让类的拷贝/移动构造函数带可见副作用（如打印日志），再在不同优化等级下编译运行。
示例类：
struct Test {
Test() { std::cout << "ctor\n"; }
Test(const Test&) { std::cout << "copy ctor\n"; }
Test(Test&&) noexcept { std::cout << "move ctor\n"; }
};
- 用
g++ -O2编译并运行，若只看到ctor而无copy ctor或move ctor，说明RVO/NRVO已生效 - 换成
g++ -O0，通常会看到完整拷贝链，便于调试逻辑 - 注意：C++17起，
Test f() { return Test{}; }这种写法在任何标准合规编译器中都不会调用拷贝/移动构造函数，这是语言保证，不是优化
写代码时要注意什么？
不要为绕过RVO/NRVO而刻意写 std::move(local_var) 返回——这反而可能阻止优化，甚至引发未定义行为（例如移动后再次使用 local_var）。
- 返回具名变量时，保持路径单一、避免取地址、减少中间修改，有助于NRVO触发
- 不要依赖拷贝/移动构造函数的副作用（如资源计数、日志），因为它们可能被完全跳过
- 如果必须观察构造过程（如单元测试），改用指针或显式工厂函数（
std::make_unique等），避开返回栈对象的场景
真正容易被忽略的是：C++17的强制省略只适用于纯右值返回，而NRVO仍是编译器自由裁量的；同一段代码在不同编译器或版本间，NRVO行为可能不一致。
