scala - 为什么Scala中Array.map的定义是 "throw new Error()"

Question

Array的map源代码是:

override def map[B](f: A => B): Array[B] = throw new Error()

但以下方法有效:

val name : Array[String]= new Array(1)
name(0)="Oscar"
val x = name.map {  ( s: String ) => s.toUpperCase }
// returns: x: Array[java.lang.String] = Array(OSCAR)

Answer 1

通常，当您看到throw new Error()时在库类的源代码中，它代表编译器通过桥接到平台设施(记住这可以是 Java 或 .NET)来干预和实现该方法的点。

Array SID解释了 Scala 2.7.x 中如何处理数组，以及它们在 2.8 中如何变化。编译器用于神奇地将对象转换为 BoxedArray如果您调用map .

在 2.8 中，数组与 Scala 集合框架的集成主要是通过使用普通语言功能来处理的——来自 Array[T] 的隐式转换。至WrappedArray[T]或ArraySeq[T] ，取决于上下文和类型 Manifest[T] 的隐式参数支持创建泛型类型的数组 T 。阵列 indexing , length和 update仍然显示为 throw new Error() 。 Array#map不再存在，而是在 WrappedArray 上找到它和ArraySeq作为常规方法。

更新

如果您有兴趣了解这个编译器魔法的定义，请查看 Cleanup.scala 的 Scala 2.8 版本。 .