62条不要允许异常跨越模块边界传播——C++编程规范解析

蔚落 2022-08-21 00:02 17阅读 0赞

最近在看C++编程规范，第一遍时完全是一头雾水，然后就在本子上记了好多问题，后来稍微理解了些，就把自己的理解写出来和大家分享一下

**1.C++异常处理没用普遍通用的二进制标准说明了什么问题？**

编译器编译生成的obj是二进制文件，然而不同系统不同编译器生成同一份C++代码的二进制文件是不同的，换句话说你调用其他的dll库时所抛出的异常很可能是无法识别的。

**2.不要在两段代码传播异常，两段指的是模块？dll，lib或是其他的库？**

简单的来说，模块就是一个功能包装成一个函数，要实现什么功能就调用哪个函数实现。  
而复杂点的就是，一个功能模块统一放一个C文件中，这个模块相关的函数全部在这个C文件中实现，在主文件（即有main函数的C文件）想要使用这个模块的功能函数，只需要包含它的头文件就可以调用了。那头文件就只是放这个功能模块的函数声明。

所以我们常见的很多模块都是封装在dll和lib里面，我们不需要知道细节，只负责调用就可以。

**3.为什么如果控制了同一系统同一编译器以及编译选项就可以传播异常？**

**4.怎么理解异常传播的机制，由编译器和操作系统以及编译选项来决定，跨模块可能不兼容**

异常对象是一种特殊的对象，位于由编译器管理的空间中，编译器使用异常抛出表达式来对异常对象进行初始化。我们知道不同的编译器对代码做了很多的操作，对不同的情况有不同的处理，而且涉及到各种优化处理，像异常对象这样非常依赖编译器的东西，跨离编译单元是需要慎重考虑的。

如果我们在一个系统上使用一个编译器来编译一份代码那无疑是正常的，但是一旦仅仅是选项发生改变的话，都可能造成各种错误。

**5.模块的每一个编译单元，保证使用相同的编译器和编译选项？这里的编译单元是还是指每个cpp文件么**

编译单元其实就是每个.cpp文件，可以参考博客  [理解C++的链接：C++内链接与外链接的意义][C_C]

**6.兜底的catch(...)语句是什么意思**

catch(...) 语句表示捕获所有异常

**7.main函数附近是指在哪里捕获？**

就是在函数里面了，main函数是最开始执行程序的地方，由于异常会执行栈展开（参见博客 [C++异常基础][C] ）所以在main中使用catch(...)捕获一切异常，这样一定会捕获到在其他地方没有捕获到的异常。

**8.不要让异常传播到回调函数之外，回调函数的机制？**

回调函数就是通过函数指针调用的函数。知乎上有个很形象的解释，你到一个商店买东西，刚好你要的东西没有货，于是你在店员那里留下了你的电话，过了几天店里有货了，店员就打了你的电话，然后你接到电话后就到店里去取了货。在这个例子里，你的电话号码就叫回调函数，你把电话留给店员就叫登记回调函数，店里后来有货了叫做触发了回调关联的事件，店员给你打电话叫做调用回调函数，你到店里去取货叫做响应回调事件。  
作者：常溪玲  
链接：http://www.zhihu.com/question/19801131/answer/13005983  
 其实就是说，调用回调函数的可能其他模块的代码（甚至是其他语言），所以在这里建议用一个catch(...)捕获所有异常，以防异常传出去无法正常使用。

**9. mainline函数不能向系统传播异常**

线程是在系统内部创建的，但是系统并没有处理异常的机制，线程不应该向系统传播异常，所以也要在这里用catch(...)来捕获异常（这里理解的不是很好，希望给出更好的解释）

**10.模块接口附近为什么要用catch(...)？子系统是什么？为什么封装为一个库的异常不要传播出去，用错误码报告？**

这里的错误代码就是我们最开始学习C语言时经常看见的error，比如ERROR 25: Disk read error press any key tocontinue，运行时错误等等。这些错误码只能在终止程序后在显示问题，不能处理。每个模块可能就是一个子系统，在这个模块边界要去最完全的处理，用catch(...)保证捕获异常。

**11. 析构函数不能抛出异常**

从语法上面讲，析构函数抛出异常是可以的，但是C++不推荐这一做法。析构函数可能在对象正常结束生命周期时调用，也可能在有异常发生时从函数堆栈清理时调用。第一种情况抛出异常可以正常捕获；但后一种情况下，因为函数发生了异常而导致函数的局部变量的析构函数被调用，析构函数又抛出异常，本来局部对象抛出的异常应该是由它所在的函数负责捕获的，现在函数既然已经发生了异常，必定不能捕获，因此，异常处理机制只能调用terminate()函数终止。还有一种情况，假设析构函数抛出异常，在catch不处理的话，可能会导致内存泄露。

**12.为什么确保模块在内部一致使用错误处理策略，在其接口中使用另一种策略（C的错误码）**

这里所说的内容其实就是当需要异常跨越模块的时候，我们可以在这里改变异常的处理策略，文中建议我们在C++尽量使用异常机制。为了接受其他模块的错误，我们可以写一些中枢性的函数来进行异常和错误的转换。

**13.异常的优势？**

异常机制允许我们在运行时就对出现的问题进行及时处理，假如我们的程序运行过程出现错误，我们又不想让程序直接挂掉，我们就可以对可能出现的错误提前进行处理。

异常机制使我们能将问题的检测与解决过程分开，模块化设计是大家所提倡的，既然我们决定要对错误进行处理，就要写处理的逻辑代码，如果和业务逻辑写在一起会使代码非常凌乱，不利阅读和移植。

**14.过度状态，析值空指针，底层异常**

文中最后的这段暂时还没有理解，以后回来补充。

[C_C]: http://blog.csdn.net/u012999985/article/details/50429769
[C]: http://blog.csdn.net/u012999985/article/details/50808677