CODEWITHSUNDEEP
scala
Harshal Pandya
Harshal Pandya

Reputation: 1624

abstract type pattern is unchecked since it is eliminated by erasure

Could someone tell me how can I avoid the warning in the code block below:

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

This results in a compiler warning: 

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

Upvotes: 27

Views: 10649

Answers (2)

chaotic3quilibrium
chaotic3quilibrium

Reputation: 5924

Another variation to use, especially if you desire to use a trait (as opposed to using a class or abstract class which the other solution requires), looks like this:

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
    }
}

Upvotes: 3

senia
senia

Reputation: 38045

You could use ClassTag (or 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 _ => 
  }
}

Upvotes: 30

Related Questions