为何Java中Record的相等性判断需包含类型校验？

• 遵守Java equals的核心契约：Object类定义的equals规则里，对称性是关键——x.equals(y)必须和y.equals(x)结果一致。如果去掉类型校验，两个完全不同的Record（比如record Person(String id)和record Order(String orderNo)）只要属性值相同就会被判定相等，这不仅反直觉，还直接打破了对称性，会让依赖equals的集合（比如HashSet、HashMap）彻底乱套。

• 区分不同语义的值对象：Record的核心是承载特定语义的数据，哪怕属性结构完全一样，不同的Record代表的业务含义天差地别。比如record Celsius(int value)和record Fahrenheit(int value)，就算数值都是25，一个是摄氏度一个是华氏度，绝对不能被当成相等的对象。类型校验就是给这些不同语义的值对象划清边界。

• 避免无意识的逻辑错误：要是没有类型校验，你可能会不小心把不同Record实例混进同一个集合，导致数据被意外覆盖；或者在比较时误把两个业务上完全无关的对象当成相等，这种bug排查起来会非常头疼。

• 和Java生态保持一致：从String到Enum，Java里绝大多数值语义的类都会先做类型校验。Record作为值对象的官方实现，延续这个行为能让开发者不用重新适应新规则，减少学习成本和踩坑概率。

内容的提问来源于stack exchange，提问作者itaied