在类中统一视图边界

Question

我一直在努力寻找一种方法来处理以下情况，我希望找到一个统一类型参数的公共视图（或超类），以便可以访问类型类相比较苹果和苹果：

case class Foo[A](i:A) { 
    def cmp[B:Ordering, C <% B](b:B)(implicit ev: A => B) = implicitly[Ordering[B]].lt(i,b) 
} 
// Foo(1).cmp(2.0) works 
// Foo(1.0).cmp(2) complains about evidence of Double => Int 

现在，这可以平凡与简单的函数来完成：

def cmp[A:Ordering](a1:A, a2:A) = implicitly[Ordering[A]].lt(a1,a2) 
// cmp(Foo(1).a, 1.0) 
// cmp(Foo(1.0).a, 1) 

不过，我希望它作为生活的富的方法。关于我能做些什么来强迫它使用视图边界的想法？

Answer 1

你可以依赖一个类型类。有点重，但工作原理：

trait Cmp[A,B] { 
    def cmp(a: A, b: B): Boolean 
} 
trait LowPriorityCmpImplicits { 
    implicit def cmp1[A,B](implicit conv: A => B, ord: Ordering[B]) = new Cmp[A, B]{ 
    def cmp(a: A, b: B) = ord.lt(conv(a), b) 
    } 
} 
object Cmp extends LowPriorityCmpImplicits { 
    implicit def cmp2[A,B](implicit conv: B => A, ord: Ordering[A]) = new Cmp[A, B]{ 
    def cmp(a: A, b: B) = ord.lt(a, conv(b)) 
    } 
} 

case class Foo[A](i:A) { 
    def cmp[B](b: B)(implicit cmp: Cmp[A,B]) = cmp.cmp(i, b) 
} 

的LowPriorityCmpImplicits特点是为了避免歧义，当这两种类型相同（cmp2将优于cmp1） 测试：

scala> Foo(1).cmp(2.0) 
res0: Boolean = true 
scala> Foo(1.0).cmp(2) 
res1: Boolean = true 
scala> Foo(1).cmp(2) 
res2: Boolean = true 
scala> Foo(2).cmp(1.0) 
res3: Boolean = false 
scala> Foo(2.0).cmp(1) 
res4: Boolean = false 
scala> Foo(2).cmp(1) 
res5: Boolean = false