什么是异常规格（Exception Specification）

异常规格（Exception Specification）是C++编程语言中用于声明函数可能抛出的异常类型的一种机制。以下是关于异常规格的详细解释：

1. 定义与用途：
   • 异常规格允许程序员在函数声明时指定该函数可能抛出的异常类型。
   • 它通过throw(exception_type_list)语法来实现，其中exception_type_list是一个逗号分隔的异常类型列表。
   • 例如：void func() throw(int, std::exception); 表示func函数可能抛出int类型或std::exception类型及其派生类型的异常。
2. C++版本的支持：
   • 异常规格是C++98中引入的一个特性。
   • 然而，在C++11及以后的版本中，异常规格已被弃用，并推荐使用noexcept关键字来声明函数是否抛出异常。
3. 注意事项：
   • 异常规格并不要求函数实际抛出列表中的异常类型，它只是一个声明，用于告知编译器和调用者该函数可能抛出的异常类型。
   • 如果函数抛出了未在异常规格中声明的异常类型，程序将调用std::unexpected()函数，除非该函数被std::set_unexpected()函数覆盖。
   • C++规定，派生类虚函数的异常规格必须与基类虚函数的异常规格一样严格，或者更严格。这是为了确保当通过基类指针（或引用）调用派生类虚函数时，不会违背基类成员函数的异常规范。
4. 编译与运行时的处理：
   • 一个异常规范的违例不会在编译期被检查，只有在运行期被检测到。
   • 如果函数抛出了异常规格中未声明的异常，并且没有相应的catch块来捕获这个异常，那么程序将终止。
5. 替代方案：
   • 在C++11及以后的版本中，推荐使用noexcept关键字来声明函数是否抛出异常。例如：void func() noexcept; 表示func函数不会抛出任何异常。如果函数确实抛出了异常，std::terminate()函数将被调用，程序将终止。

总结来说，异常规格是C++98中用于声明函数可能抛出的异常类型的一种机制，但在C++11及以后的版本中已被弃用，并推荐使用noexcept关键字来替代。

异常规格（Exception Specification）在C++中除了用于明确描述一个函数可能抛出的异常类型外，还有以下一些用途：

1. 增强代码的可读性和可维护性：
   • 异常规格使得代码更容易理解，因为它明确地告诉调用者这个函数可能会抛出哪些类型的异常。
   • 这有助于调用者编写适当的异常处理代码，从而避免在运行时遇到意外的异常。
   • 对于函数的维护者来说，异常规格也是一种约束，提示他们不要抛出未在规格中声明的异常类型。
2. 编译时和运行时的错误检测：
   • 虽然编译器在编译时不会强制检查异常规格的一致性，但它在某些情况下能够检测到异常规格的不一致。
   • 如果一个函数抛出一个不在异常规格范围内的异常，系统在运行时能够检测出这个错误，并自动调用unexpected函数（在C++11之前）。
   • unexpected函数的默认行为是调用terminate函数，而terminate函数的默认行为是调用abort函数，这将导致程序停止运行。
3. 指导异常处理：
   • 异常规格可以作为一个指导性文档，告诉函数调用者必须做好异常处理的准备。
   • 通过查看函数的异常规格，调用者可以了解该函数可能抛出的异常类型，从而编写相应的catch块来处理这些异常。
4. 促进代码的健壮性：
   • 通过使用异常规格，程序员可以更加关注函数的异常处理逻辑，从而提高代码的健壮性。
   • 当函数无法处理某个异常时，它可以选择将该异常抛出给上层调用者，由上层调用者来处理。
5. 版本控制和兼容性：
   • 当新代码与没有异常规格的老代码整合在一起工作时，异常规格可以作为一种兼容性的手段。
   • 通过明确指定函数可能抛出的异常类型，新代码可以与老代码更好地协同工作，减少因异常处理不当而引发的兼容性问题。

需要注意的是，C++11及以后的版本已经弃用了传统的异常规格语法（即使用throw(exception_type_list)的方式），并推荐使用noexcept关键字来声明函数是否抛出异常。noexcept关键字更加简洁明了，并且与C++的异常处理机制更加契合。