C++异常处理try catch throw详解_C++标准异常类的继承体系

C++异常处理通过try、catch、throw实现，用于捕获和处理运行时错误。try块中抛出异常，由匹配的catch块捕获，推荐按const引用捕获以避免切片。标准异常继承自std::exception，如logic_error和runtime_error及其子类。最佳实践包括使用RAII、自定义异常继承标准类并重写what()，合理记录或重新抛出异常，提升程序健壮性。

在C++中，异常处理是一种用于应对程序运行时错误的机制。通过 try、catch 和 throw 关键字，开发者可以优雅地处理错误情况，避免程序崩溃，并提升代码的健壮性。

try、catch、throw 基本用法

当程序可能发生错误时，将相关代码放在 try 块中。如果在 try 块中检测到异常，使用 throw 抛出一个异常对象。随后，系统会查找匹配的 catch 块来处理该异常。

基本语法如下：

try {
    // 可能抛出异常的代码
    if (error) throw exception_object;
}
catch (ExceptionType1 e) {
    // 处理某种类型的异常
}
catch (ExceptionType2& e) {
    // 更推荐按引用捕获，避免拷贝和切片
}
catch (...) {
    // 捕获所有未被前面 catch 捕获的异常
}

示例：

#include 
using namespace std;

int main() {
    try {
        throw runtime_error("发生了一个运行时错误");
    }
    catch (const runtime_error& e) {
        cout << "捕获异常: " << e.what() << endl;
    }
    return 0;
}

输出：

C++标准异常类的继承体系

C++标准库定义了一套异常类体系，位于 头文件中。这些类以多态方式组织，形成一个继承结构，便于统一处理。

核心类是 std::exception，它是所有标准异常类的基类。它提供了一个虚函数 what()，返回描述异常的 C 风格字符串（const char*）。

主要的派生类包括：

• std::logic_error：表示程序逻辑错误，通常可以在运行前发现的错误。
• std::runtime_error：表示运行时错误，无法在编译期预测的错误。

常见子类：

• logic_error 的派生类：
  • invalid_argument：参数无效，如 stoi("abc")
  • domain_error：参数超出数学定义域
  • length_error：试图创建过长的 string
  • out_of_range：访问越界，如 vector.at() 越界
  • future_error：与 std::future 相关的错误
• runtime_error 的派生类：
  • range_error：计算结果超出范围
  • overflow_error：算术溢出
  • underflow_error：算术下溢

继承关系大致如下：

std::exception
├── std::logic_error
│   ├── std::invalid_argument
│   ├── std::domain_error
│   ├── std::length_error
│   ├── std::out_of_range
│   └── std::future_error
└── std::runtime_error
    ├── std::range_error
    ├── std::overflow_error
    └── std::underflow_error

异常处理的最佳实践

合理使用异常能提高代码可读性和安全性。以下是一些实用建议：

• 优先按 const 引用 捕获异常，避免对象切片和不必要的拷贝。
• 不要捕获所有异常后不做处理，至少应记录日志或重新抛出。
• 自定义异常类时，建议从 std::exception 或其子类派生，并重写 what() 函数。
• 谨慎使用 throw; 重新抛出当前异常，适用于局部处理后再交由上层处理。
• RAII（资源获取即初始化）与异常结合使用，确保资源正确释放。

小结

掌握 try-catch-throw 机制和标准异常体系，有助于编写更稳定、易维护的 C++ 程序。理解异常类的层次结构，能帮助你选择合适的异常类型，也能写出更具针对性的 catch 分支。基本上就这些，不复杂但容易忽略细节。