Java Assert 简介Assert中文我们一般称为断言你可以理解为 “十分肯定地说” 。很多编程语言中都有断言使用断言可以快速方便的验证程序中的某个假设条件或者状态是否成立不成立则立即抛出异常。断言通常用于开发和测试阶段。Java 中的断言使用assert关键字实现但是因为assert在 Java 1.4 中才被引入因此在 Java 1.4 之前assert并不是 Java 关键字可能会被写成普通变量名。新版 Java 严格遵守向后兼容下这可能也是 Java 默认禁用断言的原因之一开启断言可以使用-ea参数手动启用。java-eaYourClassName启用和禁用断言基于上述原因Java 默认关闭了断言手动开启断言可以使用-ea作为 JVM 参数启动 Java 程序。-ea是-enableassertions命令的缩写。java-eaAssertDemo也可以使用-ea:包路径只为某些包开启断言如为包com.wdbyte中的所有类开启断言支持。-ea:com.wdbyte...如果某些类库过于老旧使用了assert作为变量名为了正常运行 Java 也提供了对某些包禁用断言的参数。-da:com.wdbyte...-da是-disableassertions的缩写Java 中使用断言Java 中使用断言有两种语法。方式1assert boolExpression;使用assert关键词紧跟给一个布尔条件进行断言判断这种方式断言失败时会抛出java.lang.AssertionError异常但是没有具体的错误信息。举例ListStringlistArrays.asList(wdbyte,com);boolean resultlist.remove(x);assert result;运行Exceptioninthreadmainjava.lang.AssertionError at com.wdbyte.assert1.AssertDemo1.main(AssertDemo1.java:14)方式2assert boolExpression:msg;这种方式报错时会把msg通过构造函数赋值给AssertionError。举例assert result:移除失败;运行Exceptioninthreadmainjava.lang.AssertionError: 移除失败 at com.wdbyte.assert1.AssertDemo1.main(AssertDemo1.java:15)Assert 最佳实践切记assert断言是一种调试工具用于在开发和测试阶段检查程序的某些假设是否为真它是开发者的一个辅助工具不应该对线上代码的运行产生任何影响。使用断言时的最佳实践是确保它不会成为程序的常规执行流程的一部分而是作为一种发现内部错误和验证程序假设的手段。在性能敏感或者资源受限的环境中开应该在开发和测试阶段使用断言然后在部署生产版本之前禁用它们。适用场景开发和测试阶段的临时检查还是要重复一次这个使用时机首先因为assert语句在生产环境下默认是禁用的其次它可能会对性能产生影响不应该被用作错误处理机制。在开发或调试期间当你想要验证某个假设时assert可以作为一种快速检查的方法。这些用法通常在代码达到稳定状态后被移除或替换为更健壮的错误处理机制。单元测试使用断言对方法的执行结果进行判断是单元测试中最为常用的操作。如果断言不通过程序会立即抛出错误。良好的代码应该编写对应的单元测试并且给出尽可能多的测试用例断言通过可以保证程序的运行结果在预期之内。存在隐含约束条件如何理解存在隐含约束条件比如下面的代码示例中代码中else部分默认i%3的余数为2这种可以看做是一个隐含的约束条件。if(i %30){...}elseif(i %31){...}else{// 此处我们认为(i %32)...}在这个例子中当你本想通过注释来声明某个隐含的规则时可以该改用断言。因此上述的 if 语句可以这样改写if(i %30){...}elseif(i %31){...}else{assert i %32:i;...}注意例子中在i为负数时断言会失败这时余数是负的。不适用场景不要用作参数校验断言不应该用于参数校验首先断言可能会被禁用禁用时断言的语句不会被执行。其次参数校验应该抛出对应的异常如NullPointerException或IllegalArgumentException或IndexOutOfBoundsException.不要在断言中执行代码。因为断言可能会被禁用如果代码依赖断言执行那么可能不会被执行。如assert list.remove(x);;在断言禁用时不会被执行会造成程序运行结果异常。// assert list.remove(x):移除失败;不可取可能不执行 // 推荐下面的方式 boolean resultlist.remove(x);assert result:移除失败;Assert 进阶用法编译阶段消除断言在性能受限的设备中开发应用我们可能会希望完全从类文件中剔除断言。虽然可以禁用断言但是对于在生产环境中不需要的代码我们还是想尽可能的删去这样不仅减小了类文件的大小而且可以在没有高质量即时编译器JIT的情况下减少资源占用并提升运行时性能。如果你有类似的需求可以结合 if 在编译阶段消除断言。static final boolean assertsfalse;// 设置为false来消除断言 public static void main(String[]args){ListStringlistArrays.asList(wdbyte,com);boolean resultlist.remove(x);if(asserts){assert result:移除失败;}}因为if (asserts)永远为 false在编译阶段就会被优化反编译编译后的 class 可以发现断言部分代码已经不存在了。ListStringlistArrays.asList(wdbyte,com);boolean resultlist.remove(x);强制启用断言如果某些关键系统希望在指定环境中不能禁用断言。下面的静态初始化示例可以实现这个强制条件。static{boolean assertsEnabledfalse;assert assertsEnabledtrue;if(!assertsEnabled){throw new RuntimeException(必须启用断言!!!);}}替代开源库在Java中除了语言内置的assert关键字外许多开源库都提供了更强大、更灵活的断言机制这些工具通常用于单元测试中但也可以用于生产代码中对条件进行验证。下面列出一些广泛使用的有断言功能的开源库。JUnit: JUnit是一个广泛使用的单元测试框架其中包含用于编写测试断言的方法。JUnit 4 使用org.junit.Assert类提供断言而JUnit 5 则引入了org.junit.jupiter.api.Assertions类。ListStringlistArrays.asList(wdbyte,com);boolean resultlist.remove(x);Assertions.assertTrue(result);AssertJ: AssertJ 提供了丰富的、流式的、易于使用的断言库使得错误的诊断更为容易。它支持Java 8的特性比如lambda表达式、Stream和Optional类型的断言。Assertions.assertThat().isEmpty()Apache Commons Lang: 提供的Validate类可以进行常见的条件验证。Validate.isTrue(list.isEmpty(),msg);Google GuavaGuava 提供了Preconditions类可以用于常见的条件验证还提供了一个 Verify 类用于断言操作。Preconditions.checkNotNull(,msg);Verify.verify(list.isEmpty(),msg);