getWorkingMonth() 方法在首次调用时返回正确结果，但第二次调用（如断言中）返回 0，根本原因是该方法直接修改了 currentSaving 这一实例字段，导致后续调用失去初始状态；应改用局部变量隔离计算过程，确保方法幂等且可重复调用。
“`getworkingmonth()` 方法在首次调用时返回正确结果，但第二次调用（如断言中）返回 0，根本原因是该方法直接修改了 `currentsaving` 这一实例字段，导致后续调用失去初始状态；应改用局部变量隔离计算过程，确保方法幂等且可重复调用。”
在养老金规划器（PensionPlanner）这类金融计算场景中，getWorkingMonth() 的职责是根据当前参数推算达成目标所需月数，它本质上是一个纯计算函数（pure computation）——不应改变对象的内部状态。然而，原实现中直接在循环内更新了 currentSaving 字段：
public int getWorkingMonth() {
double saving = monthlySaving * (annualSalary / 12); // 建议使用小写变量名提升可读性
int months = 0;
while (currentSaving < pensionTarget) {
currentSaving += saving + (currentSaving * (interestRate / 12)); // ⚠️ 修改了实例字段！
months++;
}
return months;
}这会导致严重副作用：
- 第一次调用 fp.getWorkingMonth() 会逐步累加 currentSaving，最终使其超过 pensionTarget；
- 第二次调用时，currentSaving 已远大于目标值，while 循环直接跳过，months 保持为 0，断言自然失败。
✅ 正确做法是完全避免副作用，使用局部变量模拟资金增长过程：
public int getWorkingMonth() {
double monthlyContribution = monthlySaving * (annualSalary / 12);
double curr = currentSaving; // ✅ 局部副本，不污染实例状态
int months = 0;
while (curr < pensionTarget) {
curr += monthlyContribution + (curr * (interestRate / 12));
months++;
}
return months;
}? 关键改进点：
- curr 是 currentSaving 的只读快照，所有计算在其上进行；
- 实例字段 currentSaving 在整个方法执行期间保持不变；
- 方法具备幂等性（Idempotency）：无论调用多少次，只要输入参数不变，结果恒定；
- 符合面向对象设计原则：getter 类方法（即使命名非标准）应只读、无副作用。
此外，建议补充边界处理以增强鲁棒性（例如当 monthlyContribution == 0 且 currentSaving < pensionTarget 时，避免无限循环）：
if (monthlyContribution == 0 && currentSaving < pensionTarget) {
throw new IllegalStateException("Impossible to reach target: no contributions and insufficient current savings.");
}最后，请确保启用断言（JVM 启动参数 -ea），否则 assert 语句将被忽略——这也是部分开发者误以为“断言没生效”的常见原因。
总结：状态敏感的计算逻辑必须与对象状态解耦。将可变状态封装在局部作用域内，是编写可靠、可测试、易维护业务代码的基本准则。
