[scala] Scala에서 유형 삭제를 어떻게 해결합니까? 또는 왜 내 컬렉션의 type 매개 변수를 얻을 수 없습니까?

이 답변은 ManifestScala 2.10부터 더 이상 사용되지 않는 -API를 사용합니다 . 최신 솔루션에 대해서는 아래 답변을 참조하십시오.

Scala는 Java와 달리 JVM (Java Virtual Machine)이 제네릭을 얻지 못했기 때문에 Type Erasure로 정의되었습니다. 이는 런타임시 유형 매개 변수가 아닌 클래스 만 존재 함을 의미합니다. 이 예에서 JVM은가 처리하고 있음을 알고 scala.collection.immutable.List있지만이 목록이로 매개 변수화되어 있지는 않습니다 Int.

다행히도 스칼라에는이를 해결할 수있는 기능이 있습니다. 그것은이다 매니페스트 . 매니페스트는 인스턴스가 유형을 나타내는 객체 인 클래스입니다. 이러한 인스턴스는 객체이므로이를 전달하고 저장하며 일반적으로 메소드를 호출 할 수 있습니다. 암시 적 매개 변수를 지원하므로 매우 강력한 도구가됩니다. 예를 들어 다음 예를 보자.

object Registry {
  import scala.reflect.Manifest

  private var map= Map.empty[Any,(Manifest[_], Any)]

  def register[T](name: Any, item: T)(implicit m: Manifest[T]) {
    map = map.updated(name, m -> item)
  }

  def get[T](key:Any)(implicit m : Manifest[T]): Option[T] = {
    map get key flatMap {
      case (om, s) => if (om <:< m) Some(s.asInstanceOf[T]) else None
    }
  }
}

scala> Registry.register("a", List(1,2,3))

scala> Registry.get[List[Int]]("a")
res6: Option[List[Int]] = Some(List(1, 2, 3))

scala> Registry.get[List[String]]("a")
res7: Option[List[String]] = None

요소를 저장할 때 “Manifest”도 저장합니다. 매니페스트는 인스턴스가 스칼라 유형을 나타내는 클래스입니다. 이러한 객체에는 JVM보다 많은 정보가 있으므로 매개 변수화 된 전체 유형을 테스트 할 수 있습니다.

그러나 a Manifest는 여전히 진화하는 기능입니다. 한계의 예로서, 현재 분산에 대해 아무것도 모르고 모든 것이 공변량이라고 가정합니다. 현재 개발중인 Scala 리플렉션 라이브러리가 완성되면 더 안정적이고 견고해질 것으로 기대합니다.

답변

import scala.reflect.runtime.universe._
def matchList[A: TypeTag](list: List[A]) = list match {
  case strlist: List[String @unchecked] if typeOf[A] =:= typeOf[String] => println("A list of strings!")
  case intlist: List[Int @unchecked] if typeOf[A] =:= typeOf[Int] => println("A list of ints!")
}

import scala.reflect.{ClassTag, classTag}
def matchList2[A : ClassTag](list: List[A]) = list match {
  case strlist: List[String @unchecked] if classTag[A] == classTag[String] => println("A List of strings!")
  case intlist: List[Int @unchecked] if classTag[A] == classTag[Int] => println("A list of ints!")
}

scala> import shapeless.syntax.typeable._
import shapeless.syntax.typeable._

scala> val l1 : Any = List(1,2,3)
l1: Any = List(1, 2, 3)

scala> l1.cast[List[String]]
res0: Option[List[String]] = None

scala> l1.cast[List[Int]]
res1: Option[List[Int]] = Some(List(1, 2, 3))

case class StringListHolder(list:List[String])

StringListHolder(List("str1","str2")) match {
    case holder: StringListHolder => holder.list foreach println
}

x match {
  case l:List[(Int, String)] =>
  ...
}

case class IntString(i:Int, s:String)

x match {
  case a:Array[IntString] =>
  ...
}