17370845950

C++通过try、catch和throw实现异常处理，throw抛出异常，try块包含可能出错的代码，catch捕获并处理异常，如throw std::runtime_error("Something went wrong!")被catch(const std::exception& e)捕获，提升程序健壮性与安全性。

在C++中，异常处理机制通过try、catch和throw关键字实现，用于在程序运行时处理错误或异常情况。合理使用异常机制不仅能提升程序的健壮性，还能帮助编写更安全、更清晰的代码。

异常处理基本语法

C++中的异常处理由三部分组成：

• throw：当检测到错误时抛出一个异常对象。
• try：将可能抛出异常的代码块包裹起来。
• catch：捕获并处理特定类型的异常。

try {
    if (error_condition) {
        throw std::runtime_error("Something went wrong!");
    }
}
catch (const std::exception& e) {
    std::cerr << "Error: " << e.what() << std::endl;
}
catch (...) {
    std::cerr << "Unknown exception caught." << std::endl;
}

注意：catch(...) 可以捕获所有类型异常，但应谨慎使用，避免掩盖具体问题。

编写异常安全的代码技巧

异常安全指当异常发生时，程序仍能保持一致状态，不泄漏资源、不破坏数据结构。以下是关键实践方法：

• 使用RAII（资源获取即初始化）：将资源（如内存、文件句柄、锁）封装在对象中，利用析构函数自动释放。例如使用std::unique_ptr代替裸指针。
• 避免在构造函数中执行可能失败的操作：若构造过程中抛出异常，对象未完全构造，可能导致资源泄漏。应在构造完成后进行高风险操作。
• 提供强异常安全保证：操作要么完全成功，要么不改变任何状态。可通过“拷贝再交换”技术实现，例如：

  class MyClass {
      std::vector data;
  public:
      void setData(const std::vector& new_data) {
          auto temp = new_data;           // 先复制
          data.swap(temp);                // 交换，不会抛异常
      }
  };
  

• 确保析构函数不抛异常：C++标准规定析构函数不应抛出异常，否则可能导致程序终止。若必须处理错误，应在析构中使用try/catch吞掉异常。

常见陷阱与建议

• 不要捕获值类型异常，应使用const引用避免拷贝开销。
• 避免跨DLL或动态库边界传递异常，不同编译环境可能不兼容。
• 慎用异常规范（如throw()），C++11后已被noexcept取代。
• 在性能敏感路径上评估是否启用异常机制，某些嵌入式系统会禁用异常以减小体积。

基本上就这些。掌握异常机制并结合RAII模式，能显著提升C++代码的可靠性和可维护性。关键是设计好资源管理策略，让异常成为可控的流程分支，而不是灾难源头。