assert

什么是断言

编写代码时，我们总是会做出一些假设，断言就是用于在代码中捕捉这些假设，可以将断言看作是异常处理的一种高级形式。断言表示为一些布尔表达式，程序员相信在程序中的某个特定点该表达式值为真。可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言，而在部署时禁用断言。同样，程序投入运行后，最终用户在遇到问题时可以重新启用断言。

java中assert

assert是JDK1.4(&+)中新增的关键字，其功能称作assertion
assert是在J2SE1.4中引入的新特性，assertion就是在代码中包括的布尔型状态，程序员认为这个状态是true。一般来说assert在开发的时候是检查程序的安全性的，在发布的时候通常都不使用assert。
参数 -esa 和 -dsa：
它们含义为开启(关闭)系统类的assertion功能。由于新版本的Java的系统类中，也使了assertion语句，因此如果用户需要观察它们的运行情况，就需要打开系统类的assertion功能 ，我们可使用-esa参数打开，使用 -dsa参数关闭。
-esa和-dsa的全名为-enablesystemassertions和-disenablesystemassertions，全名和缩写名有同样的功能。
参数 -ea和-ea：
它们含义为开启(关闭)用户类的assertion功能：通过这个参数，用户可以打开某些类或包的assertion功能，同样用户也可以关闭某些类和包的assertion功能。打开assertion功能参数为-ea；如果不带任何参数，表示打开所有用户类；如果带有包名称或者类名称，表示打开这些类或包；如果包名称后面跟有三个点，代表这个包及其子包；如果只有三个点，代表无名包。关闭assertion功能参数为-da，使用方法与-ea类似。
-ea和-da的全名为-enableassertions和-disenableassertions，全名和缩写名有同样的功能。
1.eclipse、myeclipse开启assert(断言)，默认是关闭，如下：
说白了就是设置一下jvm的参数，参数是-ea或者-enableassertions

2.assert格式
（1）assert [boolean 表达式]
如果[boolean表达式]为true，则程序继续执行。
如果为false，则程序抛出AssertionError，并终止执行。
例如:

public static void main(String[] args) {
		String s=null;
		assert s!=null;
		//assert true;
		System.out.println("end");
	}

（2）assert[boolean 表达式 : 错误表达式 （日志）]
如果[boolean表达式]为true，则程序继续执行。
如果为false，则程序抛出java.lang.AssertionError，输出[错误信息]。
``java
public static void main(String args[]){
int x=10;
System.out.println(“Testing Assertion that x = =100”);
assert x==100:“Out assertion failed!”;
System.out.println(“Test passed!”);
}