算法(4th ed)(107):基础——数据抽象 4.5.11

阅读数:10 2019 年 11 月 2 日 12:21

算法(4th ed)(107):基础——数据抽象 4.5.11

(数据类型的设计:契约式设计)

在最后,我们将简要讨论 Java 语言中能够在程序运行时检验程序状态的一些机制。为此我们将使用两种 Java 的语言特性:

  • 异常(Exception),一般用于处理不受我们控制的不可预见的错误;
  • 断言(Assertion),验证我们在代码中做出的一些假设。

大量使用异常和断言是很好的编程实践。为了节约版面我们在本书中极少使用它们,但你在本书网站上的所有代码中都会找到它们。这些代码中的每个和异常条件以及断言恒等式有关的算法周围都有大量的注释。

评论

发布