java中的断言(assert)

断言是什么？

引用百度百科的介绍，"在程序设计中，断言是一种放在程序中的一阶逻辑，目的是为了标示与验证程序开发者预期的结果－当程序运行到断言的位置时，对应的断言应该为真。若断言不为真时，程序会中止运行，并给出错误消息。"

java的断言是通过assert语句来实现的，用于捕获运行时不应该发生的非法情况。如果在执行断言时，对应的断言为真，啥事都没有发生，如果对应的断言为假，JVM会抛出AssertionError的异常

在java中，assert的语法有以下两种：

/*
 * 如果<boolean表达式>为true，则程序继续执行。
 * 如果为false，则程序抛出AssertionError，并终止执行。
 */
 assert <boolean表达式>;
 /*
 * 如果<boolean表达式>为true，则程序继续执行。
 * 如果为false，则程序抛出java.lang.AssertionError，并输入<错误信息表达式>。
 */
 assert <boolean表达式> : <错误信息表达式>;

这样听起来很像是断言就像是一个定制化功能的if语句一样，就像下面代码块的例子

 int parameter = 1;
 assert parameter!=0;
 if(parameter==0){
     throw new AssertionError();
 }

在debug中报错，但是在运行时不报错

说回这篇文章的主角"断言"

在《代码大全 Code Complete》中对断言有这样的理解

1. 用错误处理代码来处理预期会发生的情况，用断言来处理绝不应该发生的情况
2. 把断言看作是可执行的注释——你不能依赖它来让代码正常工作，但与编程语言中的注释相比，它能更主动的对程序中的假定做出说明。

assert的目的是为了我们开发者能更容易发现自己的业务逻辑错误，且不影响到程序实际生产的效率。

assert较少被使用到，但并非说是无用的，正确的运用assert有助于提高框架代码的正确性和减少框架代码的使用者的调试时间。