C++ 中的 RAII 与异常安全

2026-01-28 作者 stdcpp

在 C++ 开发中，资源获取即初始化（RAII）是保证程序稳定运行的核心设计理念之一。RAII 的核心思想是将资源（如内存、文件句柄、锁、网络连接等）的生命周期与对象的构造和析构绑定，从而在异常抛出时自动回收资源，防止资源泄漏。下面我们从基本概念、实现方式、常见案例以及异常安全的最佳实践四个方面，系统阐述 RAII 与异常安全。

1. 基本概念

资源：任何需要显式管理的系统对象，例如 new/delete、malloc/free、fopen/fclose、POSIX 句柄、线程锁等。
RAII：在对象构造时获取资源，在对象析构时释放资源。对象的生命周期由 C++ 自动管理，无需手动释放。
异常安全：程序在异常发生时能够保持数据一致性、资源不泄漏，并保证可以继续或安全退出。

2. RAII 的实现方式

2.1 自定义 RAII 包装器

class FileWrapper {
public:
    FileWrapper(const char* path, const char* mode) : fp(std::fopen(path, mode)) {
        if (!fp) throw std::runtime_error("Open file failed");
    }
    ~FileWrapper() { if (fp) std::fclose(fp); }
    FILE* get() const { return fp; }
private:
    FILE* fp;
};

2.2 使用 STL 智能指针

std::unique_ptr <int> ptr(new int(42));   // 自动 delete
std::shared_ptr <FILE> fp(std::fopen("a.txt", "r"),
                        [](FILE* f){ if(f) std::fclose(f); }); // 自定义 deleter

2.3 C++17 的 `std::optional` 与 `std::variant`

通过 std::optional 包装可能为空的资源，结合自定义析构器，可实现更安全的可选资源管理。

3. 常见案例

3.1 文件读取

void readFile(const std::string& path) {
    FileWrapper f(path.c_str(), "rb");
    char buffer[1024];
    while (std::fread(buffer, 1, sizeof(buffer), f.get()) == sizeof(buffer)) {
        // 处理 buffer
    }
}

3.2 线程锁

class LockGuard {
public:
    explicit LockGuard(std::mutex& m) : mtx(m) { mtx.lock(); }
    ~LockGuard() { mtx.unlock(); }
private:
    std::mutex& mtx;
};

void threadSafeFunc(std::mutex& m) {
    LockGuard guard(m);
    // 线程安全的操作
}

3.3 数据库连接

class DbConnection {
public:
    DbConnection(const std::string& connStr) { /* open connection */ }
    ~DbConnection() { /* close connection */ }
    // query, transaction, ...
};

4. 异常安全的最佳实践

级别	说明	代码示例
①	基本异常安全：在异常抛出时不导致资源泄漏。	使用 RAII 包装资源。
②	强异常安全：在异常抛出后对象保持一致状态。	对容器使用 `swap` 或 `copy‑and‑swap`。
③	无异常安全：函数保证不会抛出异常。	使用 `noexcept` 并确保内部逻辑不抛异常。

4.1 copy‑and‑swap

class Buffer {
public:
    Buffer(size_t size) : data(new char[size]), sz(size) {}
    Buffer(const Buffer& other) : data(new char[other.sz]), sz(other.sz) {
        std::copy(other.data, other.data + sz, data);
    }
    Buffer& operator=(Buffer other) {
        swap(*this, other);
        return *this;
    }
    friend void swap(Buffer& a, Buffer& b) noexcept {
        std::swap(a.data, b.data);
        std::swap(a.sz, b.sz);
    }
private:
    char* data;
    size_t sz;
};

4.2 noexcept

void func() noexcept {
    // 必须保证内部不抛异常
    // 例如使用 std::exception_ptr 捕获并忽略异常
}

5. 结语

RAII 与异常安全构成了 C++ 稳定可靠代码的基石。通过将资源管理与对象生命周期绑定，并遵循异常安全的层级策略，开发者能够写出既简洁又健壮的程序。随着标准库的不断丰富，例如 std::filesystem、std::optional 等，RAII 的使用已成为日常编码的自然选择。请在实际项目中持续关注资源管理细节，保持代码的可维护性与可读性。

发表评论取消回复