raii 是一种利用对象生命周期管理资源的技术，通过在构造函数中获取资源、析构函数中释放资源，确保异常发生时资源仍能被正确释放。其核心在于将资源绑定到对象上，使系统自动处理资源回收，避免内存泄漏。实际应用中应使用智能指针、锁管理等标准库工具，或自行封装 raii 类型，并避免在析构函数中抛出异常。
C++异常机制本身不会导致内存泄漏，但如果资源管理不当，在异常抛出时确实容易出现未释放的资源。RAII（Resource Acquisition Is Initialization）是一种广泛使用的技巧，能有效解决这个问题。它的核心思想是：用对象生命周期来管理资源的获取与释放。
RAII 是什么？
RAII 的全称是“资源获取即初始化”，它的基本做法是将资源（比如内存、文件句柄、锁等）封装到一个类的对象中。资源在构造函数中获取，在析构函数中释放。这样，无论程序正常退出还是抛出异常，只要对象超出作用域，析构函数就会自动调用，从而确保资源被正确释放。
举个简单的例子：
立即学习“C++免费学习笔记（深入）”；
class FileHandle {
public:
FileHandle(const char* filename) {
fp = fopen(filename, "r");
if (!fp)
throw std::runtime_error("Failed to open file");
}
~FileHandle() {
if (fp)
fclose(fp);
}
FILE* get() const { return fp; }
private:
FILE* fp;
};在这个例子中，如果 fopen 失败并抛出异常，析构函数仍然会被自动调用（因为对象已经构造了一部分），但要注意构造函数中可能需要处理异常安全问题。
异常环境下 RAII 如何防止内存泄漏？
当函数内部抛出异常时，程序会沿着调用栈回溯，直到找到合适的 catch 块。在这个过程中，所有当前作用域中已经构造完成的对象都会被自动析构。因此，只要你使用了 RAII 风格的资源管理类，这些资源都会被安全释放。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
比如下面这段代码：
void processFile() {
std::unique_ptr<MyClass> ptr(new MyClass());
FileHandle file("test.txt");
// 可能抛出异常的操作
doSomething();
}即使 doSomething() 抛出异常，ptr 和 file 也会在离开 processFile 函数时自动释放各自的资源。
关键点：
- 使用智能指针（如
std::unique_ptr、std::shared_ptr）代替裸指针。 - 将资源封装在类中，并在析构函数中释放。
- 确保构造函数中的资源获取失败能抛出异常，避免留下半初始化状态。
- 避免在析构函数中抛出异常（这可能导致程序崩溃或行为不可预测）。
实际开发中如何应用 RAII？
现代 C++ 中已经内置了很多 RAII 风格的工具，可以直接使用：
-
智能指针：
std::unique_ptr、std::shared_ptr -
锁管理：
std::lock_guard、std::unique_lock - 文件操作：可以自己封装一个 RAII 类，或者使用标准库中支持 RAII 的类（如某些第三方库）
-
临时缓冲区：使用
std::vector或局部变量代替手动分配的堆内存
如果你需要自己实现 RAII 类型，记住以下几点：
- 构造函数负责获取资源。
- 析构函数负责释放资源。
- 不要在析构函数中抛出异常。
- 如果类涉及拷贝和赋值，考虑是否禁用或正确实现（比如使用
delete删除拷贝构造函数）。
例如：
class LockGuard {
public:
explicit LockGuard(std::mutex& m) : mutex(m) {
mutex.lock();
}
~LockGuard() {
mutex.unlock();
}
// 禁止拷贝
LockGuard(const LockGuard&) = delete;
LockGuard& operator=(const LockGuard&) = delete;
private:
std::mutex& mutex;
};这样在多线程代码中使用这个类，就能保证在异常发生时也能自动解锁。
总结一下怎么避免异常导致的内存泄漏
- 所有资源都应由 RAII 对象管理。
- 使用标准库提供的 RAII 工具（如智能指针、锁）。
- 自己封装资源时，注意构造/析构逻辑。
- 避免在析构函数中执行可能抛出异常的操作。
- 在异常路径上，确保已构造的对象能正常析构。
基本上就这些。RAII 虽然看起来只是个编程技巧，但它背后的理念是让资源管理变得可预测、自动化，尤其在面对异常这种不可预见的控制流变化时，显得尤为重要。
