astratto tipo di pattern non è selezionata in quanto viene eliminata per la cancellazione

Question

Qualcuno potrebbe dirmi come posso evitare l'avviso nel blocco di codice qui sotto:

abstract class Foo[T <: Bar]{ 
    case class CaseClass[T <: Bar](t: T) 
    def method1 = { 
    case CaseClass(t: T) => println(t) 
    csse _ => 
    } 
} 

Questo si traduce in un avviso del compilatore:

abstract type pattern T is unchecked since it is eliminated by erasure 
case CaseClass(t: T) => println(t) 
       ^

Answer 1

Si potrebbe utilizzare ClassTag (o TypeTag):

import scala.reflect.ClassTag 

abstract class Foo[T <: Bar : ClassTag]{ 
    ... 
    val clazz = implicitly[ClassTag[T]].runtimeClass 
    def method1 = { 
    case CaseClass(t) if clazz.isInstance(t) => println(t) // you could use `t.asInstanceOf[T]` 
    case _ => 
    } 
} 

Answer 2

Un'altra variazione da usare , Soprattutto se si desidera utilizzare un trait (anziché utilizzare un class o abstract class cui l'altra soluzione richiede), assomiglia a questo:

import scala.reflect.{ClassTag, classTag} 

trait Foo[B <: Bar] { 
    implicit val classTagB: ClassTag[B] = classTag[B] 
    ... 
    def operate(barDescendant: B) = 
    barDescendant match { 
     case b: Bar if classTagB.runtimeClass.isInstance(b) => 
     ... //do something with value b which will be of type B 
    } 
}