-
用 Java Record 的紧凑规范构造器统一校验与规范化输入,并通过 List.copyOf 防止可变集合破坏对象不变量。
-
用 sealed、permits 和模式匹配 switch 建立封闭的 Java 类型层次,逐项覆盖 record 分支,并说明 null、default、模式支配和类型层次变更后的重新编译边界。
-
Java ClassValue 适合把按 Class 计算出的派生数据与类型关联起来。本文用一个类型元数据示例说明 get、computeValue、remove 的关系,解释并发计算、异常和何时不该使用 ClassValue。