Rust 如果f32不是Eq，为什么要编译它？

我有一个泛型类型，例如

impl<T: Eq> Eq for Complex<T> where T: Eq {}

impl-Eq用于复数，其中T:Eq{}

出于某种原因，我能够制作一个

复杂的

，并让它编译并调用

eq（）

，即使

f32

不（不能）支持完全比较（因为nan！=nan）

---

这是怎么可能的？

当您使用

==

操作符时调用的

eq

方法是特征的一部分，而不是

Eq

trait继承了

PartialEq

的所有方法，没有添加自己的方法，其唯一目的是作为一个标记来断言

=

操作符在实现类型上形成一个

像

HashMap

这样的类型依赖于

Eq

而不是

PartialEq

，因此它们可以做出逻辑保证-例如：

• 必须能够使用与插入值相同的键检索值
• 如果存在哈希冲突，实现仍然可以使用

  ==

  区分不同的键，因此一个键不会替换另一个键

---

导出

Eq

的实现总是安全的，因为它只有在所有子字段都是

Eq

时才有效。但是，如果您自己实现

Eq

，则需要确保等价关系不变量得到支持。

您好！你能通过回答你的问题来发布完整的代码吗？例如，在

复合体上如何调用
eq（）
？谢谢
eq（）
来自
PartialEq
，而不是
eq
。