COURSE ROSTER · ACCESS CHECKPOINT

类接口与不变量设计实验室

让每次状态变化都经过同一扇门。创建对象、登记或移除学号，并观察四条规则如何共同定义“有效的花名册”。

CH.07 / LAB
1

构造一个有效对象

CPP-101

0 / 3 人
序号学号受控操作

⚠ public fields — 绕过类接口

这里的输入会直接改写对象表示，不经过检查。试试容量设为 0、缩到人数以下，或输入空行和重复学号。

操作记录：每次请求怎样改变状态
    2

    接口分类检查

    为每个候选操作选择恰当位置：查询通常承诺不修改对象；修改必须维护不变量；暴露表示的操作不应公开。

    已正确分类 0 / 6。错误选择可以继续修正。

    核心判断：private 只是建立边界；构造函数和每一个公开修改函数才是守住规则的检查点。