当前位置：首页 > 资讯 > 技术文档

浅析Java异常处理中断言的使用

时间：2020-12-20 20:44 编辑：来源：阅读：
扫一扫，手机访问

摘要：浅析Java异常处理中断言的使用

[b]断言的概念[/b] 断言用于证明和测试程序的假设，比如“这里的值大于 5”。断言可以在运行时从代码中完全删除，所以对代码的运行速度没有影响。 [b]断言的使用[/b] 断言有两种方法：一种是 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 并终止程序的运行。断言推荐使用方法用于验证方法中的内部逻辑，包括： [list] [*]内在不变式[/*] [*]控制流程不变式[/*] [*]后置条件和类不变式[/*] [/list] 注意：不推荐用于公有方法内的前置条件的检查。 [b]运行时屏蔽断言[/b] 运行时要屏蔽断言，可以用如下方法： java –disableassertions 或 java –da 类名运行时要允许断言，可以用如下方法： java –enableassertions 或 java –ea类名

全部评论(0)

上一篇：Netty学习教程之基础使用篇
下一篇：Java 时间日期详细介绍及实例

资讯排行榜
更多>>