Copy Elision是C++编译器直接在目标位置构造对象、跳过拷贝/移动操作的优化机制，C++17起对prvalue初始化等场景强制要求；它不调用拷贝/移动构造函数，故不可依赖其副作用。
Copy Elision（拷贝省略）是C++编译器在特定语义场景下，直接在目标位置构造对象、跳过拷贝或移动构造过程的优化机制。它不是“优化拷贝”，而是彻底不执行拷贝/移动操作——连构造函数和析构函数都不会调用。这种优化从C++98起就存在，C++11标准化，C++17起对部分场景强制要求。
哪些情况会触发拷贝省略
标准明确允许省略拷贝/移动的典型场景有三类：
-
返回值优化（RVO）：函数返回一个匿名临时对象，如
return MyClass{};。编译器直接在调用者提供的内存中构造该对象，不经过中间临时量。 -
命名返回值优化（NRVO）：函数返回一个具名局部变量，如
MyClass x; return x;。是否生效依赖实现，但C++17后更稳定；多分支返回（如 if-else 各有一个 return）会显著降低 NRVO 触发概率。 -
临时对象初始化：用 prvalue（纯右值）直接初始化同类型对象，如
MyClass a = MyClass();或MyClass a(MyClass());。C++17起这类写法必须省略拷贝，即使类没有定义拷贝/移动构造函数，代码仍合法。
C++17带来的关键变化
C++17将部分拷贝省略从“可选优化”升级为“强制语义”：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
MyClass obj = MyClass{};这类初始化中，右侧是 prvalue，编译器不得构造临时对象，必须直接在obj的存储位置完成构造。 - 这意味着：即使你删掉了拷贝/移动构造函数，这段代码依然能通过编译并正确运行。
- 但注意：如果代码中显式写了
MyClass obj(MyClass{});，且拷贝/移动构造函数被删除或不可访问，编译仍会失败——因为语法上仍要求该函数“存在且可调用”，只是实际不执行。
为什么不能依赖拷贝构造函数的副作用
拷贝省略可能让本该执行的构造/析构函数完全“消失”，包括它们的副作用：
立即学习“C++免费学习笔记（深入）”；
- 比如拷贝构造函数里有
std::cout << "copied!";，开启优化后这行可能永远不打印。 - 标准明确允许这种行为，并不要求编译器保证这些函数被调用。
- 因此，若逻辑依赖拷贝发生（如资源计数、日志记录、锁管理），应改用其他机制（如 RAII + move-only 设计、shared_ptr、或显式 clone() 接口）。
如何验证或禁用拷贝省略
用于调试或教学时，可通过编译器选项观察效果：
- GCC/Clang 使用
-fno-elide-constructors关闭所有拷贝省略，此时你会看到完整的构造→拷贝→析构链条。 - 配合带日志的类（含构造、拷贝、移动、析构输出），对比开启/关闭该选项的输出差异，能直观理解省略发生的时机和影响范围。
- 注意：禁用后性能会明显下降，尤其对大对象，仅建议用于分析，不用于生产构建。
