问题
How do I do something like this in Scala?
case class Foo[A](x: A) {
def get[T]: Option[T] = x match {
case x: T => Some(x) // if x is of type T i.e. T =:= A
case _ => None
}
}
val test = Foo("hi")
assert(test.get[Int] == None)
assert(test.get[String] == Some("hi"))
I tried this and ran into some weird time inference failure:
import scala.util.{Try, Success}
import reflect._
case class Foo[A](x: A) extends Dynamic {
def get[T: ClassTag]: Option[T] = Try(x.asInstanceOf[T]) match {
case Success(r) => Some(r)
case _ => None
}
}
object Foo extends App {
val test = Foo("hi")
val wtf: Option[Int] = test.get[Int]
assert(wtf.isInstanceOf[Option[String]])
assert(wtf == Some("hi")) // how????
// val wtf2: Option[String] = wtf // does not compile even if above assert passes!!
}
回答1:
Surely a dupe, but hastily:
scala> :pa
// Entering paste mode (ctrl-D to finish)
import reflect._
case class Foo[A](x: A) {
def get[T: ClassTag]: Option[T] = x match {
case x: T => Some(x) // if x is of type T i.e. T =:= A
case _ => None
}
}
// Exiting paste mode, now interpreting.
import reflect._
defined class Foo
scala> val test = Foo("hi")
test: Foo[String] = Foo(hi)
scala> test.get[Int]
res0: Option[Int] = None
scala> test.get[String]
res1: Option[String] = Some(hi)
回答2:
If you can throw out the get:
case class Foo[A](x: A)
Seq(Foo("hi"), Foo(1), Foo(2d)).collect { case f @ Foo(x: String) => f }.foreach(println)
results in:
Foo(hi)
And the others are similarly trivial.
来源:https://stackoverflow.com/questions/22341339/scala-check-type-of-generics