validating - Java Assertion Syntax

最新推荐文章于 2022-02-26 16:45:31 发布

wangbingfeng0

最新推荐文章于 2022-02-26 16:45:31 发布

阅读量123

点赞数

CC 4.0 BY-SA版权

分类专栏： Thinking in Java

本文链接：https://blog.youkuaiyun.com/wangbingfengf98/article/details/88915758

Thinking in Java 专栏收录该内容

155 篇文章

订阅专栏

本文介绍了Java中的断言机制，展示了两种不同形式的断言语句，并通过两个具体示例解释了如何使用这些断言来验证条件是否为真。此外，还说明了运行包含断言的程序时需要启用断言功能。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Java assertion statements come in two forms:

assert boolean-expression;

assert boolean-expression: information-expression;

For example:

case 1,

// validating/Assert1.java
// (c)2017 MindView LLC: see Copyright.txt
// We make no guarantees that this code is fit for any purpose.
// Visit http://OnJava8.com for more book information.
// Non-informative style of assert
// Must run using -ea flag:
// {java -ea Assert1}
// {ThrowsException}

public class Assert1 {
  public static void main(String[] args) {
    assert false; // false produce error
  }
}
/* My Output:
 Exception in thread "main" java.lang.AssertionError // since 1.4, parent class is Error
        at Assert1.main(Assert1.java:12)
*/

execute the above code

./gradlew validating:Assert1

or cd validating directory, run

$ javac Assert1.java

# -ea means -enableassertions
$ java -ea Assert1

case 2,

// validating/Assert2.java
// (c)2017 MindView LLC: see Copyright.txt
// We make no guarantees that this code is fit for any purpose.
// Visit http://OnJava8.com for more book information.
// Assert with an information-expression
// {java Assert2 -ea}
// {ThrowsException}

public class Assert2 {
  public static void main(String[] args) {
    assert false : "Here's a message saying what happened";
  }
}
/* My Output:
Exception in thread "main" java.lang.AssertionError:
Here's a message saying what happened
        at Assert2.main(Assert2.java:11)
*/

references:

1. On Java 8 - Bruce Eckel

2. https://github.com/wangbingfeng/OnJava8-Examples/blob/master/validating/Assert1.java

3. https://docs.oracle.com/javase/8/docs/api/java/lang/AssertionError.html

4. http://hg.openjdk.java.net/jdk8/jdk8/jdk/file/687fd7c7986d/src/share/classes/java/lang/AssertionError.java

5. https://github.com/wangbingfeng/OnJava8-Examples/blob/master/validating/Assert2.java