std::exception

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

工具库

语言支持 类型支持（基本类型、 RTTI） 库功能特性测试宏 (C++20) 动态内存管理 程序工具 协程支持 (C++20) 变参数函数 is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) 三路比较 (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20) is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

通用工具 日期和时间 函数对象 格式化库 (C++20) bitset hash (C++11) 关系运算符 (C++20 中弃用) rel_ops::operator!=rel_ops::operator> rel_ops::operator<=rel_ops::operator>= 整数比较函数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20) cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) swap 与类型运算 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 常用词汇类型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23) 初等字符串转换 to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

诊断库

异常处理 exception uncaught_exceptionuncaught_exceptions (C++20 前)(C++17) exception_ptr (C++11) make_exception_ptr (C++11) current_exception (C++11) rethrow_exception (C++11) nested_exception (C++11) throw_with_nested (C++11) rethrow_if_nested (C++11) 异常处理失败 terminate terminate_handler get_terminate (C++11) set_terminate bad_exception unexpected (C++17 前) unexpected_handler (C++17 前) get_unexpected (C++11)(C++17 前) set_unexpected (C++17 前) 错误号 错误号 errno

异常类别 logic_error invalid_argument domain_error length_error out_of_range runtime_error range_error overflow_error underflow_error tx_exception (TM TS) 系统错误支持 error_category (C++11) generic_category (C++11) system_category (C++11) error_condition (C++11) errc (C++11) error_code (C++11) system_error (C++11) 断言 assert 栈踪 stacktrace_entry (C++23) basic_stacktrace (C++23)

 

std::exception

成员函数

exception::exception

exception::~exception

exception::operator=

exception::what

 

在标头 <exception> 定义
class exception;

提供一致的接口，以通过 throw 表达式处理错误。

标准库所生成的所有异常都继承自 std::exception。

成员函数

(构造函数)	构造异常对象 (公开成员函数)
(析构函数) [虚]	析构该异常对象 (虚公开成员函数)
operator=	复制异常对象 (公开成员函数)
what [虚]	返回解释性字符串 (虚公开成员函数)

标准异常要求

每个从 std::exception 派生的标准库类 T 都必须有以下可公开访问的成员函数，这些成员函数不能因为异常退出 (C++20 前)都必须有不抛出的异常说明 (C++20 起)：

默认构造函数（除非提供了其他构造函数）

(C++20 起)

• 复制构造函数
• 复制赋值运算符

复制构造函数和复制赋值运算符满足以下后置条件：

• 如果两个对象 lhs 和 rhs 都具有动态类型 T，并且 lhs 是 rhs 的副本，那么 std::strcmp(lhs.what(), rhs.what()) 等于 ​0​。

每个此类 T 的成员函数 what() 都满足 std::exception::what() 所受到的制约。

(C++20 起)

标准异常

• logic_error

• invalid_argument
• domain_error
• length_error
• out_of_range
• future_error (C++11 起)

• runtime_error

• range_error
• overflow_error
• underflow_error
• regex_error (C++11 起)
• system_error (C++11 起)

• ios_base::failure (C++11 起)
• filesystem::filesystem_error (C++17 起)

• tx_exception (TM TS)
• nonexistent_local_time (C++20 起)
• ambiguous_local_time (C++20 起)
• format_error (C++20 起)

• bad_typeid
• bad_cast

• bad_any_cast (C++17 起)

• bad_optional_access (C++17 起)
• bad_expected_access (C++23 起)
• bad_weak_ptr (C++11 起)
• bad_function_call (C++11 起)
• bad_alloc

• bad_array_new_length (C++11 起)

• bad_exception
• ios_base::failure (C++11 前)
• bad_variant_access (C++17 起)

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 471	C++98	对从 std::exception 派生的标准库类没有任何要求	添加要求