arrays - 如何在 Scala 中进行装箱？

Question

我想了解转换在 Scala 中的工作原理。这是示例:

object Main extends App {
    val ai: Array[Any] = Array(1, 2, 3, 4, 5, 6)
    val ar: Array[AnyRef] = ai.map(_.asInstanceOf[AnyRef])
}

而且效果很好。 https://ideone.com/6PerTR

现在让我们重写如下:

object Main extends App {
    val ai: AnyRef = Array(1, 2, 3, 4, 5, 6)
    val ar: Array[AnyRef] = ai.asInstanceOf[Array[Any]].map(_.asInstanceOf[AnyRef])
}

它不起作用。它现在因 ClassCastException 失败 https://ideone.com/JbOQbb .为什么？我认为在这里添加类型转换就足够了吗？为什么第一个示例有效？

如果我们首先将 AnyRef 转换为 Array[Any]，如何让它在第二种情况下工作？这里怎么加拳？

UPD:我也试过:

object Main extends App {
    val ai: AnyRef = Array(1, 2, 3, 4, 5, 6)
    val aii: Array[Any] = ai.asInstanceOf[Array[Any]]
    val ar: Array[AnyRef] = aii.map(_.asInstanceOf[AnyRef])
}

但是得到了ClassCastException https://ideone.com/ZcgT6x .它看起来与第一个示例非常相似。在这种情况下如何将aii 转换为Array[AnyRef]？

Answer 1

TL;DR:第一个代码片段有效，因为自动装箱在生成数组时已经发生。第二个代码段不起作用，因为创建的数组是 Array[Int]。

---

即使 Int 是 Any 的子类型，Array[Int]不是 Array[Any] 的子类型。因此，当你写

scala> val ai: Array[Any] = Array(1, 2, 3, 4, 5, 6)
ai: Array[Any] = Array(1, 2, 3, 4, 5, 6)

这本质上等同于

val ai: Array[Any] = Array[Any](1, 2, 3, 4, 5, 6)

这样所有的整数都已经装箱了。结果是:

scala> ai.getClass
res0: Class[_ <: Array[Any]] = class [Ljava.lang.Object;

也就是说，您的 ai 从一开始就是一个 Array[Object]。

第二个片段的关键区别在于，即使 Array[Int]不是 Array[Any] 的子类型，它肯定是 AnyRef 的子类型，所以没有自动装箱:

scala> val ai: AnyRef = Array(1, 2, 3, 4, 5, 6)
ai: AnyRef = Array(1, 2, 3, 4, 5, 6)

scala> ai.getClass
res2: Class[_ <: AnyRef] = class [I

如您所见，AnyRef 是一个包含未装箱整数的 int 数组。

如果您现在尝试将一个未装箱的整数数组转换为一个Array[Any]，您获得类转换异常。

您可以通过像这样强制立即自动装箱来修复您的第二个示例:

object Main extends App {
    val ai: AnyRef = Array[Any](1, 2, 3, 4, 5, 6)
    val ar: Array[AnyRef] = 
      ai.asInstanceOf[Array[Any]].map(_.asInstanceOf[AnyRef])
}

或者您可以将数组转换为正确的类型，即 Array[Int]:

object Main extends App {
    val ai: AnyRef = Array(1, 2, 3, 4, 5, 6)
    val ar: Array[AnyRef] =
      ai.asInstanceOf[Array[Int]].map(_.asInstanceOf[AnyRef])
}