7.3Assertions and Defensive Programming断言与防御式编程

7.3Assertions and Defensive Programming断言与防御式编程

 

1.回忆：设计ADT

2.Assertions 声称

--What to Assert and What not to? 断言什么，不断言什么

--Guidelines for Using Assertions  断言的帮助

3.Defensive Programming 防御式拷贝

– Techniques for defensive programming

4.SpotBugs

 

1 Recall: Designing an ADT

 

First Defense: Make Bugs Impossible 最好的防御就是不要引入bug

Second Defense: Localize Bugs 快速定位bug，检查前置条件是防御式编程的一种典型形式

 

2 Assertions

(1) What and Why Assertions?

断言：在开发阶段的代码中嵌入，检验某些“假设”是否成立。若成立，表明程序运行正常，否则表明存在错误。

出现 AssertionError ，意味着内部某些假设被违反了

断言的方法：

assert condition;

assert condition : message;

(2) What to Assert and What not to?

Internal Invariants 内部不变量

 Rep Invariants 表示不变量 （checkRep）

 Control-Flow Invariants 控制流不变量  switch-case

 Pre-conditions of methods 方法的前置条件

 Post-conditions of methods 方法的后置条件

 

使用异常可以避免程序直接结束

 

缺省关闭断言，要记得打开 (-ea)，断言非常影响性能

 

(3) Guidelines for Using Assertions

 

断言-->Correctness

错误 / 异常处理-->Robustness1

 

3 Defensive Programming

§ Protecting programs from invalid inputs

§ Assertions

§ Exceptions

§ Specific error handling techniques

§ Barricade

§ Debugging aids

(1) Protecting Programs From Invalid Inputs

对来自外部的数 据源要仔细检查，例如：文件、网络数据、用户输入等

(2) Barricade 设置路障

类的public方法 接收到的外部数据都应被认为是dirty的，需要处理干净再传递到 private方法——隔离舱

(3) Debugging Aids