Java环境下存储Person类型的容量受限栈类不变式设计合理性咨询

你对类不变式的核心理解存在部分偏差：

• 类不变式不需要在程序全执行周期内无时无刻保持成立，仅需保证所有公开方法调用的前后边界时刻，类实例处于约定的合法状态集合内即可。私有方法执行的中间临时状态、未完成构造的实例状态、已标记废弃的实例状态，本身就不要求满足类不变式约束，这是它和全局静态不变式的核心区别。
• 类不变式作为面向对象契约的核心组成，本质是给所有调用方提供的稳定状态承诺，这部分确实是面向对象程序正确性验证的核心依据。

你目前设计的基于limitNotReached()的断言方案完全不适合作为类不变式，存在本质的逻辑错位：

• 容量受限栈的合法状态集合，从来没有“栈规模永远不能达到容量上限”的约束——栈被填充到全满是完全正常的合法使用场景。如果把“未达到容量上限”作为类不变式，相当于直接否定了容量受限栈支持填满的基本功能，一旦正常入栈到容量值，就会触发断言失败。
• limitNotReached()本质是入栈（push）方法的前置条件，属于单次方法调用的临时校验逻辑：要执行入栈操作，必须保证当前栈空间未满，这是方法契约的一部分，从来不是类实例需要长期保持的状态约束。

针对存储Person类型的容量受限栈，真正需要长期成立的类不变式校验逻辑包括：

• 栈内部维护的当前元素规模，始终落在0 <= size <= maxCapacity的合法区间内，不可能出现负数、也不可能超过构造时设定的最大容量
• 栈的最大容量maxCapacity在实例构造完成后为固定正值，不会在实例生命周期内被修改
• 栈内部存储的元素数组中，下标小于当前size的位置均为合法的Person对象引用，不存在越界访问、非法null值混入有效存储区的问题
• 对应pop（出栈）操作的方法契约，仅需补充对应前置条件：当前栈规模大于0，不允许从空栈弹出元素即可，这部分同样不属于类不变式范畴

• 建议将所有类不变式的校验逻辑封装为独立的私有checkInvariant()方法，在每个公开方法的入口、出口位置统一调用，避免重复书写校验代码
• 注意Java中assert关键字默认处于关闭状态，仅适合开发阶段的契约校验，不能作为生产环境的强制校验手段；生产环境的强约束需要通过常规逻辑判断搭配自定义运行时异常实现
• 注意区分三类契约的边界：类不变式是所有公开方法调用完成后都必须回归的状态基线，方法前置/后置条件是绑定单次方法执行的临时约束，不要将两类逻辑混同

内容的提问来源于stack exchange，提问作者user15123274