c++中的复制消除(Copy Elision)是什么_c++ RVO/NRVO优化详解【编译器】-C++-PHP中文网

c++中的复制消除(Copy Elision)是什么_c++ RVO/NRVO优化详解【编译器】

裘德小鎮的故事

发布： 2025-12-22 17:36:51

原创

783人浏览过

复制消除是C++编译器跳过不必要的对象复制或移动的优化技术；C++17起RVO强制实施，NRVO仍为鼓励而非强制，常见于返回局部对象、临时对象直接初始化等场景。

c++中的复制消除(copy elision)是什么_c++ rvo/nrvo优化详解【编译器】

复制消除（Copy Elision）是 C++ 编译器在满足语义等价的前提下，**跳过不必要的对象复制或移动操作**的一种优化技术。它不是“可选的优化”，而是从 C++17 起被强制要求实现的规则（特别是 RVO 和 NRVO 场景），能直接避免临时对象构造、析构及拷贝/移动函数调用，提升性能且可能改变程序行为（比如绕过有副作用的拷贝构造函数）。

什么是 RVO（Return Value Optimization）？

RVO 指编译器对**按值返回局部对象**时做的优化：不先构造局部对象再拷贝回返回值，而是直接在调用方为返回值准备的内存位置上构造该对象。

例如：

腾讯智影

腾讯推出的在线智能视频创作平台

341

查看详情

A createA() {
    return A(42); // 编译器可直接在 caller 的返回槽中构造 A(42)
}
A a = createA(); // 不调用 A 的拷贝/移动构造函数

登录后复制

关键点：

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

仅适用于返回一个非 volatile 的具名或匿名临时对象；
函数返回类型必须与局部对象类型相同（不能发生隐式转换）；
C++17 起，这种情形下的复制消除是强制的（即使拷贝/移动构造函数有副作用，也必须省略）。

什么是 NRVO（Named Return Value Optimization）？

NRVO 是 RVO 的扩展，允许编译器对**返回一个具名局部变量**的情况也进行消除——只要该变量在所有 return 语句中都被返回，且类型匹配。

例如：

A createA(bool flag) {
    A a1(1), a2(2);
    if (flag) return a1; // 可能触发 NRVO
    else      return a2; // 同样可能触发 NRVO
}

登录后复制

注意：

NRVO 不是强制的（C++17 仍属“鼓励但不保证”），不同编译器、不同优化等级下表现可能不同；
多个 return 路径返回不同变量、或存在中间赋值/修改，会显著降低 NRVO 成功率；
启用 -O2 或 -O3 通常能提高 NRVO 触发概率。

复制消除发生的典型场景

除 RVO/NRVO 外，C++17 还强制规定了另一类复制消除：临时对象绑定到引用时的初始化（即所谓 “Temporary Materialization Elimination” 的一部分），以及更广义的“复制/移动省略”场景：

A a = A(123); → 直接构造 a，跳过拷贝/移动（C++17 强制）；
func(A(456));（func 参数为值传递）→ 临时对象直接在 func 参数内存中构造；
throw/catch 中抛出并捕获同类型对象时，也可能省略复制（依赖实现，非强制）。

⚠️ 注意：这些优化都要求拷贝/移动构造函数**可访问且不被显式删除**（否则编译失败），但实际是否调用它们，由编译器决定（C++17 前）或必须不调用（C++17 RVO/NRVO 场景）。

如何确认复制消除是否发生？

最可靠方式是观察构造/析构/拷贝函数的调用次数（加打印或断点），但要注意：

开启优化（如 -O2）后才大概率触发；
Debug 模式（-O0）通常禁用 RVO/NRVO，便于调试；
使用 [[nodiscard]] 或 std::move 并不会“帮助”触发 RVO，反而可能阻碍（比如 return std::move(local); 会禁止 NRVO）；
Clang/GCC 提供 -fno-elide-constructors 强制关闭该优化，用于测试副作用逻辑。

基本上就这些。理解复制消除，不只是为了性能，更是为了写出符合现代 C++ 语义预期的代码——尤其当你的拷贝构造函数有日志、计数、资源申请等副作用时，它可能根本不会被调用。

以上就是c++++中的复制消除(Copy Elision)是什么_c++ RVO/NRVO优化详解【编译器】的详细内容，更多请关注php中文网其它相关文章！