如何使用“>”方法为每种类型定义 max 函数？

Question

是否可以在具有方法 > （以及所有 AnyVals）的所有类型上通用地定义它，以便使用单个实现方法就足够了？

Answer 1

你可以声明一个隐式转换吗：

implicit def greater2order[A](self : { def >(that : A) }) : Order[A] = ...

然后只使用 scalaz...

Answer 2

标准库已经做到了这一点。但是，如果没有为具有 > 方法的对象分配类型...

List(1,2,3).max(Ordering.fromLessThan( (a:Int, b:Int) => b > a) )

基本上，此语法适用于具有 > 方法的任何对象，或者某些隐式转换使 <代码>> 可用。它创建一个可以传递给标准 max 方法的 Ordering。

再举一个例子：

case class S(s:String) {
  def >(that:S) = java.text.Collator.getInstance.compare(s, that.s) > 0
}

List(S("abc"), S("ABa"), S("abd")).max(Ordering.fromLessThan( (a:S,b:S) => b>a) )
// res9: S = S(abd)

Answer 3

排序特征可能是相关的。

它涵盖了标准数字类型（还有一些——请参阅“已知子类”）。隐式可用于跨外部类型“打开它”。

快乐编码。