拷贝消除是编译器跳过拷贝构造函数调用的优化，常见于NRVO和RVO场景；C++17起RVO强制施行，NRVO仍可选；副作用、禁用选项或条件分支会阻止它，但不影响无副作用代码的正确性。
拷贝消除（Copy Elision）不是你手动控制的行为，而是编译器在满足特定条件时**直接跳过拷贝构造函数调用**的优化手段——它让本该发生的对象复制“凭空消失”，连 std::move 都不用写。
哪些场景下编译器会执行拷贝消除？
最常见的是返回局部对象（Named Return Value Optimization，NRVO）和用临时对象初始化新对象（Return Value Optimization，RVO）：
- 函数返回一个局部非静态对象，且该对象类型与返回类型相同
- 用函数返回值直接初始化一个同类型对象（如
A a = make_a();） - C++17 起，后者（RVO）成为强制要求，不再是可选优化；而 NRVO 仍是可选，但主流编译器（GCC/Clang/MSVC）默认都开启
为什么有时看不到拷贝构造函数被跳过？
因为拷贝消除只在满足“语义等价”前提下发生。以下情况会阻止它：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 拷贝/移动构造函数有副作用（比如打印日志、计数器自增），而你又没加
[[nodiscard]]或断言验证行为 - 启用了
-fno-elide-constructors（GCC/Clang）或/Zc:elideConstructors-（MSVC）这类禁用选项 - 返回的是条件分支中的不同局部变量（如
if (x) return a; else return b;），NRVO 通常失效
拷贝消除会影响你的代码逻辑吗？
绝大多数情况下不会——前提是你的拷贝/移动构造函数是**无副作用的纯资源管理操作**。但要注意：
立即学习“C++免费学习笔记（深入）”；
- C++17 前，依赖拷贝构造函数副作用的代码可能在不同优化级别下行为不一致
- 即使开启了拷贝消除，
std::is_copy_constructible_v<t></t>仍为true，编译器不检查你是否真定义了它 - 如果类没有定义移动构造函数，而拷贝构造函数被删除（
= delete），RVO/NRVO 仍可发生，但其他场景（如push_back）会编译失败
struct A {
A() { std::cout << "default\n"; }
A(const A&) { std::cout << "copy\n"; }
A(A&&) noexcept { std::cout << "move\n"; }
};
A make_a() {
A x;
return x; // 这里：C++17 下 RVO 强制生效，不调用 copy/move
}
int main() {
A a = make_a(); // 同样不触发拷贝或移动
}
真正容易被忽略的是：你在调试时加了断点或日志进拷贝构造函数，却怎么也停不下来——不是 bug，是编译器已经把它整个删掉了。
