1. 概述
Java assert关键字允许开发人员快速验证程序的某些假设或状态。
在本文中,我们将了解如何使用Java assert关键字。
2. Java断言的历史
Java assert关键字是在Java 1.4中引入的,所以它已经存在很长一段时间了。然而,它仍然是一个鲜为人知的关键字,它可以极大地减少样板文件并使我们的代码更具可读性。
例如,在我们的代码中,我们经常需要验证某些可能阻止应用程序正常工作的条件。通常我们会这样写:
Connection
使用断言,我们可以用一个assert语句来代替if和throw语句。
3. 启用Java的断言
因为Java断言使用assert关键字,所以不需要导入库或包。
注意,在Java 1.4之前,使用单词“assert”来命名变量、方法等是完全合法的。在使用较旧的代码和较新的JVM版本时,这可能会造成命名冲突。
因此,为了向后兼容性,JVM在默认情况下禁用断言验证。必须使用-enableassertions命令行参数或者它的简写-ea来显式地启用它们:
java -ea com.baeldung.assertion.Assertion
在本例中,我们为所有类启用了断言。
我们还可以为特定的包和类启用断言:
java -ea:com.baeldung.assertion... com.baeldung.assertion.Assertion
在这里,我们为com.baeldung.assertion中的所有类启用了断言。
同样,可以使用-disableassertions命令行参数或其简写-da来禁用特定的包和类。我们也可以同时使用这四个参数。
4. 使用Java断言
要添加断言,只需使用assert关键字并给它一个布尔条件:
public
Java还为断言提供了第二种语法,它接受一个字符串。如果一个错误被抛出,它将用于构造AssertionError:
public
在这两种情况下,代码都在检查到外部资源的连接是否返回非空值。如果该值为null, JVM将自动抛出AssertionError。
在第二种情况下,异常将具有附加的细节,这些细节将显示在堆栈跟踪(stack trace)中,并可以帮助程序员调试问题。
让我们看看运行启用了断言的类的结果:
Exception in thread "main" java.lang.AssertionError: Connection is null
at com.baeldung.assertion.Assertion.setup(Assertion.java:15)
at com.baeldung.assertion.Assertion.main(Assertion.java:10)
5. 处理AssertionError
AssertionError类继承了Error类,而Error类本身继承了Throwable。这意味着AssertionError是一个非检查的异常(unchecked exception)。
因此,使用断言的方法不需要声明它们,而且进一步的调用代码不应尝试捕捉抛出的AssertionError。
AssertionErrors用于指出在应用程序中不可恢复的出错情况,因此不要试图处理它们或尝试恢复。
6. 最佳实践
关于断言,要记住的最重要的一点是,它们是可以禁用的,所以永远不要假设它们会被执行。
因此,在使用断言时要记住以下几点:
- 在适当的时候,总是检查null值和空选项
- 避免使用断言检查public方法的输入,而是使用非检查的异常,如IllegalArgumentException或NullPointerException
- 不要在断言条件中调用方法,而是将方法的结果赋给局部变量,并在断言中使用该变量
- 断言非常适合于代码中永远不会执行的地方,比如switch语句的默认情况(default case)或永远不会结束的循环之后
7. 总结
Java assert关键字已经可用多年,但仍然是该语言中一个鲜为人知的特性。它可以帮助删除大量样板代码,使代码更具可读性,并帮助程序员在程序开发的早期找出错误。
另外要记住,断言在默认情况下是不启用的,因此永远不要假设在代码中使用它们时会执行。
和往常一样,完整的源代码可以在GitHub上找到。
References:
Using Java Assertions | Baeldungwww.baeldung.com