拷贝省略是c++中跳过不必要的拷贝或移动操作的优化技术，允许编译器直接在目标位置构造对象，避免临时对象的生成；典型场景包括返回值优化（RVO）、命名返回值优化（NRVO）和临时对象初始化；C++17起引入强制拷贝省略，使即使拷贝/移动构造函数被删除的类型也能通过直接构造实现高效返回，提升性能并改变程序行为，如消除构造函数副作用。
拷贝省略（copy Elision）是C++中一种重要的编译优化技术，它允许编译器在特定情况下直接构造对象，跳过不必要的拷贝或移动操作。这种优化不仅提升了程序性能，还可能改变程序的行为——比如即使拷贝构造函数有副作用（如打印日志），这些副作用也可能被完全消除。
什么是拷贝省略？
在没有拷贝省略的情况下，当一个临时对象被用来初始化另一个对象时，通常会调用拷贝构造函数。例如：
MyClass obj = createObject(); // 可能需要从createObject()返回的临时对象拷贝
但实际上，这个拷贝往往是多余的。编译器可以“省略”这次拷贝，直接在目标位置构造对象。这就是拷贝省略的核心思想：避免生成临时对象，直接构造最终需要的对象。
C++标准允许编译器在某些场景下省略拷贝构造和移动构造，即使这些构造函数有副作用，编译器也可以合法地不执行它们。
立即学习“C++免费学习笔记（深入）”；
常见的拷贝省略场景
以下是几种典型的可触发拷贝省略的情况：
- 返回值优化（RVO, Return Value Optimization）： 函数返回局部对象时，可以直接在调用者提供的内存中构造对象，而不是先构造再拷贝。
- 命名返回值优化（NRVO）： 类似RVO，但针对具名的局部变量。虽然是否执行NRVO依赖于实现，但在许多情况下现代编译器都能成功优化。
- 临时对象初始化： 用临时对象初始化另一个对象时，可以省略中间步骤。
示例代码：
MyClass create() { MyClass temp; return temp; // 编译器可使用RVO/NRVO，跳过拷贝 } MyClass obj = create(); // 直接构造在obj内存中
在这个例子中，即使MyClass没有移动构造函数，甚至拷贝构造函数被删除（C++17起），代码仍然可以编译通过，因为编译器被允许省略拷贝。
C++17及以后的保证拷贝省略
C++17引入了强制拷贝省略（guaranteed copy elision），这是语言语义的一部分，而不仅仅是优化。
关键变化在于：对于返回右值表达式的函数，返回对象会被直接构造到接收它的变量中，中间不涉及拷贝或移动。这意味着：
- 即使类的拷贝/移动构造函数是私有的或已删除，只要能直接构造，代码仍有效。
- 临时对象的创建被视为“结果对象”的直接构造，不再需要构造函数支持。
例如：
struct NonMovable { NonMovable() = default; NonMovable(const NonMovable&) = delete; NonMovable(NonMovable&&) = delete; }; NonMovable make() { return NonMovable{}; // C++17起合法，无需拷贝或移动 } NonMovable obj = make(); // 直接构造，无拷贝
这在C++17之前是无法编译的，但从C++17开始，这是标准支持的语言特性。
拷贝省略的实际影响与注意事项
尽管拷贝省略带来性能提升，但也需要注意以下几点：
- 不要依赖拷贝构造函数的副作用（如资源记录、日志输出），因为它可能根本不会被执行。
- 在调试时若发现拷贝构造函数未被调用，不一定代表代码有问题，可能是优化生效。
- 不同编译器和优化级别下行为一致，尤其是在C++17后，关键场景的省略是强制的。
可以通过关闭优化（如gcc/clang的-O0）来观察拷贝行为，但生产构建中应始终启用优化以获得最佳性能。
基本上就这些。拷贝省略让C++在保持高效的同时，写出更自然的代码成为可能。理解它有助于写出既安全又高效的类设计。