跳转到内容

Java 编程/关键字/assert

来自维基教科书,开放的书籍,开放的世界

assert 是一个 Java 关键字,用于定义一个 断言语句。断言语句用于声明程序中预期的布尔条件。如果程序在启用断言的情况下运行,则在运行时检查该条件。如果条件为假,Java 运行时系统将 抛出 一个 AssertionError。断言可以使用以下语法声明

Computer code
assert expression1 [: expression2];

expression1 是一个布尔值,如果它为假,则会抛出断言。当它被抛出时,断言错误异常会使用参数 expression2 创建(如果适用)。

一个例子

Computer code
assert list != null && list.size() > 0 : "list variable is null or empty";
Object value = list.get(0);

断言通常用作调试辅助工具。它们不应代替对公共方法进行参数验证,也不应代替更精确的运行时错误异常。

断言通过 Java 的 -ea-enableassertions 运行时选项启用。有关控制断言的其他选项,请参见您的 Java 环境文档。

华夏公益教科书