Copy-and-Swap惯用法是C++中通过按值传参、拷贝构造临时对象再交换的赋值实现方式，以统一提供强异常安全：拷贝失败不影响原对象，swap需noexcept，析构自动清理旧资源。
Copy-and-Swap idiom 是什么
Copy-and-Swap 是一种在 C++ 中实现赋值运算符（operator=）的经典惯用法，核心目标是**以简洁、统一的方式提供强异常安全保证**。它不直接修改当前对象，而是先通过拷贝构造创建一个临时副本，再与当前对象的内容交换（swap），最后让临时对象在作用域结束时自动析构旧状态。
为什么能保证强异常安全
强异常安全意味着：操作要么完全成功，要么状态保持不变（无副作用）。Copy-and-Swap 满足这一点，因为：
- 拷贝构造发生在 swap 前 —— 若失败（如内存不足、拷贝抛异常），当前对象未被修改；
- swap 本身应是**不抛异常的（noexcept）** —— 通常只交换指针或内置类型，不会失败；
- 旧资源的释放由临时对象的析构函数完成，即使 swap 后发生异常，也不会影响当前对象的完整性。
标准实现步骤（以含动态资源的类为例）
假设类 MyString 管理堆上字符数组：
- 定义公有、不抛异常的 swap 成员函数（或友元），高效交换两个对象的内部指针；
- 确保拷贝构造函数和析构函数正确（满足 Rule of Three/Five）；
- 赋值运算符仅做三件事：传值接收右值（触发拷贝）、调用 swap、返回 *this。
void swap(MyString& other) noexcept { std::swap(data_, other.data_); }
MyString& operator=(MyString other) noexcept { swap(other); return *this; }
注意事项与最佳实践
这个惯用法虽优雅，但需注意几个关键点：
立即学习“C++免费学习笔记（深入）”；
- 参数必须按值传递（MyString other），才能触发拷贝构造，也天然支持移动赋值（C++11 起，当传入右值时会调用移动构造）；
- swap 必须标记为 noexcept，否则编译器可能拒绝某些优化（如 vector 扩容时的异常安全策略）；
- 对小对象或廉价拷贝类型，可能有性能开销（多一次拷贝/移动）；现代编译器通常能优化掉部分开销，但需实测权衡；
- 不能替代移动语义的显式优化 —— 如果移动操作远快于拷贝（如大 buffer），单独实现移动赋值仍更高效，但 Copy-and-Swap 可作为兜底通用方案。
基本上就这些。它不是银弹，但在需要强异常安全、且不想为拷贝/移动分别写两套逻辑时，是非常可靠的选择。
