异常

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

throw 表达式、dynamic_cast、typeid、new 表达式、分配函数，以及专门用来抛出特定异常以指示特定错误状态的任何标准库函数（例如 std::vector::at、std::string::substr 等），都可以抛出异常。

为捕获异常，throw 表达式必须处于 try 块之中，或处于 try 块中所调用的函数之中，而且必须有与异常对象的类型相匹配的 catch 子句。

在声明函数时，可以提供异常说明和 noexcept 说明符，以限制函数能够抛出的异常类型。

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

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

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

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

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

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

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

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

为避免不必要的异常对象复制和对象切片，catch 子句在实际中最好引用捕捉。[10][11][12][13]