advance/confonding/eq

[giscus[bot]]

advance/confonding/eq

https://course.rs/advance/confonding/eq.html

[Gwzlchn]

Eq这个trait应该表示的是集合里面的“等价关系”，PartialEq表示的是“部分等价关系”。

满足等价关系需要满足：1. 自反性、2. 传递性 3. 对称性。
PartialEq表示集合中一个元素“大于”或者“小于”另一种元素的关系，这种关系不符合“自反性”和“对称性”，只满足传递性，所以是“partial”部分等价关系（大于等于或者小于等于关系是满足自反性和传递性的，但不满足对称）
Eq表示集合中两个元素是否相等的关系，这种关系符合上述三个条件，是一个等价关系