为什么scala.math.PartialOrdering.lteq是抽象的,而不是根据.try

发布时间：2020-12-16 08:54:21 所属栏目：安全来源：网络整理

导读：似乎必须始终将 scala.math.PartialOrdering.lteq 定义为(或至少给出相同的结果)： override def lteq(x: Pattern,y: Pattern) = { tryCompare(x,y).map(_ = 0).getOrElse(false)} 是否有一些原因在scala.math.PartialOrdering特征中没有给出这个实现？解决

似乎必须始终将 scala.math.PartialOrdering.lteq定义为(或至少给出相同的结果)：

override def lteq(x: Pattern,y: Pattern) = {
    tryCompare(x,y).map(_ <= 0).getOrElse(false)
}

是否有一些原因在scala.math.PartialOrdering特征中没有给出这个实现？

解决方法

我的猜测是鼓励写一个更高效的lteq,因为所有其他方法都会回到lteq.所以你不想创建一个Option,然后映射它.我宁愿反过来问 – 为什么默认情况下不执行tryCompare,例如：

def tryCompare(x: T,y: T) = {
  val p1 = lteq(x,y)
  val p2 = lteq(y,x)
  if (p1) {
    if(p2) Some(0) else Some(-1)
  } else if (p2) Some(1) else None
}

…而且在实现lteq时你不需要编写丑陋的覆盖修饰符.

据我所知,tryCompare永远不会在整个Scala标准库体中使用,所以也许它只是一个’遗留’……

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!