C++如何实现异常安全的赋值运算符-C++-PHP中文网

C++如何实现异常安全的赋值运算符

P粉602998670

发布： 2025-09-12 08:49:01

原创

698人浏览过

采用拷贝并交换惯用法可实现异常安全赋值：先按值传参复制对象，再交换数据。复制失败不影响原对象，交换过程无异常，且自动释放旧资源，支持自赋值，是C++中标准且推荐的做法。

c++如何实现异常安全的赋值运算符

在C++中实现异常安全的赋值运算符，关键在于保证强异常安全保证：如果异常发生，对象的状态保持不变。最常用且推荐的方法是采用“拷贝并交换”（copy-and-swap）惯用法。

使用拷贝并交换实现异常安全赋值

“拷贝并交换”通过先创建源对象的副本，再将副本与当前对象交换数据，确保异常安全。因为拷贝可能抛出异常，但一旦完成，交换操作通常不会抛出异常（尤其是使用std::swap且成员类型支持无异常交换时）。

// 示例：实现异常安全的赋值运算符 class MyClass { private: int* data; size_t size;

public: // 构造函数 MyClass(size_t s = 0) : size(s), data(s ? new int[s]{} : nullptr) {}

// 拷贝构造函数
MyClass(const MyClass& other)
    : size(other.size), data(other.size ? new int[other.size] : nullptr) {
    std::copy(other.data, other.data + size, data);
}

// 赋值运算符 - 异常安全
MyClass& operator=(MyClass other) {
    swap(*this, other);
    return *this;
}

// 交换函数（友元）
friend void swap(MyClass& a, MyClass& b) noexcept {
    using std::swap;
    swap(a.data, b.data);
    swap(a.size, b.size);
}

// 析构函数
~MyClass() { delete[] data; }

登录后复制

};