java断言错误_浅析Java异常处理中断言的使用

断言的概念

断言用于证明和测试程序的假设,比如“这里的值大于 5”。

断言可以在运行时从代码中完全删除,所以对代码的运行速度没有影响。

断言的使用

断言有两种方法:

一种是 assert<> ;

另一种是 assert<> :<>。

如果布尔表达式的值为false , 将抛出AssertionError 异常; 细节描述是AssertionError异常的描述文本使用 javac –source 1.4 MyClass.java 的方式进行编译示例如下:

public class AssertExample {

public static void main(String[] args) {

int x = 10;

if (args.length > 0) {

try {

x = Integer.parseInt(args[0]);

} catch (NumberFormatException nfe) {

/* Ignore */

}

}

System.out.println("Testing assertion that x == 10");

assert x == 10 : "Our assertion failed";

System.out.println("Test passed");

}

}

由于引入了一个新的关键字,所以在编译的时候就需要增加额外的参数,要编译成功,必须使用 JDK1.4 的 javac 并加上参数'-source 1.4',例如可以使用以下的命令编译上面的代码:

javac -source 1.4 AssertExample.java

以上程序运行使用断言功能也需要使用额外的参数(并且需要一个数字的命令行参数),例如:

java -ea AssertExample 1

程序的输出为:

Testing assertion that x == 10

Exception in thread "main" java.lang.AssertionError:Our assertion failed

at AssertExample.main(AssertExample.java:20)

由于输入的参数不等于 10,因此断言功能使得程序运行时抛出断言错误,注意是错误, 这意味着程序发生严重错误并且将强制退出。断言使用 boolean 值,如果其值不为 true 则 抛出 AssertionError 并终止程序的运行。

断言推荐使用方法

用于验证方法中的内部逻辑,包括:

内在不变式

控制流程不变式

后置条件和类不变式

注意:不推荐用于公有方法内的前置条件的检查。

运行时屏蔽断言

运行时要屏蔽断言,可以用如下方法:

java –disableassertions 或 java –da 类名

运行时要允许断言,可以用如下方法:

java –enableassertions 或 java –ea类名

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值