异常安全与内存：一场不得不打的硬仗

异常安全这个话题，说实话，我早年写C++的时候根本没当回事。直到有一次线上服务半夜挂了，排查了一整晚，最后发现是异常抛出时内存泄漏了。嗯，从那以后，我再也不敢轻视异常安全了。

今天我们就来聊聊异常安全和内存管理之间那些剪不断理还乱的关系。你想想看，异常一旦抛出，函数就提前退出了，那些本该释放的资源怎么办？这就是我们要解决的核心问题。

异常安全保证的三个等级

C++里对异常安全有明确的等级划分。我个人习惯把它分成三个层次，就像盖房子一样，地基、主体、精装修。

保证等级	含义	实际场景
基本保证	异常抛出后，不泄漏资源，对象处于有效但不确定的状态	大部分STL容器操作
强保证	操作要么完全成功，要么回滚到操作前的状态	数据库事务、vector的push_back
不抛出保证	承诺函数绝对不会抛出异常	析构函数、swap操作

我在项目中遇到过最典型的场景：一个转账操作，需要同时更新两个账户的余额。如果更新完第一个账户后抛出异常，第二个账户没更新，那账就对不上了。这就是强保证的必要性。

RAII与异常：天生一对

RAII（资源获取即初始化）说白了就是：把资源的生命周期绑定到对象的生命周期上。对象构造时获取资源，对象析构时释放资源。异常抛出时，栈展开会调用所有局部对象的析构函数，资源自然就释放了。

为什么会这样？因为C++保证：当异常导致栈展开时，所有栈上对象的析构函数都会被调用。这就是RAII能解决异常安全问题的根本原因。

// 不安全的写法
void unsafe_func() {
    int* ptr = new int(42);
    // 如果这里抛出异常，ptr就泄漏了
    do_something_that_may_throw();
    delete ptr;
}

// RAII的安全写法
void safe_func() {
    std::unique_ptr<int> ptr(new int(42));
    // 即使抛出异常，unique_ptr的析构函数也会释放内存
    do_something_that_may_throw();
} // 正常退出时也会自动释放

我记得刚入行时，有个老同事跟我说：「永远别手动管理资源，让RAII替你操心。」当时觉得他啰嗦，后来线上出过几次内存泄漏的故障后，我才明白这句话的分量。

智能指针的异常安全特性

智能指针本身就是RAII的典范。我们来看看几种智能指针在异常场景下的表现：

• std::unique_ptr：独占所有权，异常安全。析构时自动删除管理的对象。
• std::shared_ptr：共享所有权，引用计数。异常发生时，引用计数正确递减。
• std::weak_ptr：不增加引用计数，配合shared_ptr使用，避免循环引用。

// 异常安全的资源管理
class DatabaseConnection {
public:
    DatabaseConnection() {
        // 构造函数可能抛异常
        connect();
    }
    ~DatabaseConnection() noexcept {
        disconnect();
    }
private:
    void connect() { /* 可能抛异常 */ }
    void disconnect() noexcept { /* 保证不抛异常 */ }
};

void process_data() {
    // 即使connect抛异常，也不会泄漏任何资源
    std::unique_ptr<DatabaseConnection> conn(new DatabaseConnection());
    // 处理数据...
} // 析构函数自动调用

你想想看，如果不用智能指针，你得写多少try-catch才能保证异常安全？而且很容易漏掉某个分支。智能指针把这些脏活累活都替你干了。

noexcept优化：承诺的力量

noexcept关键字告诉编译器：这个函数不会抛出异常。编译器可以利用这个信息做优化，生成更高效的代码。

我个人习惯在以下场景使用noexcept：

• 析构函数（C++11默认就是noexcept）
• 移动构造函数和移动赋值运算符
• swap函数
• 简单的getter/setter

class Buffer {
public:
    Buffer() noexcept : data_(nullptr), size_(0) {}
    
    // 移动构造函数标记为noexcept
    Buffer(Buffer&& other) noexcept 
        : data_(other.data_), size_(other.size_) {
        other.data_ = nullptr;
        other.size_ = 0;
    }
    
    // 析构函数默认noexcept
    ~Buffer() {
        delete[] data_;
    }
    
    void swap(Buffer& other) noexcept {
        std::swap(data_, other.data_);
        std::swap(size_, other.size_);
    }
    
private:
    int* data_;
    size_t size_;
};

我记得有一次重构代码，给一个函数加了noexcept，结果测试时程序直接崩溃了。排查后发现是函数内部调用了new操作符，而new在内存不足时会抛std::bad_alloc。嗯，从那以后我加noexcept之前都会仔细检查调用链。

知识体系总览

下面这张图总结了异常安全与内存管理的核心关系：

从这张图可以看出，异常安全保证是理论基础，RAII是实现手段，智能指针是具体工具，noexcept是优化策略。它们环环相扣，缺一不可。

好了，关于异常安全与内存管理，核心就是这些。记住一句话：让RAII替你操心资源，让noexcept替你操心性能。这两件事做好了，异常安全就稳了。