2

我一直在努力寻找一种方法来处理以下情况，我想找到一个统一类型参数的通用视图（或超类），以便我可以访问一个将苹果与苹果进行比较的类型类：

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)

但是，我希望它作为 Foo 的一种方法而存在。关于我可以做些什么来强制它使用视图边界的任何想法？

4

1 回答 1

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
于 2013-06-25T15:06:06.407 回答