为什么Arrays需要ClassTags而像List这样的集合不需要？

Question

这很好用：

def x[A](a: A) = List(a)

没有ClassTag可用于A：

def y[A](a: A) = Array(a)

但当然这是犹太人：

def y[A : ClassTag](a: A) = Array(a)

是什么给出了？

Answer 1

Arrays在运行时保留它们的类型，但是由于类型擦除，泛型方法在运行时失去了它们的通用性。因此，如果您在运行时从泛型方法动态创建数组，则必须保留泛型类型信息。由于擦除，JVM不知道类型，但Scala以ClassTag的形式保留信息，允许您避免擦除问题。

你可以使用Java反射作弊

def y[A](a: A, length: Int) = java.lang.reflect.Array.newInstance(a.getClass, length)

但这会很糟糕 - 请注意，由于删除，返回的类型是Object，而不是Array [A]

scala> y("foo", 1)
res2: Object = Array(null)

另请注意，java.lang.reflect.Array.newInstance（）会在API documentation中返回Object。

这是有道理的，因为Java已经删除，并且没有ClassTag。

Scala具有ClassTag，因此可以使用适当的类型创建在运行时创建的数组：

scala> def y[A : ClassTag](a: A) = Array(a)
y: [A](a: A)(implicit evidence$1: scala.reflect.ClassTag[A])Array[A]

scala> y("foo")
res4: Array[String] = Array(foo)

scala> y(1)
res5: Array[Int] = Array(1)

在此处了解有关JVM上类型擦除的更多信息（Java示例）：

• Erasure of generic types
• Erasure of generic methods
• Erasure of bridge methods
• Non-reifiable types

当然，由于擦除，A的List在运行时变为AnyRef的List，所以只要在编译时验证类型检查（通过泛型），JVM就不关心运行时的类型是在实例化通用对象时。