本文介绍在禁止使用objects工具类、禁止跨类硬编码引用的前提下，如何通过instanceof和双分派技巧，确保date与子类datet对象严格不等价，解决继承体系中equals方法违反对称性的问题。
本文介绍在禁止使用objects工具类、禁止跨类硬编码引用的前提下，如何通过instanceof和双分派技巧，确保date与子类datet对象严格不等价，解决继承体系中equals方法违反对称性的问题。
在面向对象设计中，equals 方法必须满足自反性、对称性、传递性、一致性以及对 null 的处理规范。而当 DateT 继承 Date 时，若仅在 Date.equals() 中做简单字段比对（如 day == d.day && month == d.month && year == d.year），就会导致 date.equals(dateT) 返回 true，但 dateT.equals(date) 却可能因子类重写逻辑不同而返回 false——这直接破坏了 对称性（symmetry），是严重的设计缺陷。
标准库已为此提供警示：java.sql.Timestamp 继承 java.util.Date 却重写了 equals() 和 hashCode()，导致其与 Date 实例无法正确互等，被官方文档明确标记为“不推荐的继承用法”。更合理的做法是借鉴 java.time 包的设计哲学：LocalDate、YearMonth、LocalDateTime 等类型彼此独立，共享 Temporal 接口而非继承关系。但在课程作业约束下（禁用 Objects、禁用跨类名引用、仅允许 instanceof），我们需通过技术手段修复对称性。
✅ 方案一：双分派（Double Dispatch）模式
核心思想是将相等性判断从单向调用转为双向协商：this.equals(other) 不直接比较 other，而是委托给 other.sameDate(this)，由对方决定是否认可本次比较。
class Date {
final int day, month, year;
public Date(int day, int month, int year) {
if (day 31) throw new IllegalArgumentException("Invalid day");
this.day = day; this.month = month; this.year = year;
}
@Override
public boolean equals(Object obj) {
return obj instanceof Date && ((Date) obj).sameDate(this);
}
// 可被子类重写，用于响应“被另一个Date比较”的请求
protected boolean sameDate(Date d) {
return this.day == d.day && this.month == d.month && this.year == d.year;
}
}
class DateT extends Date {
final int hour, minute;
public DateT(int day, int month, int year, int hour, int minute) {
super(day, month, year);
this.hour = hour; this.minute = minute;
}
@Override
public boolean equals(Object obj) {
return obj instanceof DateT && ((DateT) obj).sameDate(this);
}
// 关键重写：只有当对方也是DateT时，才认为“日期部分相同”成立
@Override
protected boolean sameDate(Date d) {
return d instanceof DateT
&& this.month == d.month
&& this.year == d.year;
// 注意：此处不比较 day —— 因为 DateT 的语义是“精确到分钟”，
// 但 Date 是“精确到日”，二者维度不同，不可混同。
}
}
✅ 效果验证：
- new Date(1,1,2024).equals(new DateT(1,1,2024,12,0)) → false
- new DateT(1,1,2024,12,0).equals(new Date(1,1,2024)) → false
- new DateT(1,1,2024,12,0).equals(new DateT(1,1,2024,12,0)) → true
该方案完全符合题目限制，且天然保障对称性：任一方向的 equals() 调用最终都会落入 sameDate() 的具体实现中，由实际运行时类型决定是否接受比较。
✅ 方案二：哨兵值（Sentinel Value）隔离法
若 DateT 在业务语义上不关心 day 字段（例如表示“某月某年”的周期），可将其 day 初始化为非法值（如 -1），并在 Date.equals() 中利用该值实现自动过滤：
public class Date {
final int day, month, year;
public Date(int day, int month, int year) {
if (day 31) {
throw new IllegalArgumentException("day must be 1–31");
}
this.day = day; this.month = month; this.year = year;
}
// 仅供子类调用的受保护构造器：设置 day = -1 表示“无具体日”
protected Date(int month, int year) {
this.day = -1; // 哨兵值，不可能与任何合法 Date.day 相等
this.month = month; this.year = year;
}
@Override
public boolean equals(Object obj) {
if (!(obj instanceof Date d)) return false;
return this.day == d.day && this.month == d.month && this.year == d.year;
}
}
public class DateT extends Date {
final int hour, minute;
public DateT(int month, int year, int hour, int minute) {
super(month, year); // day = -1
this.hour = hour; this.minute = minute;
}
}
✅ 此时 new Date(1,1,2024).equals(new DateT(1,2024,12,0)) 必然为 false（因 1 != -1），无需修改 equals 逻辑，简洁可靠。
⚠️ 注意事项：
- 若字段可变（如 day 非 final），必须确保子类无法通过 setter 修改哨兵值，否则破坏契约；
- 哨兵值需严格保证在父类所有合法实例中永不出现（如用 -1 时，父类构造器须拒绝非正数 day）；
- 双分派方案更通用、语义更清晰，推荐作为首选；哨兵值方案适用于字段语义天然可区分的场景。
总之，继承不是实现代码复用的万能钥匙。当子类引入新维度（如时间精度提升），应优先考虑组合或接口抽象；若受限于作业要求必须继承，则务必通过双分派或不可混淆的内部状态，守住 equals 的数学契约。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
