拷贝省略是编译器优化技术，直接在目标位置构造对象以避免多余拷贝；C++17起强制要求部分场景下必须省略拷贝，如RVO、NRVO和临时对象优化，提升性能且不影响语义。
在C++中，Copy Elision（拷贝省略）是一种由编译器执行的优化技术，用于消除不必要的对象拷贝。这种优化可以直接减少程序运行时的开销，尤其是在处理大型对象或频繁构造/析构的场景下效果显著。
简单来说，当程序逻辑上需要创建一个临时对象并将其复制到另一个位置时，编译器可能直接在目标位置构造该对象，从而跳过中间的拷贝或移动操作。这个过程对程序员是透明的，但能显著提升性能。
什么是拷贝省略？
拷贝省略是指编译器在满足一定条件时，忽略用户定义的拷贝构造函数或移动构造函数的调用，直接构造目标对象。即使这些构造函数带有副作用（比如打印日志），标准也允许编译器省略它们——前提是程序的行为在“看起来”没有改变。
C++标准允许以下几种常见的拷贝省略情形：
立即学习“C++免费学习笔记（深入）”；
- 返回值优化（RVO）：函数返回局部对象时，直接在调用者栈空间构造对象。
- 命名返回值优化（NRVO）：与RVO类似，但针对有名字的局部变量。
- 临时对象优化：将临时对象直接构造到目标位置，避免中间拷贝。
编译器如何实现拷贝省略？
编译器通过分析对象的生命周期和构造路径，在不改变程序语义的前提下，调整对象的构造地点。例如：
// 示例：RVO演示 #include iostream> struct LargeObject { LargeObject() { std::cout ain() { LargeObject obj = createObject(); // 通常不会调用拷贝构造函数 return 0; }在这个例子中，尽管逻辑上需要从函数返回一个临时对象再拷贝给obj，但现代编译器会直接在main函数的obj内存位置构造这个对象。结果是只调用一次构造函数，没有拷贝构造函数的调用。
即使关闭了优化（如-O0），许多编译器仍默认启用RVO，因为C++17起某些形式的拷贝省略已成为语言要求（强制省略）。
C++17及以后的保证拷贝省略
C++17引入了强制拷贝省略规则，特别是在返回右值时。例如：
std::string getString() { return "hello"; } // C++17中，此返回不会涉及拷贝或移动，string直接构造在目标位置在这种情况下，即使类没有移动构造函数，代码也能编译成功，因为根本不需要调用它。这是“纯右值”（prvalue）语义的一部分：对象的构造被延迟到最终接收它的位置。
这意味着你可以写出更高效的代码而无需担心临时对象的开销，编译器会自动帮你消除多余步骤。
注意事项与限制
虽然拷贝省略很强大，但也有一些需要注意的地方：
- 不能依赖拷贝构造函数的副作用（如计数、日志），因为它可能根本不被执行。
- NRVO在复杂控制流中可能失效（例如多个return语句返回不同变量）。
- 显式使用
std::move可能会阻止RVO，应谨慎使用。
基本上就这些。拷贝省略是C++高效性的体现之一，它让开发者既能写出清晰的值语义代码，又能获得接近底层的性能表现。
