15、自我感知代码：通过监控实现可靠性

自我感知代码：通过监控实现可靠性

在软件开发中，确保代码的正确性和健壮性是至关重要的。本文将介绍一种通过监控来提高代码可靠性的方法，重点关注容器类的合同检查和不变量检查。

1. 容器类的基本结构

容器类的基本结构如下：

public class Container {
    private Set<Container> group; // 与该容器相连的容器集合
    private double amount; // 该容器中的水量
}

2. 检查容器类方法的合同

在这部分，我们将开发一个版本的容器类，其方法在每次调用时都会检查前置条件和后置条件。

2.1 检查 addWater 方法的合同

addWater 方法的合同如下：
- 前置条件：如果参数为负数，则组中有足够的水。
- 后置条件：将水均匀分配到组中的所有容器中。
- 惩罚：抛出 IllegalArgumentException。

为了实现这个合同，我们可以将方法结构化为以下四个步骤：
1. 使用普通的 if 语句检查前置条件。
2. 将当前组的水量存储在临时变量中，以便稍后检查后置条件。
3. 执行实际的加水操作。
4. 使用步骤 2 中存储的数据检查后置条件。

以下是 addWater 方法的实现：

public void addWater(double