C++异常处理与对象析构保障

答案：C++通过栈展开和RAII机制确保异常安全，局部对象析构函数在异常抛出时自动调用，实现资源可靠释放，推荐使用智能指针等RAII类管理资源以避免泄漏。

在C++中，异常发生时的资源清理是一个关键问题。如果处理不当，可能导致内存泄漏、文件句柄未关闭、死锁等问题。幸运的是，C++通过局部对象的析构函数自动调用机制，为异常安全提供了强有力的保障。

异常发生时局部对象的析构保证

当异常被抛出时，程序的执行流会立即跳转到匹配的catch块。在跳转过程中，C++运行时系统会自动调用当前作用域中已构造完成的局部对象的析构函数，这一过程称为栈展开（stack unwinding）。

这意味着，只要资源被封装在局部对象中，其析构函数就能在异常传播时被可靠调用，从而实现资源的自动释放。

RAII：资源获取即初始化

RAII（Resource Acquisition Is Initialization）是C++中管理资源的核心技术。其核心思想是：将资源的生命周期绑定到对象的生命周期上。

典型应用包括：

• 使用std::unique_ptr或std::shared_ptr管理动态内存
• 使用std::lock_guard或std::unique_lock管理互斥量
• 使用自定义类封装文件句柄、网络连接等资源

这些对象在构造时获取资源，在析构时释放资源。由于析构函数在异常发生时仍会被调用，因此能确保资源不泄漏。

编写异常安全的代码示例

考虑一个需要打开文件、分配内存并进行处理的函数：

void process() {
    std::ofstream file("data.txt");
    if (!file) throw std::runtime_error("无法打开文件");
int* buffer = new int[1000];
// 使用智能指针更安全
// auto buffer = std::make_unique<int[]>(1000);

// 如果此处抛出异常
do_something(); // 可能抛出异常

// 正常执行时，file和buffer会自动清理
// 即使do_something()抛出异常，栈展开也会调用file的析构函数
// 但原始指针buffer不会自动释放——这是问题所在
}

上面代码中，file对象是异常安全的，但原始指针buffer在异常发生时会导致内存泄漏。改进方式是使用智能指针：

void process() {
    std::ofstream file("data.txt");
    if (!file) throw std::runtime_error("无法打开文件");
auto buffer = std::make_unique<int[]>(1000);

do_something(); // 即使抛出异常，buffer和file都会被正确释放
}

注意事项与最佳实践

虽然C++保证已构造的局部对象会被析构，但仍需注意以下几点：

• 析构函数本身不应抛出异常，否则可能导致程序终止
• 对象必须已成功构造，构造过程中抛出异常的对象不会调用析构函数
• 避免在析构函数中执行可能失败的操作（如网络通信）
• 优先使用标准库提供的RAII类，而非手动管理资源

基本上就这些。只要合理利用局部对象的析构保证和RAII机制，C++的异常安全是可以有效掌控的。