copy-and-swap通过先复制后交换的方式实现赋值运算符，确保异常安全与自我赋值安全，避免资源泄漏，结合swap函数和按值传参，代码简洁且兼容移动语义，是管理资源类的推荐做法。
在C++中，copy-and-swap idiom是一种实现赋值运算符的推荐方式，尤其适用于管理资源（如动态内存、文件句柄等）的类。它通过结合拷贝构造函数和一个名为swap的成员函数，来确保赋值操作具备异常安全性和自我赋值安全性，同时代码简洁清晰。
为什么需要 copy-and-swap
在自定义类中，如果涉及资源管理，编译器生成的默认赋值运算符往往不够用。手动实现时容易出现以下问题：
- 资源泄漏：未正确释放原有资源
- 异常不安全：在分配新资源时抛出异常，导致对象处于无效状态
- 自我赋值错误：对象赋值给自身时行为异常
copy-and-swap 能自然解决这些问题。
copy-and-swap 的实现方式
该惯用法的核心思想是：先创建右侧对象的一个副本，然后将当前对象与这个副本“交换”内容。由于交换操作通常是无异常的，且副本会在函数结束时自动销毁，因此整个过程安全可靠。
立即学习“C++免费学习笔记（深入）”；
基本实现步骤如下：
- 提供一个高效的
swap成员函数 - 定义拷贝构造函数（遵循三法则或五法则）
- 在赋值运算符中按值传参，利用拷贝构造函数创建副本
- 交换当前对象与副本的数据
示例代码：
class MyClass {
private:
int* data;
size_t size;
public:
// 拷贝构造函数
MyClass(const MyClass& other) : size(other.size), data(new int[other.size]) {
std::copy(other.data, other.data + size, data);
}
// swap 成员函数（应为 nothrow）
void swap(MyClass& other) noexcept {
using std::swap;
swap(data, other.data);
swap(size, other.size);
}
// 赋值运算符 - 使用 copy-and-swap
MyClass& operator=(MyClass other) { // 参数按值传递，自动调用拷贝构造
this->swap(other); // 交换内容
return *this;
}
// 析构函数
~MyClass() { delete[] data; }
};
优势与注意事项
使用 copy-and-swap 的主要优点包括：
- 异常安全：资源在副本中分配，即使失败也不会影响原对象
- 自动处理自我赋值：即使 a = a，行为也正确
- 代码简洁：减少重复逻辑，易于维护
- 符合 RAII 原则：资源生命周期由对象自动管理
需要注意的是：
-
swap函数应声明为noexcept，避免在交换过程中抛出异常 - 参数按值传递会带来一次额外的拷贝，在 C++11 后可结合移动语义优化
- 对于大型对象，频繁赋值可能带来性能开销
C++11 及以后的扩展：move-and-swap
在支持移动语义的环境中，copy-and-swap 依然适用。当赋值右侧是右值时，按值参数会自动调用移动构造函数（如果已定义），从而提升效率。这意味着同一个赋值运算符可以同时高效处理拷贝赋值和移动赋值。
只要提供移动构造函数和移动赋值（或依赖编译器生成），copy-and-swap 就能自然融入现代 C++ 的资源管理模型。
基本上就这些。copy-and-swap 是一种优雅、安全、易懂的技术，特别适合需要手动管理资源的类。掌握它有助于写出更健壮的 C++ 代码。
