私は以前の質問をしましたが、それに対して私は素晴らしい答えを受け取りました。コメントの中で、Travisは、2つHandValue
のを比較することは直接機能しないが、パターンマッチングを使用して、同じクラスを確実に比較できると述べました。
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[_]
は機能しません。