《编写高质量代码：改善Java程序的151个建议》 建议19

19. 断言绝对不是鸡肋

在防御式编程中经常会用断言(Assertion)对参数和环境做出判断，避免程序因不当的输入或错误的环境而产生逻辑异常，断言在很多语言中都存在，C、C++、Python都有不同的断言表示形式。在Java中断言使用的是assert关键字。用法如下：

assert <布尔表达式>
assert <布尔表达式> : <错误信息>

在布尔表达式为假时抛出AssertionError错误，并附带了错误信息。

assert语法较简单，有以下两个特性：

1. assert 默认是不启用的。

2. assert 抛出的异常 AssertionError 是继承自Error的。

assert 虽然是做断言的，但不能将其等价于 if-else 这样的条件判断，它在以下两种情况不可使用：

1. 在对外公开的方法中。

2. 在执行逻辑代码的情况下。

因为当程序一旦投入生产环境，就不会启用断言了，那么断言的代码将会彻底完蛋不会执行。

哪里可以使用assert呢？按照正常逻辑不可能到达的代码区域可以放置assert。具体分三种情况：

1. 在私有方法中放置assert作为输入参数的校验。因为私有方法的使用者是作者自己。

2. 流程控制中不可能达到的区域。意味着程序执行到这里就是错误的。

3. 建立程序探针。