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。该体系设计清晰，覆盖常见错误场景，合理使用可显著提升程序健壮性和可维护性。
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::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::runtime_error
表示运行期间发生的、无法提前预测的错误。常见子类有：
std::range_error
表示计算结果超出有效范围，如数值转换溢出。
std::overflow_error
表示算术运算上溢，如浮点数过大。
std::underflow_error
表示算术运算下溢，如浮点数趋近于零但无法表示。
std::regex_error
正则表达式构造或匹配时出错。
std::system_error
（C++11 起）
封装系统级错误，如线程创建失败、文件打开失败等，通常配合
std::error_code
使用。
这类错误通常与外部环境或资源有关，需在运行时捕获并处理。
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) { // 兜底处理}
what()
返回的字符串是实现定义的，内容可能简略，不要依赖其具体文本做逻辑判断。
自定义异常建议继承
std::runtime_error
或
std::logic_error
，便于统一处理。
使用
noexcept
时注意：
what()
函数承诺不抛异常，自定义异常也应遵守。
基本上就这些。标准异常体系设计清晰，覆盖了常见错误场景，合理使用能显著提升程序的健壮性和可维护性。
以上就是标准库抛出哪些异常 std exception类体系分析的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1472382.html
微信扫一扫 
支付宝扫一扫 
