我问了一个较早的问题,我得到了很好的答案。在评论中,Travis 提到比较两个HandValue
s 不能直接工作,但是可以使用模式匹配来确保比较同一个类。
sealed abstract class HandValue[T <: HandValue[T]](val rank: Int) extends Ordered[T]
case class HighCard(high: Int) extends HandValue[HighCard](0){
def compare(that: HighCard) = this.high - that.high
}
case class TwoPair(high: Int, big: Int, sm: Int) extends HandValue[TwoPair](2) {
def compare (that: TwoPair) = { ... }
}
在下面尝试的模式匹配中,我有一个编译时错误,我怀疑它与使用HandValue[_]
. val h1: HandValue[T <: HandValue[T]]
,类似于声明类型的方式,无效。有没有办法解决这些问题?
val ans = sessions count {
hands: (Hand, Hand) => {
val h1: HandValue[_] = handValue(hands._1)
val h2: HandValue[_] = handValue(hands._2)
(h1, h2) match { // <-- Line as source of error
case _ if h1.rank > h2.rank => true
case (a: HighCard, b: HighCard) => a > b
case (a: TwoPair, b: TwoPair) => a > b
// etc..
}
}
}
编辑:编译时错误是:
error: type arguments [_$3] do not conform to class HandValue's type parameter bounds [T <: euler.solutions.p54.HandValue[T]]
(h1, h2) match {
编辑 2:正如在这个问题中提到的,使用Type[_]
不起作用。