RAII通过对象生命周期管理资源，确保异常安全。利用构造函数获取资源、析构函数释放资源，结合智能指针、lock_guard及自定义RAII类，可自动释放内存、文件句柄、互斥锁等，避免泄漏与死锁，是C++异常安全的核心机制。
在C++中编写异常安全的代码是构建稳定、可靠系统的关键。当异常发生时，若资源未被正确释放，就会导致内存泄漏、文件句柄丢失、死锁等问题。RAII（Resource Acquisition Is Initialization）是C++中解决这类问题的核心技术。它通过对象的构造函数获取资源，在析构函数中释放资源，利用C++的确定性析构机制确保资源在异常发生时也能被正确清理。
RAII的基本原理
RAII的核心思想是：将资源的生命周期绑定到一个局部对象的生命周期上。只要对象在作用域内，资源就有效；一旦对象超出作用域，其析构函数自动调用，资源随之释放。这种机制不依赖于程序员手动调用释放函数，而是由语言机制保证。
常见资源包括：
- 动态分配的内存（new/delete）
- 文件句柄（fopen/fclose）
- 互斥锁（lock/unlock）
- 网络连接、数据库连接等
通过RAII封装这些资源，可以避免在异常路径中遗漏清理操作。
立即学习“C++免费学习笔记（深入）”；
智能指针：自动管理动态内存
C++标准库提供了std::unique_ptr和std::shared_ptr，它们是RAII在内存管理中的典型应用。
例如：
#include <memory>
#include <iostream>
<p>void risky_function() {
auto ptr = std::make_unique<int>(42);
if (some_error_condition) {
throw std::runtime_error("Something went wrong");
}
// 即使抛出异常，ptr的析构函数会自动释放内存
}
在这个例子中，即使risky_function抛出异常，ptr也会在栈展开过程中被销毁，其所指向的内存自动释放，不会造成泄漏。
锁的RAII封装：std::lock_guard
多线程编程中，互斥锁的正确使用至关重要。如果加锁后因异常未解锁，会导致死锁。RAII通过std::lock_guard等工具解决这个问题。
示例：
#include <mutex>
<p>std::mutex mtx;</p><p>void update_data() {
std::lock_guard<std::mutex> lock(mtx); // 构造时加锁
if (data_is_invalid()) {
throw std::logic_error("Invalid data");
}
// 处理数据...
// lock析构时自动解锁，即使异常发生
}
无论函数正常返回还是抛出异常，lock_guard的析构都会释放互斥量，保证线程安全。
自定义RAII类封装资源
对于非标准资源，如文件、Socket、数据库连接等，可以自定义RAII类。
以文件操作为例：
class FileRAII {
FILE* file;
public:
explicit FileRAII(const char* path, const char* mode) {
file = std::fopen(path, mode);
if (!file) {
throw std::runtime_error("Cannot open file");
}
}
<pre class="brush:php;toolbar:false;">~FileRAII() {
if (file) {
std::fclose(file);
}
}
// 禁止拷贝，防止资源被多次释放
FileRAII(const FileRAII&) = delete;
FileRAII& operator=(const FileRAII&) = delete;
// 允许移动
FileRAII(FileRAII&& other) noexcept : file(other.file) {
other.file = nullptr;
}
FILE* get() const { return file; }};
使用方式：
void read_config() {
FileRAII file("config.txt", "r");
char buffer[256];
if (!std::fgets(buffer, sizeof(buffer), file.get())) {
throw std::runtime_error("Read failed");
}
// 异常发生时，文件自动关闭
}
这个类确保文件在任何情况下都会关闭，无需在每个退出点手动调用fclose。
基本上就这些。RAII不是一种可选技巧，而是现代C++异常安全编程的基石。通过合理使用智能指针、锁封装和自定义资源类，可以大幅降低资源泄漏风险，写出更健壮的代码。关键在于：让资源依附于对象，依赖析构，而不是依赖程序员的记忆。
