C++异常安全swap 强异常安全实现

强异常安全的swap通过拷贝和交换实现，先复制可能抛出异常，swap本身用noexcept交换指针和大小，确保赋值要么成功要么无影响。

在C++中，实现一个强异常安全的

swap

函数是确保资源管理类在异常发生时仍能保持对象状态一致的关键。强异常安全保证：如果操作抛出异常，程序状态回滚到操作前的状态，即“要么成功，要么无影响”。

swap 的基本作用

swap

函数用于交换两个对象的内部资源。标准库中很多容器和算法会频繁调用

立即学习“C++免费学习笔记（深入）”；

swap

，因此它的异常安全性至关重要。理想情况下，

swap

应是无异常（nothrow）的，以支持更高效的移动语义和异常安全策略。

使用拷贝和交换惯用法（Copy-and-Swap）

实现强异常安全

冰兔(Btoo)网店系统

系统简介：冰兔BToo网店系统采用高端技术架构，具备超强负载能力，极速数据处理能力、高效灵活、安全稳定；模板设计制作简单、灵活、多元；系统功能十分全面，商品、会员、订单管理功能异常丰富。秒杀、团购、优惠、现金、卡券、打折等促销模式十分全面；更为人性化的商品订单管理，融合了多种控制和独特地管理机制；两大模块无限级别的会员管理系统结合积分机制、实现有效的推广获得更多的盈利！本次更新说明：1. 增加了新

下载

swap

的常用方法是“拷贝和交换”惯用法。核心思想是：先创建副本（可能抛出异常），再通过无异常的

swap

提交更改。

假设我们有一个管理动态内存的类：

class MyResource {
private:
    int* data;
    size_t size;
<p>public:
explicit MyResource(size_t s = 0) : data(s ? new int[s] : nullptr), size(s) {}</p><pre class="brush:php;toolbar:false;">~MyResource() { delete[] data; }

MyResource(const MyResource& other)
    : data(other.size ? new int[other.size] : nullptr), size(other.size)
{
    std::copy(other.data, other.data + size, data);
}

MyResource& operator=(MyResource other) // 注意：按值传参，自动调用拷贝构造
{
    swap(*this, other); // 强异常安全：swap 不抛出异常
    return *this;
}

friend void swap(MyResource& a, MyResource& b) noexcept
{
    using std::swap;
    swap(a.data, b.data);
    swap(a.size, b.size);
}

};

为什么这个 swap 是强异常安全的？

• 赋值操作中，参数

  other

  是通过值传递的，这意味着拷贝构造可能抛出异常，但发生在赋值函数体之前。如果拷贝失败，原对象不会被修改。

• swap

  函数标记为

  noexcept

  ，且仅交换指针和整数，这些基本操作不会抛出异常。
• 交换完成后，旧资源随

  other

  的析构被自动释放。

这种设计确保了赋值操作满足强异常安全：要么赋值成功，要么原对象保持不变。

关键注意事项

要确保

swap

真正强异常安全，需注意以下几点：

• 自定义 swap 必须 noexcept：交换基本类型（指针、int等）不会抛出，应显式标记

  noexcept

  。
• 避免在 swap 中分配资源：swap 体内不应有

  new

  、

  dynamic_cast

  等可能抛出的操作。
• 特化 std::swap（可选）：若希望标准算法使用高效 swap，可特化

  std::swap

  ，但通常依赖ADL（参数依赖查找）找到友元

  swap

  即可。

基本上就这些。只要 swap 本身不抛出异常，并在拷贝构造可能失败时推迟状态变更，就能实现强异常安全。这种模式在 RAII 类中非常普遍，是 C++ 异常安全编程的基石之一。