assertion 断言

来源：互联网发布：linux复制命令覆盖编辑：程序博客网时间：2024/06/05 11:33

一、简介

在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

0 0