Assert断言

我一直以为 assert 仅仅是个报错函数，事实上，它居然是个宏，并且作用并非"报错"。

在经过对其进行一定了解之后，对其作用及用法有了一定的了解，assert() 的用法像是一种"契约式编程"，在我的理解中，其表达的意思就是，程序在我的假设条件下，能够正常良好的运作，其实就相当于一个 if 语句：

/**
   * 断言的使用方法一
   */
  public static void useAssertExt1() {
      boolean isOk = 1 > 2;
      assert isOk;
      System.out.println("程序正常");
  }

执行的结果如下：

Exception in thread "main" java.lang.AssertionError
at com.rollercoaster.codecomplete.AboutAssertion.useAssertExt1(AboutAssertion.java:43)
at com.rollercoaster.codecomplete.AboutAssertion.main(AboutAssertion.java:16)

说明：

显然isOk为false，所以抛出AssertionError

/**
   * 断言的第一个例子
   */
  public static void useAssertExt2() {
      boolean isOk = 1 > 2;
      try {
          assert isOk : "程序错误";
          System.out.println("程序正常");
      } catch (AssertionError err) {
          System.out.println(err.getMessage());
      }
  }

运行结果如下：

程序错误

说明

assert后面跟个冒号表达式。如果冒烟前为true，则冒号后面的被忽略，否则抛出AssertionError,错误内容为冒号后面的内容。

按F3查看源代码，如下，可以看到AssertionError是继承自Error，而不是Exception，所以catch部分用Exception是不能捕捉到AssertionError信息的。

// (version 1.7 : 51.0, super bit)
　　public class java.lang.AssertionError extends java.lang.Error {...