编辑“︁C++ raii 与异常”︁（章节）

== C++ RAII 与异常 ==

'''RAII'''（Resource Acquisition Is Initialization，资源获取即初始化）是 C++ 的核心编程范式之一，它通过对象的生命周期管理资源（如内存、文件句柄、锁等），确保资源在异常发生时仍能正确释放。本节将详细讲解 RAII 如何与 C++ 异常处理协同工作，避免资源泄漏。

=== 基本概念 ===
RAII 的核心思想是：
* 资源在构造函数中获取。
* 资源在析构函数中释放。
* 利用栈展开（stack unwinding）机制保证异常发生时析构函数被调用。

数学表达为：<math>\text{Resource} \rightarrow \text{Constructor} \rightarrow \text{Destructor}</math>

=== 为什么需要 RAII 处理异常？ ===
传统资源管理（如手动 `new`/`delete`）在异常发生时容易泄漏：
<syntaxhighlight lang="cpp">
void unsafe_function() {
    int* ptr = new int(42);
    if (error_condition) throw std::runtime_error("Oops"); // 内存泄漏！
    delete ptr; // 不会执行
}
</syntaxhighlight>

RAII 的解决方案（使用 `std::unique_ptr`）：
<syntaxhighlight lang="cpp">
#include <memory>
void safe_function() {
    std::unique_ptr<int> ptr(new int(42)); // 资源在构造时获取
    if (error_condition) throw std::runtime_error("Oops");
    // 析构函数自动调用 delete
} // 即使抛出异常，内存也会释放
</syntaxhighlight>

=== 关键机制：栈展开 ===
当异常抛出时，C++ 会回溯调用栈，并销毁所有局部对象：
<mermaid>
graph LR
    A[抛出异常] --> B[暂停当前执行]
    B --> C[析构局部对象]
    C --> D[查找catch块]
</mermaid>

=== 实际案例 ===
==== 案例1：文件处理 ====
<syntaxhighlight lang="cpp">
#include <fstream>
#include <stdexcept>

void write_to_file() {
    std::ofstream file("data.txt"); // RAII: 构造函数打开文件
    if (!file) throw std::runtime_error("无法打开文件");

    file << "重要数据"; // 可能抛出异常
    // 不需要显式调用 file.close()
} // 析构函数自动关闭文件
</syntaxhighlight>

==== 案例2：锁管理 ====
<syntaxhighlight lang="cpp">
#include <mutex>
std::mutex mtx;

void thread_safe_operation() {
    std::lock_guard<std::mutex> lock(mtx); // RAII: 构造时加锁
    risky_operation(); // 可能抛出异常
    // 析构时自动解锁
}
</syntaxhighlight>

=== 自定义 RAII 类 ===
实现一个简单的 RAII 包装器：
<syntaxhighlight lang="cpp">
class DatabaseConnection {
    Connection* conn;
public:
    DatabaseConnection() : conn(open_connection()) {} // 获取资源
    ~DatabaseConnection() { close_connection(conn); } // 释放资源

    // 禁用拷贝（确保资源唯一性）
    DatabaseConnection(const DatabaseConnection&) = delete;
    DatabaseConnection& operator=(const DatabaseConnection&) = delete;
};

void query_database() {
    DatabaseConnection db; // 资源已获取
    execute_query(db); // 可能抛出异常
} // 自动关闭连接
</syntaxhighlight>

=== 异常安全等级 ===
RAII 帮助实现不同级别的异常安全：
{| class="wikitable"
! 安全等级 !! 描述 !! RAII 的作用
|-
| 基本保证 || 不泄漏资源，对象处于有效状态 || '''确保资源释放'''
|-
| 强保证 || 操作完全成功或完全回滚 || 通常需要组合 RAII 与事务
|-
| 无抛出保证 || 操作绝不抛出异常 || 析构函数应设为 noexcept
|}

=== 常见陷阱 ===
1. '''动态分配的 RAII 对象'''：忘记用智能指针包装
   <syntaxhighlight lang="cpp">
   // 错误示例
   void leaky() {
       auto* raii_obj = new RAIIWrapper(); // 需要手动删除
       throw std::exception();
       delete raii_obj; // 不会执行
   }
   </syntaxhighlight>

2. '''循环引用'''：智能指针的交叉引用导致内存泄漏

3. '''异常在析构函数中抛出'''：用 `noexcept` 标记析构函数
   <syntaxhighlight lang="cpp">
   ~MyClass() noexcept { /* 不应抛出 */ }
   </syntaxhighlight>

=== 最佳实践 ===
* 优先使用标准库 RAII 类（`std::unique_ptr`, `std::lock_guard` 等）
* 为所有资源封装自定义 RAII 类
* 遵循 '''Rule of Three/Five/Zero''' 设计原则
* 标记析构函数为 `noexcept`

=== 总结 ===
RAII 是 C++ 异常安全的基石，通过将资源生命周期与对象绑定，确保：
* 代码更简洁（减少 `try`/`catch` 块）
* 资源管理更可靠（自动释放）
* 异常安全更易实现（强保证的基础）

掌握 RAII 是成为高级 C++ 开发者的关键一步！

[[Category:编程语言]]
[[Category:C++]]
[[Category:C++ 异常处理]]