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