HIT 软件构造 断言 防御式编程

断言

定义

在开发阶段的代码中嵌入，检验某些“假设”是否 成立。若成立，表明程序运行正常，否则表明存在错误。
断言正确，则继续执行
在实际使用时，assertion都会被disabled

Java实现

assert condition; [condition是一个true或者false类型的表达式]
assert condition : message;[当判断结果是false时打印message]
assertion一般时关闭的，使用java -ea功能打开，使用java -da功能关闭

编程建议

1. 在断言中不要添加可执行代码，因为在增试运行的时候，assertion会被disabled
2. 程序之外的事不要断言，比如文件、网络、用户输入等（外部错误要使用exception机制处理）
3. 断言非常影响程序性能
4. 使用断言检查前置条件、后置条件、RI
5. 使用断言是为了提高correctness（因为断言处理的是“绝不应该发生的事情”，便于fail fast），使用错误、异常处理机制是为了提高Robustness（因为异常处理的是“预料到可以发生”的不正常的事）
6. 在开发阶段使用使用断言尽可能消除bug，在发行版本里使用异常处理机制处理漏掉的错误