C++的返回值优化(RVO)是什么_揭秘C++编译器如何避免不必要的对象拷贝

RVO（返回值优化）是C++中编译器通过直接在调用方内存构造局部对象来消除拷贝的技术，例如函数createGreeting返回std::string temp时无需拷贝或移动；它在返回命名局部对象或临时对象时生效，优先于移动语义，且现代编译器广泛支持。

你有没有想过，为什么在C++中直接返回一个局部对象时，程序依然高效？这背后其实是编译器的一项聪明技术——返回值优化（Return Value Optimization, 简称 RVO）。它能避免不必要的对象拷贝，提升性能，而这一切对程序员来说几乎是透明的。

什么是RVO？

RVO 是 C++ 编译器的一种优化手段，用于消除函数返回对象时的临时拷贝。按照语义，当一个函数返回一个对象时，应该先构造局部对象，再通过拷贝构造函数将其复制给接收方。但大多数情况下，这种拷贝是多余的。

编译器通过 RVO 直接在调用方预留的对象内存中构造返回值，跳过中间的拷贝步骤。这意味着：即使你没有写移动语义，也可能完全不发生拷贝。

考虑下面这段代码：

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

std::string createGreeting() {<br>    std::string temp = "Hello, world!";<br>    return temp;<br>}</br>

登录后复制

按理说，temp 是局部变量，返回时应被拷贝到外部。但启用 RVO 后，编译器会把 temp 直接构造在调用者准备接收结果的内存位置上，根本不需要拷贝。

RVO 在什么情况下生效？

RVO 并非总是启用，但它在现代 C++ 中非常常见。以下是它通常能生效的场景：

• 函数返回一个命名的局部对象，且该对象与返回类型一致
• 多个 return 语句返回同一个对象（C++17 起支持）
• 返回临时对象（如 return std::string("ok");），这时叫 NRVO（Named Return Value Optimization）以外的形式

注意：如果函数有多个不同路径返回不同的局部对象，早期编译器可能无法优化，但如今多数情况仍可处理。

标签： c++ 返回值优化 性能测试 为什么