C++异常处理

异常处理（exception handing）使问题的检测和处理过程可以分别进行，是C++适用于大规模开发的重要语言特性之一。首先进行简单说明。

首先假设我们有抛出某种Error的函数testfun()。

注意：C++并不要求抛出的对象一定是exception，Error可以是任意类型。

对于这个错误，代码如果不进行处理，一旦testfun被调用，程序会中止并产生以下输出：

哪怕稍微正经一些的软件，都不会接受这种结果的。所以一般的选择是处理这个错误，也就是使用try/catch机制来捕捉错误。

testfun2，testfun3都在内部调用了testfun，区别就在于testfun2内部进行了错误捕捉；testfun3本身没有进行错误捕捉，而是由main函数进行了错误捕捉。两种方式都没有问题。更加通用的说法是：

程序可以在处理的任何层级进行错误捕捉，如果所有的层级都没有进行错误捕捉，程序会在错误发生时中止。

noexcept异常指示符

上述方法带来灵活性的另一个侧面就是同时也带来了不确定性。软件开发的规模越来越大，函数库/类库的调用层级也越来越多，这时确定一个调用是否会抛出异常也 变得越来越困难。作为解决手段之一，C++11中通过noexcept说明符来对外宣称处理不会抛出异常。这样程序员就不必深入所有的调用层级自己去确认 了。

例如上面的testfun2()，在它的内部已经进行了错误捕捉，可以按如下方式定义：

这样使用者就可以放心大胆的不进行错误捕捉了。

例外

一个例外情况就是明明声明了某个处理是noexcept，实际的内部处理还是抛出了异常。在这种情况下，即使进行了错误捕捉，也不会正常工作。

上述代码中testfun4()如果声明为noexcept的同时又抛出了异常，即使main函数中try/catch无法捕捉到Error。如果去掉noexcpt声明，则main函数中错误捕捉代码可以正常工作。

一旦声明某个处理是noexcept，编译器在处理这部分代码的时候似乎也会省略错误传递的那部分功能。

作者一句话

实事求是真的很重要。

示例代码下载地址

https://github.com/xueweiguo/OOThinking/blob/master/20180520%20NoExceptExceptionSpecifier.cpp

觉得本文有帮助？请分享给更多人。

阅读更多更新文章，请扫描下面二维码，关注微信公众号【面向对象思考】