异常

异常处理提供了一种可以使程序从执行的某点将控制流和信息转移到与执行先前经过的某点相关联的处理代码的方法（换言之，异常处理将控制权沿调用栈向上转移）。

求值 throw 表达式会抛出异常。异常也可以在其他语境下抛出。

为捕获异常，throw 表达式必须在 try 块中，而且必须有与异常对象的类型相匹配的处理块。

在声明函数时，可以提供以下说明以限制函数能够抛出的异常类型：

(C++17 前)

(C++11 起)

异常处理过程中发生的错误由 std::terminate 和 std::unexpected (C++17 前) 处理。

尽管 throw 表达式转移控制到执行栈上方的任意代码块时没有条件限制（类似 std::longjmp），但它的预期用途还是进行错误处理。

异常的抛出用于从函数中为错误发信号，其中“错误”通常仅限于以下内容^[1]^[2]^[3]：

这意味着构造函数（参阅 RAII）和大多数运算符应该通过抛出异常来报告程序错误。

另外，所谓宽契约 函数用异常来指示非法输入，例如，std::basic_string::at 没有前置条件，但它会抛出异常以指示下标越界。

在函数报告了错误状态后，可以提供附加保证以保障程序的状态。以下是四个被广泛认可的异常保证等级^[4]^[5]^[6]，每个是另一个的严格超集：

不抛出（或不失败）异常保证——函数始终不会抛出异常。析构函数和其他可能在栈回溯中调用的函数被期待为不会抛出（以其他方式报告或隐瞒错误）。析构函数默认为 noexcept。 (C++11 起)交换函数，移动构造函数，及为提供强异常保证所使用的其他函数，都被期待为不会失败（函数总是成功）。
强异常保证——如果函数抛出异常，那么程序的状态会恰好被回滚到该函数调用前的状态。（例如 std::vector::push_back）。
基本异常保证——如果函数抛出异常，那么程序处于某个有效状态。不泄漏任何资源，且所有对象的不变式都保持完好。
无异常保证——如果函数抛出异常，那么程序可能不会处于有效的状态：可能已经发生了资源泄漏、内存损坏，或其他摧毁不变式的错误。

此外，泛型组件还可以提供异常中性保证：如果从某个模板形参（例如从 std::sort 的 Compare 函数对象，或从 std::make_shared 中 T 的构造函数）抛出异常，那么它会被无修改地传播给调用方。

虽然任意完整类型和指向 void 的 cv 指针都能作为异常对象抛出，但所有标准库函数都以值抛出无名对象，而且这些对象的类型都（直接或间接）派生于 std::exception。用户定义的异常通常遵循此模式。^[7]^[8]^[9]

为避免不必要的异常对象复制和对象切片，处理块在实践中最好以引用捕获。^[10]^[11]^[12]^[13]