爲什麼scala.math.PartialOrdering.lteq抽象，而不是根據.tryCompare定義？

Question

似乎scala.math.PartialOrdering.lteq必須始終被定義爲（或者至少，給出相同的結果）：

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

是有一些原因，此實現不是在scala.math.PartialOrdering特質給予？

Answer 1

我的猜測是鼓勵寫更有效的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時寫的醜override修改。來看

至於我可以看到tryCompare是永遠整個Scala的標準庫體內使用，所以也許它只是一個「左眼上」 ......