assertion 断言

一、简介

在JAVA代码中任一行可以写入一条布尔表达式，在这一行代码的最前面加上assert关键字，就可以实现这样的功能：如果表达式为真，则代码继续执行；否则，抛出异常。

二、语法基本知识

我们可以用新的JAVA关键字assert来书写断定语句。一条断定语句有以下两种合法的形式：

　　assert expression1;

　　assert expression1 : expression2;

　　expression1是一条被判断的布尔表达式，必须保证在程序执行过程中它的值一定是真；expression2是可选的，用于在expression1为假时，传递给抛出的异常AssertionError的构造器，因此expression2的类型必须是合法的AssertionError构造器的参数类型。

assert关键字后面的表达式一定要是boolean类型，否则编译时就会出错。

三、示例代码

package bo;

public class Testy {
	public static void main(String[] args) {
		int i = 1 ;
		add(i);
		i = 0 ;
		System.out.println("====");
		add(i);
	}
	
	public static void add(int i ){
		System.out.println("断言前");
		assert(i != 0);
		System.out.println("断言后");
	}
}

图示：

四、运行使用

     Run as  -> Run Configurations - > Arguments ，在VM arguments 里面 加入 【  -ea  】

 

参考：http://www.blogjava.net/wilesun/archive/2007/10/23/155209.html