拷贝省略是C++中编译器直接在目标位置构造对象以跳过复制或移动的优化机制，常见于RVO/NRVO、临时对象初始化和异常传递场景，标准允许省略拷贝/移动构造即使其有副作用，因此不应依赖这些构造函数的执行。
拷贝省略（Copy Elision）是C++编译器在满足特定条件时，主动省略对象复制或移动操作的一种优化机制。它允许编译器跳过不必要的构造和析构过程，直接在目标位置构造对象，从而提升性能。
这种优化不是通过生成更高效的拷贝代码实现的，而是彻底消除了临时对象的创建，避免了构造函数和析构函数的调用。即使构造函数带有副作用（如打印日志），在拷贝省略生效时这些副作用也可能不会出现——这是标准允许的行为。
常见触发场景
1. 返回值优化（RVO / NRVO）
当函数返回一个局部对象时，编译器可以直接在调用者提供的内存中构造该对象，而不是先构造再拷贝。
立即学习“C++免费学习笔记（深入）”；
示例：
std::string createString() {
std::string s = "hello";
return s; // 编译器可将s直接构造到返回目标位置
}
即使启用了拷贝构造函数的副作用，RVO也能让其不被调用。命名返回值优化（NRVO）适用于有名字的对象，但要求路径唯一（即只有一个return语句更易触发）。
2. 临时对象初始化
用临时对象初始化另一个对象时，可省略中间步骤。
示例：
class A { /* ... */ };
<p>A makeA() { return A(); }</p><div class="aritcle_card flexRow">
<div class="artcardd flexRow">
<a class="aritcle_card_img" href="/ai/728" title="Cursor"><img
src="https://img.php.cn/upload/ai_manual/000/000/000/175679954497392.jpg" alt="Cursor" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a href="/ai/728" title="Cursor">Cursor</a>
<p>一个新的IDE，使用AI来帮助您重构、理解、调试和编写代码。</p>
</div>
<a href="/ai/728" title="Cursor" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span> </a>
</div>
</div><p>A a = makeA(); // 可能直接构造a，跳过中间临时对象
3. 异常抛出与捕获
在throw表达式中创建的对象传递给catch块时，也可能发生拷贝省略（尽管实际支持程度依赖实现）。
标准允许的例外情况
C++标准明确允许在以下情况下省略拷贝或移动构造：
- 从函数返回一个自动变量（RVO/NRVO）
- 使用临时对象初始化对象
- 异常对象的传播过程
关键点在于：即使拷贝/移动构造函数有副作用，编译器也不必保证执行。这意味着不能依赖这些构造函数完成关键逻辑。
强制禁止拷贝省略的情况
某些情况下编译器无法进行拷贝省略：
- 返回的对象来自不同作用域（如引用参数或static变量）
- NRVO中存在多个return语句且返回不同实例（部分编译器仍可能优化）
- 显式使用std::move可能导致阻止RVO
例如：
std::string riskyReturn(bool flag) {
std::string a = "a", b = "b";
if (flag) return a;
else return b; // 多个return可能影响NRVO
}
与移动语义的关系
拷贝省略优于移动语义。理想情况下，编译器会优先选择完全省略构造，而不是退而求其次使用移动构造。
如果没有拷贝省略，移动构造通常是高效后备方案；但如果两者都不可用，才会调用拷贝构造。
注意：移动构造本身也可能被优化掉（如RVO），所以真正运行的构造函数数量可能比预期少很多。
基本上就这些。拷贝省略是C++中合法且广泛支持的优化手段，开发者应理解其行为，避免依赖被省略的构造函数副作用，同时编写易于优化的代码结构。
