如果f32不是eq,为什么要编译它?

这个 eq 方法(在使用 == 操作员)是 PartialEq 特质,不是 Eq 是的。

这个 情商 trait继承了它的所有方法 部分 ,不添加任何内容,其唯一目的是作为一个标记来断言 == 运算符形成 equivalence relation 关于实现类型。

类型如 HashMap 依靠 情商 而不是 部分 ,因此他们可以做出逻辑保证-例如:

• 必须能够检索与插入时使用的键相同的值
• 如果存在哈希冲突,实现仍然可以使用 == ,所以一个不能代替另一个。

派生一个 情商 因为只有当所有子字段都是 情商 是的。但是,如果您实现 情商 你自己,你需要确保等价关系不变量得到支持。