重写 `equals` 方法时，必须遵循合同的五个规定：自反性、对称性、传递性、一致性和非空性。违反这些规定会导致程序行为异常，难以调试。编写 `equals` 时，应比较类的所有重要字段，并使用适当的类型检查。避免过度复杂化，使用组合而非继承是解决复杂值比较问题的有效途径。