NRVO是C++中通过直接在调用方内存构造具名返回对象来消除拷贝开销的优化技术，当函数单一返回同一名对象时，编译器可将其构造于预分配的目标位置，避免临时对象创建与复制，提升性能。
命名返回值优化（Named Return Value Optimization, 简称 NRVO）是 C++ 编译器提供的一种重要的性能优化技术，用于消除对象在函数返回时的复制开销。它允许编译器直接在调用方的内存空间中构造返回对象，从而避免临时对象的创建和拷贝。
什么是 NRVO？
当一个函数返回一个具名的局部对象（即有名字的对象，而非匿名临时对象）时，C++ 编译器可能使用 NRVO 将该对象直接构造在调用者提供的存储位置中，而不是先在函数内部构造再复制出去。
这可以显著提升性能，特别是对于大型对象或拷贝代价较高的类类型。
示例代码：
假设我们有一个表示矩阵的类：
class Matrix {
std::vector
int rows, cols;
public:
Matrix(int r, int c) : rows(r), cols(c), data(r * c) {}
Matrix(const Matrix& other) { /* 拷贝构造 */ }
};
定义一个返回 Matrix 对象的函数：
Matrix createLargeMatrix() {
Matrix result(1000, 1000);
// 做一些初始化操作
return result; // 返回具名对象
}
如果没有 NRVO，result 先在函数内构造，然后通过拷贝构造函数复制给外部接收变量，最后销毁局部对象。但启用 NRVO 后，编译器会将 result 直接构造在调用者的栈空间中，省去拷贝过程。
NRVO 的工作原理
NRVO 的核心思想是：提前为返回对象分配内存位置，并让函数内的局部对象直接使用这个位置进行构造。
- 调用函数前，调用方预留一块足够容纳返回类型的内存区域
- 函数内部的具名返回对象被重定向到这块预分配的内存上
- 构造过程发生在目标位置，无需后续拷贝
- 函数结束后，该对象已就位，直接使用
这种优化依赖于 ABI（应用二进制接口）约定以及编译器对控制流的分析能力。只有当编译器能确定返回的是同一个具名对象时，才可能应用 NRVO。
NRVO 的限制与条件
并非所有情况都能触发 NRVO。以下是一些关键限制：
- 必须返回同一个具名局部变量 —— 函数只能有一个 return 语句，且都返回相同的对象
- 不能根据条件返回不同的局部对象（否则无法确定构造位置）
- 对象不能是参数或静态变量
- 需要支持拷贝或移动构造函数（即使不实际调用）
反例：无法应用 NRVO
Matrix chooseMatrix(bool flag) {
Matrix a(100, 100);
Matrix b(200, 200);
if (flag)
return a;
else
return b;
}
这里有两个不同对象被返回，编译器无法决定使用哪一个的位置来构造，通常无法执行 NRVO（某些情况下可能退化为 RVO 或移动）。
如何确保 NRVO 被应用？
虽然 NRVO 是可选优化，但可以通过编程习惯提高其成功率：
- 尽量让函数只有一个 return 语句
- 统一返回同一个具名对象
- 避免复杂的分支逻辑影响返回对象选择
- 使用现代编译器并开启优化选项（如 -O2）
例如改进写法：
Matrix createMatrix(int size) {
Matrix result(size, size);
// 初始化
return result; // 单一返回点
}
C++17 及以后的变化
C++17 引入了强制的复制消除规则（mandatory copy elision），对于某些情况（如返回临时对象），即使没有拷贝构造函数也能编译通过，说明编译器必须省略拷贝。
但 NRVO 针对的是“具名”对象，仍属于可选优化。不过主流编译器（GCC、Clang、MSVC）在 -O2 下通常都能很好地识别并应用 NRVO。
基本上就这些。理解 NRVO 有助于写出高效且安全的 C++ 代码，尤其是在处理大对象返回时，不必担心性能损失，只要结构清晰，编译器大概率会帮你优化掉不必要的拷贝。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
