Java封装符合面向对象规范的关键是实现信息隐藏、受控访问与逻辑内聚：字段须private且无直连访问，getter/setter需真实校验与管控，类须维持内在不变性，外部无法破坏对象一致性。
验证 Java 中的封装机制是否符合面向对象规范，关键不是“有没有用 private”，而是看它是否真正实现了信息隐藏 + 受控访问 + 逻辑内聚。符合规范的封装，应让外部无法绕过业务规则直接篡改状态，同时保持类自身行为的一致性和安全性。
检查字段是否真正私有化且不可直连
所有核心数据字段（如 name、age、balance）必须声明为 private，且不能在类外通过 obj.field = xxx 形式赋值或读取。若出现以下任一情况，即违反封装：
- 字段未加修饰符（默认包级可见），且被其他包中的类直接访问；
- 字段虽为 private，但提供了 public 的 setter/getter 却不做任何校验（如
setAge(-5)不报错）； - 构造器中直接赋值而非调用 setter（导致绕过验证逻辑）。
确认访问器方法是否承担真实管控职责
getter/setter 不是形式主义的“标配模板”，而应体现控制力：
- setter 中需包含合理校验：年龄在 0–150，邮箱格式匹配，字符串非空非空白等；
- getter 可返回副本（如
return new ArrayList(list)）避免外部修改内部集合； - 敏感字段（如密码）只提供 setter，不暴露 getter；
- 字段变更引发副作用时（如 status 改为 “closed” 后自动清空缓存），应在 setter 内统一处理。
观察类是否具备独立不变性（Invariants）
一个封装良好的类，在任意时刻都应满足其内在约束条件。例如 Student 类要求 “成绩在 0–100 之间且姓名非空”。可通过以下方式验证：
立即学习“Java免费学习笔记（深入）”；
- 在所有可能改变状态的位置（构造器、setter、业务方法）插入断言或校验；
- 尝试用非法值初始化或修改，确认抛出明确异常（如
IllegalArgumentException）； - 不依赖文档或注释来说明规则——规则必须由代码强制执行。
测试外部能否破坏对象一致性
编写单元测试模拟典型越界操作，验证封装防线是否牢固：
- 新建对象后直接反射修改 private 字段（
Field.setAccessible(true)）——这属于白盒攻击，虽能绕过，但正常调用路径必须被拦截； - 传入 null 或恶意对象（如可变集合）到 setter，检查是否防御了外部篡改；
- 多个 setter 调用顺序不同（如先设 score 再设 age），是否仍保证对象始终合法。
封装不是语法装饰，而是设计契约。只要字段私有、访问必经校验、状态始终可控，就踩准了面向对象的封装规范。
