我有几个问题Manifest
and TypeTag
。据我了解,JVM 不了解泛型并删除类型。所以我不能这样做
def factoryForAll[T] = new T // will not compile. Runtime doesn't know what T is
Scala 编译器可以使用以下命令将有关类型的信息传输到运行时Manifest
(现已弃用)。Manifest
有类似的方法erasure
其中包含有关类型的信息。所以我可以执行以下操作来创建通用类型 T 的对象
def factoryForall[T](implicit ev:Manifest[T]) = ev.erasure.newInstance
scala> factoryForAll[String]
res1:Any=""
scala> class C
defined class C
scala> factoryForAll[C]
res5: Any = C@52cb52bd
问题 1 - 有趣的是,它不适用于 Int (或 Float)?为什么?
scala> factoryForAll[Int]
java.lang.InstantiationException: int
问题 2 - 为什么 Manifest 被弃用?据我了解,新版本TypeTag
信息更丰富,但不明白Manifest有什么缺点
问题 3 - Scala 2.12 仍然有Manifest
class (https://www.scala-lang.org/api/current/scala/reflect/Manifest.html https://www.scala-lang.org/api/current/scala/reflect/Manifest.html). If Manifest
都不好,为什么Scala还有它?该文档提到使用Manifest
创造Arrays
通用类型,但数组可以通过以下方式实现ClassTag
以及。那么为什么 Scala 仍然有Manifest
?
scala> def makeArray[T](len:Int)(implicit ev:ClassTag[T]) = new Array[T](len)
makeArray: [T](len: Int)(implicit ev: scala.reflect.ClassTag[T])Array[T]
scala> makeArray[String](4)
res39: Array[String] = Array(null, null, null, null)
scala> makeArray[Int](4)
res40: Array[Int] = Array(0, 0, 0, 0)
scala> val al = makeArray[List[Int]](2)
al: Array[List[Int]] = Array(null, null)
scala> al(0) = List(1)
scala> al(1) = List(2,3)
来到TypeTag
,有3种类型。参考Scala文档(http://docs.scala-lang.org/overviews/reflection/typetags-manifests.html http://docs.scala-lang.org/overviews/reflection/typetags-manifests.html)和 Medium 上的教程(https://medium.com/@sinisaluc/overcoming-type-erasure-in-scala-8f2422070d20 https://medium.com/@sinisalouc/overcoming-type-erasure-in-scala-8f2422070d20), 我明白那个TypeTag
and ClassTag
有不同的用例。 ClassTag 无法区分超出第一级擦除的类型。
//method to extract a type from a collection
def extractType[T](col:Iterable[Any])(implicit ev:ClassTag[T]) = {
val it =col.iterator
while (it.hasNext) {
val el = it.next
el match {
case x:T => println("got T")
case _ => println("not T")
}}}
extractType: [T](col: Iterable[Any])(implicit ev: scala.reflect.ClassTag[T])Unit
scala> extractType[Int](List(1,2,3,"hello"))
got T
got T
got T
not T
scala> extractType[List[Int]](List(List(1),List(2),List(3),List("hello")))
got T
got T
got T
got T //this should be not T
问题4:如果ClassTag
无法区分第一级擦除,为什么当我尝试添加擦除时会出现以下错误String
in a List[Set[Int]]
. Isn't Int
erased?
scala> def makeArray[T](len:Int)(implicit ev:ClassTag[T]) = new Array[T](len)
makeArray: [T](len: Int)(implicit ev: scala.reflect.ClassTag[T])Array[T]
scala> val al = makeArray[List[Set[Int]]](2)
al: Array[List[Set[Int]]] = Array(null, null)
scala> al(0) = List(Set(2))
scala> al(1) = List(Set("2"))
<console>:28: error: type mismatch;
found : String("2")
required: Int
al(0) = List(Set("2"))
^
问题 5 - 为什么在前面的例子中extractType[List[Int]](List(List(1),List(2),List(3),List("hello")))
,Scala无法区分String
from Int
但它区分了al(0) = List(Set(2))
and al(1) = List(Set("2"))
问题 6 - 如何更改extractType
函数使我可以检查嵌入类型。我知道我必须使用 TypeTag,但我不知道如何检查集合中元素的类型。
def extractType[T](col:Iterable[Any])(implicit ev:TypeTag[T]) = {
println("class is "+ev.mirror.runtimeClass) //I suppose in TypeTag, runtime is here
val it =col.iterator
while (it.hasNext) {
val el = it.next
el match {
case x:T => println("got T") //this doesn't compile. What should I check for?
case _ => println("not T")
}}}