重写 equals() 方法时，首行 if (this == o) return true; 是保障等价关系自反性的关键步骤；若省略，当对象包含 NaN、null 字段或涉及未初始化状态时，可能违反 equals 合约，导致 x.equals(x) 返回 false，引发集合操作异常、哈希表失效等严重问题。
重写 `equals()` 方法时，首行 `if (this == o) return true;` 是保障等价关系自反性的关键步骤；若省略，当对象包含 `nan`、`null` 字段或涉及未初始化状态时，可能违反 `equals` 合约，导致 `x.equals(x)` 返回 `false`，引发集合操作异常、哈希表失效等严重问题。
在 Java 中，Object.equals() 的规范明确要求满足等价关系四条公理：自反性（reflexive）、对称性（symmetric）、传递性（transitive）和一致性（consistent）。其中自反性规定：对任意非 null 引用 x，x.equals(x) 必须返回 true。
看似简单的 this == o 检查，实则是最高效、最可靠的自反性兜底机制。它直接比较引用地址，避免后续字段比较带来的逻辑陷阱。典型反例是浮点数字段：
public class Product {
private double price;
private String name;
@Override
public boolean equals(Object o) {
if (!(o instanceof Product)) return false;
Product p = (Product) o;
// ❌ 危险！若 price == Double.NaN，则 NaN == NaN → false
return price == p.price && Objects.equals(name, p.name);
}
}
当 product1.price = Double.NaN 时，product1.equals(product1) 将返回 false —— 严重违反自反性。而加入首层引用判断后：
@Override
public boolean equals(Object o) {
if (this == o) return true; // ✅ 自反性立即成立
if (!(o instanceof Product)) return false;
Product p = (Product) o;
return Double.compare(price, p.price) == 0 // ✅ 安全比较 double
&& Objects.equals(name, p.name);
}
此处不仅修复了 NaN 问题，还体现了两个最佳实践：
- 优先引用相等检查：零开销保障自反性；
- 使用 Double.compare() 或 Objects.equals()：替代原始 ==，正确处理 NaN 和 null。
此外，该检查还能避免空指针风险（如 o 为 null 时 instanceof 仍安全，但提前判等可提升可读性与防御性），并优化性能——相同对象的比较无需深入字段比对。
⚠️ 注意事项：
- this == o 仅适用于引用比较，不可用于基本类型包装类的值比较（应统一用 Objects.equals(a, b)）；
- 若类可被继承，还需考虑 getClass() == o.getClass() 与 instanceof 的语义差异（推荐前者以保证对称性）；
- 始终配套重写 hashCode()，且确保 equals() 为 true 的对象具有相同哈希码。
总之，if (this == o) return true; 不是冗余代码，而是契约合规性与健壮性的第一道防线。
