exception - Eiffel and Rescue子句中的错误处理

Question

在程序末尾编写一个救援条款以在Eiffel中结束该程序是否足以处理该程序中编写的任何例程中的异常，例如前置条件，后置条件或不变违规？还是应该为每个具有前置和后置条件以处理异常的函数编写救援条款？

我读过Eiffel documentation on error handling，但我不知道。

Answer 1

答案取决于您的期望。方法如下:

违反前提条件的情况会报告给调用方。它们指示调用者中的错误。如果预期或可能在调用程序中出现错误，则可以在调用程序中捕获并处理它们。

后置条件违规报告给被调用方。它们指示被调用方中的错误。如果预期会出现此类错误，被调用者可以捕获并处理它们。

类不变式是在对象创建时建立的。如果创建过程或在合格的调用中使用的过程执行后违反了这些规则，则表明它们在被调用方中存在错误，可以像后置条件违例一样进行处理。否则，它们指示涉及对象依赖项的更复杂的问题。它可以由调用方处理，但是很可能几乎不可能恢复正确的对象状态。

在所有情况下，违反声明都意味着程序错误，是否以及如何捕获和处理它取决于您的需求。例如，可以在有问题的代码和根过程之间进行处理。