difficulties/eq

[giscus[bot]]

difficulties/eq

https://course.rs/difficulties/eq.html

[FuuuOverclocking]

建议直接贴上“偏序”，“全序”和“NaN”的 wiki 链接。
https://zh.wikipedia.org/wiki/%E5%81%8F%E5%BA%8F%E5%85%B3%E7%B3%BB
https://zh.m.wikipedia.org/zh-hans/NaN

[dangxia]

若是不想烧坏脑子，摘下了关键的一句话如下：
偏序集合的两个元素x和y可以处于四个相互排斥的关联中任何一个：要么x < y，要么x = y，要么x > y，要么x和y是“不可比较”的（三个都不是）。全序集合是用规则排除第四种可能的集合：所有元素对都是可比较的

[yejunjin]

Eq 和 PartialEq， Ord 和 PartialOrd 区别其实用离散数学一个性质就可以区分开。

** 类型T：Eq/PartialEq 的实例（instance) 是否具有自反性. **

用你的浮点数例子就可以说明：T = f32, f32::NAN == f32::NAN不成立。 不成立的原因是因为IEEE754只规定了NAN的阶码部分全为1即可，没有规定符号位和尾数部分。

1 11111111 0000....001 != 0 111111111 00000...111

[cubicYYY]

至于NaN，看到一个好的解释是NaN代表“不确定、难以言说的数字”；因此对于相等这一操作，我们不能说两个不确定的数是相等的。这破坏了自反性，也就称不上离散数学中的“等价关系”，故只能是PartialEq；
至于其他可能partial的trait，可以类比偏序/严格偏序/全序/严格全序的概念；全序相对偏序额外要求完全性，即任意两元素都可以比较。

[zcg0696]

对于石头，剪刀，布游戏有：
石头>剪刀
剪刀>布
布 > 石头
明显不满足传递性，是否可以定义为PartialOrd?

[duanyuluo]

好奇+1

[HenryCROSS]

Partial Order在定义上是不允许cycle的情况的，除非石头=剪刀=布

[HenryCROSS]

剪刀石头布这种情况感觉更像是cycle order

[HenryCROSS]

前面说得可以会有点奇怪，我想说的是，Partial Order在定义上是不允许cycle的情况的，如果想要符合定义，就需要是石头=剪刀=布

[typed-sigterm]

如果可以的话，vec![石头, 剪刀, 布].sort() 应该做什么

[davids-dot]

首先我们需要找到一个类型，它实现了 PartialEq 但是没有实现 Eq（你可能会想有没有反过来的情况？当然没有啦，部分相等肯定是全部相等的子集！）

浮点数实现了PartialEq 没有实现 Eq。说明有类型是PartialEq 而不是Eq, 则PartialEq 范围大，Eq 范围小， 此处“部分相等肯定是全部相等的子集” 是反过来的。