46、Java断言与字符串使用全解析

Java断言与字符串使用全解析

一、Java断言的使用

在Java编程中，断言是一项重要的特性，它允许我们在程序中对某些条件进行断言。断言主要用于检测程序中的逻辑错误，通常在开发和测试环境中启用。

1. 避免有副作用的断言

我们不应使用具有副作用的断言，例如会修改对象状态的断言。假设在一个方法中有如下代码，且 reComputeState() 方法会改变类对象的状态：

assert reComputeState();

当这个 assert 语句执行时，它会改变对象的状态。后续与该对象的交互将依赖于其改变后的状态。如果禁用了断言，这段代码将不会执行，对象的行为可能会出现异常。

2. 使用断言实现类不变量

类不变量是指那些始终决定类对象状态的值所必须满足的条件。在对象从一种状态转换到另一种状态的短暂时刻，类不变量可能不成立。

以 BankAccount 类为例，它有四个实例变量： name 、 dob 、 startDate 和 balance 。 BankAccount 对象必须满足以下类不变量：
- 账户名称不能为 null 。
- 账户的出生日期不能为 null ，且不能是未来的日期