时间戳

首页 > 解决方案 > 为什么将值类数组编译为对象数组？

scala - 为什么将值类数组编译为对象数组？

问题描述

据我了解，如果您创建一个值类的数组，您实际上是在创建一个对象数组而不是包装的原语。这背后的原因是什么？

资源： 

class Wrapper(val underlying: Int) extends AnyVal

class Main {
  val i: Int = 1
  val w: Wrapper = new Wrapper(1)
  val wrappers = Array[Wrapper](new Wrapper(1), new Wrapper(2))
  val ints = Array[Int](1, 2)
}

javap输出：

public class Main {
  public int i();
  public int w();
  public Wrapper[] wrappers(); // <----why can't this be int[] as well
  public int[] ints();
  public Main();
}

标签： scala

解决方案

值类的限制之一是它x.isInstanceOf[ValueClass]应该仍然可以正常工作。正确的意思是：透明地，程序员不必知道值何时可能被装箱或不装箱。

如果在运行时将Array[Meter]an 表示为 an Array[Int]，则以下代码将无法按预期工作，因为数组中的整数实际上是米的信息丢失了。

class Meter(val value: Int) extends AnyVal

def centimeters[A](as: Array[A]) = as.collect{ case m: Meter => m.value * 100 }

请注意，如果您有，val m = new Meter(42); m.isInstanceOf[Meter]那么编译器知道这m是 aMeter即使它是Int在运行时，他可以内联isInstanceOf对true.

另请注意，这不适用于数组。如果您要按需将数组中的值装箱，则必须创建一个新数组，这对程序员来说是不透明的，因为数组是可变的并且使用引用相等。对于大型阵列的性能来说，这也将是一场灾难。

推荐阅读