Copy Elision（拷贝省略）是C++标准中明确规定的一项编译器优化规则，允许编译器在某些情况下省略类对象的拷贝或移动操作，直接在被拷贝对象的目标位置构造对象，从而减少不必要的开销。这项优化不需要开发者手动编写额外代码，只要满足标准规定的场景，编译器就可以自主决定是否执行。
Copy Elision的常见触发场景
1. 返回值优化（RVO）
当函数返回一个临时对象，且返回的临时对象类型和函数返回类型一致时，编译器可以直接在函数的返回值存储位置构造该临时对象，省略返回时的拷贝操作。例如下面的代码：
#include <iostream>
using namespace std;
class Test {
public:
Test() {
cout << "默认构造" << endl;
}
Test(const Test& other) {
cout << "拷贝构造" << endl;
}
~Test() {
cout << "析构" << endl;
}
};
Test createTest() {
return Test(); // 返回临时对象
}
int main() {
Test t = createTest(); // 接收返回值
return 0;
}
如果编译器开启了拷贝省略优化，运行后只会输出一次默认构造和一次析构，不会触发拷贝构造。如果没有开启优化，会先调用默认构造生成临时对象，再调用拷贝构造把临时对象拷贝到t，最后两次析构。
2. 具名返回值优化（NRVO）
当函数返回的是一个已经命名的局部对象时，编译器同样可以省略拷贝操作，这就是具名返回值优化。示例代码如下：
#include <iostream>
using namespace std;
class Test {
public:
Test() {
cout << "默认构造" << endl;
}
Test(const Test& other) {
cout << "拷贝构造" << endl;
}
~Test() {
cout << "析构" << endl;
}
};
Test createTest() {
Test local; // 具名局部对象
return local;
}
int main() {
Test t = createTest();
return 0;
}
开启优化后，local对象的构造会直接在t的存储位置完成，同样不会触发拷贝构造。
3. 临时对象初始化
当一个临时对象被用来初始化同类型的另一个对象时，编译器也可以省略拷贝操作。比如下面的代码：
#include <iostream>
using namespace std;
class Test {
public:
Test() {
cout << "默认构造" << endl;
}
Test(const Test& other) {
cout << "拷贝构造" << endl;
}
};
int main() {
Test t = Test(); // 用临时对象初始化t
return 0;
}
优化后只会调用一次默认构造，不会触发拷贝构造。
Copy Elision和对象移动的关系
很多开发者会混淆拷贝省略和移动语义，实际上二者是完全不同的概念：
- 本质不同：拷贝省略是编译器的优化行为，属于编译期的操作，它直接省略了拷贝/移动的步骤，根本不会生成对应的拷贝或移动代码；而移动语义是C++语言层面的特性，通过
std::move和右值引用实现，是运行期的代码逻辑，即使没有编译器优化，移动语义也会执行对应的移动构造/移动赋值操作。 - 触发条件不同：拷贝省略只有满足标准规定的特定场景（如RVO、NRVO等）才会触发；移动语义只要代码中出现右值引用匹配、显式调用
std::move就会触发。 - 优先级不同：当拷贝省略的场景满足时，编译器会优先执行拷贝省略，不会再去调用移动构造或者拷贝构造；只有当拷贝省略无法触发时，才会考虑是否可以使用移动语义来减少开销。
需要注意的是，C++17标准之后，部分拷贝省略场景变成了强制要求，比如用纯右值初始化对象时，编译器必须省略拷贝/移动操作，这也进一步降低了移动语义在这些场景下的使用必要性。
如何确认编译器是否执行了拷贝省略
可以通过查看类的拷贝构造、移动构造的调用来判断：如果对应的构造没有被调用，说明触发了拷贝省略。另外，大部分编译器都提供了关闭拷贝省略的选项，比如GCC和Clang可以通过添加-fno-elide-constructors编译选项来关闭拷贝省略，此时就能看到原本被省略的拷贝/移动操作。
# 关闭拷贝省略编译代码 g++ -fno-elide-constructors test.cpp -o test
关闭后再运行之前的RVO示例代码，就会发现拷贝构造被正常调用了。
注意事项
虽然拷贝省略能提升性能，但开发者不能依赖它的存在来编写逻辑代码，因为：
- 拷贝省略是编译器的可选优化（C++17部分场景除外），不同编译器、不同优化等级下的表现可能不同。
- 拷贝省略不会改变程序的 observable behavior（可观察行为），也就是说即使省略了拷贝，程序的最终执行结果也必须和没有省略时一致。
- 如果类的拷贝构造/移动构造有副作用（比如打印日志、修改全局计数），拷贝省略会导致这些副作用不执行，编写代码时需要避免这种情况。
Copy_Elision拷贝省略C++编译器优化对象移动修改时间：2026-06-15 02:06:16