Scala 中什么时候一个 Set 小于另一个 Set？

Question

我想比较 Scala 中两个集合的基数。由于某些东西有时在 Scala 中“正常工作”，因此我尝试在集合之间使用 < 。它似乎通过了，但我无法从结果中看出任何意义。

示例：

scala> Set(1,2,3) < Set(1,4)
res20: Boolean = true

• 它返回什么？
• 在 API 中哪里可以阅读有关此方法的信息？
• 为什么它没有列在 scala.collection.immutable.Set 下的任何地方？

---

更新：甚至集合中元素的顺序（??）似乎也很重要：

scala> Set(2,3,1) < Set(1,3)
res24: Boolean = false

scala> Set(1,2,3) < Set(1,3)
res25: Boolean = true

Answer 1

这不适用于 2.8。在 Scala 2.7 上，发生的情况是这样的：

scala.Predef.iterable2ordered(Set(1, 2, 3): Iterable[Int]) < (Set(1, 3, 2): Iterable[Int])

换句话说，在 scala.Predef 上定义了一个隐式转换，它是从 Iterable[A]< 为所有 Scala 代码“导入”的。 /code> 到 Ordered[Iterable[A]]，前提是存在隐式 A =>;已订购[A]可用。

鉴于集合的可迭代顺序未定义，您无法真正对其进行太多预测。例如，如果添加元素以使集合大小大于四，您将得到完全不同的结果。

Answer 2

如果你想比较基数，直接这样做：

scala> Set(1, 2, 3).size < Set(2, 3, 4, 5).size
res0: Boolean = true

Answer 3

我对 Scala 的了解并不广泛，但是做了一些测试，我得到以下结果：

scala> Set(1,2) <
<console>:5: error: missing arguments for method < in trait Ordered;
follow this method with `_' if you want to treat it as a partially applied function
   Set(1,2) <
            ^

这告​​诉我 < 来自特征 Ordered。更多提示：

scala> Set(1,2) < _
res4: (Iterable[Int]) => Boolean = <function>

也就是说，Set 被评估为 Iterable，因为可能存在从 Iterable[A] 到 Ordered[Iterable[A]] 的隐式转换，但是我不再确定......测试不一致。例如，这两个可能建议进行一种字典顺序比较：

scala> Set(1,2,3) < Set(1,2,4)
res5: Boolean = true

1 相等，2 相等，3 小于 4。

scala> Set(1,2,4) < Set(1,2,3)
res6: Boolean = false

但这些则不然：

scala> Set(2,1) < Set(2,4)
res11: Boolean = true

scala> Set(2,1) < Set(2,2)
res12: Boolean = false

我认为正确的答案是在 Ordered 特征正确：除了比较其 hashCode 之外，集合之间没有任何 < 实现：

Ordered[A] 实例的 hashCode 方法与比较方法保持一致非常重要。但是，不可能提供合理的默认实现。因此，如果您需要能够计算 Ordered[A] 实例的哈希值，您必须在继承或实例化时自己提供它。