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