为什么 Array 需要 ClassManifest 而 List 不需要？

Question

定义以下代码：

import scala.collection.JavaConversions._  
val iter:java.util.Iterator[Any] = Array[Any](1, 2, 3).iterator
def func(a:Any):String = a.toString

def test[T:ClassManifest](iter:java.util.Iterator[Any], func:Any=>T):Array[T] =  
  iter.map(i=>func(i)).toArray

def testFunc = test(iter, func)

这里，我需要使用 ClassManifest 才能正确编译，否则会收到错误：

scala> def test[T](iter:java.util.Iterator[Any], func:Any=>T):Array[T] = 
     |   iter.map(i=>func(i)).toArray         

<console>:11: error: could not find implicit value for evidence parameter of 
type ClassManifest[T]
     iter.map(i=>func(i)).toArray
                          ^

另一方面，下面使用 List 的替代代码确实如此不需要这个并且编译得很好。

import scala.collection.JavaConversions._  
val iter:java.util.Iterator[Any] = Array[Any](1, 2, 3).iterator
def func(a:Any):String = a.toString 

def test1[T](iter:java.util.Iterator[Any], func:Any=>T):List[T] = 
  iter.map(i=>func(i)).toList   


def testFunc1 = test1(iter, func).toArray

请注意，testFunc 和 testFunc1 的最终输出是相同的。

为什么List版本不需要ClassManifest？

Answer 1

Java 中的数组不会进行类型擦除，特别是，Array[Int] 与 JVM 级别的 Array[Object] 不同。

对于任何其他类，类型参数都会被删除为 Object，因此 List[Int] 和 List[Object] 在 JVM 中具有相同的表示形式等级。

Answer 2

方法toArray 创建具有T 类型元素的新数组。并且根据文档：

因此，根据 T 的实际类型参数，这可能是 Array[Int]、Array[Boolean]、Java 中其他一些基本类型的数组，或者某些引用类型的数组。但这些类型具有不同的运行时表示形式，那么 Scala 运行时如何选择正确的表示形式呢？事实上，它不能根据给定的信息做到这一点，因为与类型参数 T 对应的实际类型在运行时被删除。

Answer 3

简短的答案是因为这就是方法在 API 中定义的方式< /a>：

def toArray [B >: A] (implicit arg0: ClassManifest[B]) : Array[B]
def toList : List[A]

如果您在代码中的 def test[T:ClassManifest] 中省略了 :ClassManifest，那么编译器只知道它具有某种未知类型 < code>T，因此编译器无法找到该类型的 ClassManifest。

为什么代码需要 ClassManifest？如果您 查看 toArray 的源代码，您会发现：

val result = new Array[B](size)

Array 的这个构造函数需要一个 ClassManifest。有关此文档，请参阅 Easy Angel 的答案。下面是一个在 REPL 中演示它的示例：

scala> def createArray[T] = new Array[T](10)
<console>:5: error: cannot find class manifest for element type T
       def createArray[T] = new Array[T](10)

所以基本上，您必须编写 T: ClassManifest 因为 Scala 需要 ClassManifest 才能创建新数组。

Answer 4

Scala 使用 JVM 本机数组作为 Array 的实现。此类只能用已知类型创建。

由于 Sun 决定创建遗留工件，通用类型被删除并且不再出现在字节代码中。这意味着在运行时，Array[T] 不再知道 T 的值，因此虚拟机无法创建该数组。当您尝试兼容 Java 1.4 并在数组上引入泛型时，会遇到一些更复杂的陷阱（我也没有了解全部深度），但底线是：JVM/Java 的数组不是泛型的； Scala 帮助我们进行通用抽象。

因此，您提到的类清单本质上是一种黑客行为。当通过要求此隐式参数创建数组时，它静态地确保类型信息可用。实际上，任何创建类型参数数组的方法/函数都必须需要隐式清单，并且其所有被调用者等直到类型已知（静态）为止。