标准库抛出哪些异常 std exception类体系分析

P粉602998670

发布时间：2025-08-22 12:04:01

800人浏览过

来源于php中文网

原创

c++++标准库中的异常体系以std::exception为核心基类，所有标准异常均派生自它，用于构建健壮的异常处理机制。1. std::exception定义在头文件中，提供虚函数what()返回异常描述信息。2. 逻辑错误如std::logic_error及其子类std::domain_error、std::invalid_argument、std::length_error、std::out_of_range和std::future_error，表示程序可检测的逻辑问题。3. 运行时错误如std::runtime_error及其子类std::range_error、std::overflow_error、std::underflow_error、std::regex_error和std::system_error，表示运行期间不可预测的错误。4. 内存相关异常std::bad_alloc在new失败时抛出，直接继承自std::exception。5. 类型转换异常包括std::bad_cast（dynamic_cast失败时抛出）和std::bad_typeid（对nullptr使用typeid时可能抛出）。6. 异常处理相关异常有std::bad_exception（用于意外异常处理，已弃用）和std::nested_exception（支持嵌套异常传递）。7. 继承关系上，std::bad_alloc、std::bad_cast、std::bad_typeid、std::bad_exception和std::nested_exception均直接继承自std::exception，而非通过logic_error或runtime_error。8. 使用建议包括优先捕获具体异常类型再捕获基类、不依赖what()返回文本做逻辑判断、自定义异常应继承std::runtime_error或std::logic_error，并确保what()函数为noexcept。该体系设计清晰，覆盖常见错误场景，合理使用可显著提升程序健壮性和可维护性。

标准库抛出哪些异常 std exception类体系分析

C++标准库中的异常体系以

std::exception

为核心基类，所有标准异常都派生自它。了解这一类体系有助于编写更健壮的异常处理代码。以下是标准库中常见的异常类及其继承关系的详细分析。

一、std::exception 类体系概览

std::exception

是所有标准异常的基类，定义在

头文件中。它提供了一个虚函数：

virtual const char* what() const noexcept;

该函数返回描述异常原因的C风格字符串。

标准异常主要分为两大类：

逻辑错误（logic_error）：程序逻辑可检测到的错误，通常在运行前就可发现。
运行时错误（runtime_error）：运行过程中发生的错误，无法在编译时预测。

二、常见的标准异常类及其用途

1. 逻辑错误（继承自

std::logic_error

）

std::logic_error

派生自

std::exception

，用于表示违反程序逻辑的错误。常见子类包括：

```
std::domain_error
```
表示参数超出了函数定义域。例如数学函数传入非法值。
```
std::invalid_argument
```
表示参数格式或类型不合法。例如
```
std::stoi("abc")
```
会抛出此异常。
```
std::length_error
```
表示试图创建一个超出容器最大长度的对象。例如
```
std::vector::resize()
```
超过
```
max_size()
```
。

std::out_of_range

表示访问越界，如

std::vector::at()

或

std::string::at()

访问无效索引。

```
std::future_error
```
与
```
std::future
```
和
```
std::promise
```
相关的错误，如重复设置值。

这些异常通常表示程序中的编程错误，应通过代码审查和输入校验避免。

2. 运行时错误（继承自

std::runtime_error

）

std::runtime_error

表示运行期间发生的、无法提前预测的错误。常见子类有：

```
std::range_error
```
表示计算结果超出有效范围，如数值转换溢出。
```
std::overflow_error
```
表示算术运算上溢，如浮点数过大。
```
std::underflow_error
```
表示算术运算下溢，如浮点数趋近于零但无法表示。
```
std::regex_error
```
正则表达式构造或匹配时出错。
```
std::system_error
```
（C++11 起）
封装系统级错误，如线程创建失败、文件打开失败等，通常配合
```
std::error_code
```
使用。

这类错误通常与外部环境或资源有关，需在运行时捕获并处理。

稿定AI绘图

稿定推出的AI绘画工具

下载

3. 内存相关异常

std::bad_alloc

当

new

操作符无法分配足够内存时抛出。它不继承自
std::exception
的子类，而是直接继承自

std::exception

。

示例：

try {
    int* p = new int[1000000000000LL];
} catch (const std::bad_alloc& e) {
    std::cout << "内存分配失败: " << e.what() << std::endl;
}

4. 类型转换异常

std::bad_cast

dynamic_cast

用于引用或指针类型转换失败时抛出（指针返回

nullptr

不抛异常，但引用失败会抛出）。

try {
    Base& b = dynamic_cast(derived_obj);
} catch (const std::bad_cast& e) {
    std::cout << "类型转换失败: " << e.what() << std::endl;
}

```
std::bad_typeid
```
当对
```
nullptr
```
指针使用
```
typeid
```
时抛出（C++17 前可能抛出，现在通常不抛，但标准仍保留此异常）。

5. 异常处理相关异常

```
std::bad_exception
```
用于意外异常处理机制（
```
std::set_unexpected
```
，已弃用），现在很少使用。

std::nested_exception

（C++11 起）
支持嵌套异常，允许捕获异常后再抛出并保留原始异常信息。配合

std::throw_with_nested

使用。

示例：

try {
    try {
        throw std::runtime_error("inner");
    } catch (...) {
        std::throw_with_nested(std::logic_error("outer"));
    }
} catch (const std::exception& e) {
    // 可递归访问嵌套异常
}

三、标准异常类的继承关系图（文字版）

std::exception
├── std::logic_error
│   ├── std::domain_error
│   ├── std::invalid_argument
│   ├── std::length_error
│   ├── std::out_of_range
│   └── std::future_error
├── std::runtime_error
│   ├── std::range_error
│   ├── std::overflow_error
│   ├── std::underflow_error
│   ├── std::regex_error
│   └── std::system_error
├── std::bad_alloc
├── std::bad_cast
├── std::bad_typeid
├── std::bad_exception
└── std::nested_exception

注意：std::bad_alloc、std::bad_cast 等是直接继承自 std::exception，不通过 logic_error 或 runtime_error。

四、使用建议

优先捕获具体异常类型，再捕获基类。例如：

try {
    // ...
} catch (const std::invalid_argument& e) {
    // 处理参数错误
} catch (const std::runtime_error& e) {
    // 处理运行时错误
} catch (const std::exception& e) {
    // 兜底处理
}