在这些情况下,Scala值类将被“装箱”,对吧？

如果我有这个值类：

class ActionId(val value: Int) extends AnyVal

那么,在下面的所有例子中,将为值类分配一个对象？ (它将被“装箱” – 它不会简单地被解包为一个普通的32位整数,对吧？)

>一个返回值类的函数 – 值类会转义范围,因此会被“装箱”？

def someFunction(): ActionId = {
  ...
  return ActionId(123)
}

>返回具有值类成员的对象的函数 – 值类会转义范围,因此将“装箱”？

case class Post(id: ActionId,...) { ... }

def someFunction(): Post = {
  ...
  val somePost = Post(ActionId(123),...) // ActionId will be "boxed",right?
  return somePost
}

>即使没有返回具有值类成员的对象(并没有真正转义范围),当它被用作另一个类的成员(作为Post中的一个字段)时,值类仍将被“装箱”.类,在这个例子中)？

def anotherFunction() {
  ...
  val somePost = Post(ActionId(123),...) // "Boxed" here too,right?

  // ... do something with somePost

  // But don't:  return somePost

  // However some *other* similar functions *do* return `somePost` — so
  // class `Post` must be able to box the ActionId? Hence it's boxed (above)?
}

与此相关的是this answer,它表示当值类没有逃避范围时,它实际上是内联的.有关详细信息,请参阅Scala改进流程文档SIP-15.但是据我所知,SIP-15实际上没有提到逃避范围的值类实例将被“装箱”.但我认为它必须被“盒装”似乎是合理的. (为什么SIP没有明确声明如果它逃脱会被装箱？)

解决方法

没有一个例子导致拳击.值类只有泛型,带数组,以及类型为超类/特征时(例如Any / AnyVal)

它们装有泛型,因为否则你无法将它们与价值区分开来(而且原语需要一个盒子).与Any相同,其他超类/特征需要一个框或类型关系是错误的.

它们装有数组,因为数组需要知道内容的类型,但JVM不理解“值类型”的概念.所以你最终得到一个数组,说它是盒装的类型,但Scala假装的是一个值类型的数组;做出了一个决定(基于以前的问题,当它不仅仅是一个普通的Java / JVM阵列时,这会导致太多微妙的错误和角落情况).

以下是获得拳击的三种方法的示例：

trait Q extends Any {}
class X(val x: String) extends AnyVal with Q {}

// Array
val a = Array(new X("salmon"))   // boxed

// Generic
val b = Option(new X("minnow"))  // boxed

// Upcast
val c = (new X("perch"): Any)    // boxed
val d = (new X("cod"): AnyVal)   // boxed
val e = (new X("herring"): Q)    // boxed

其他一切 – 通过各种功能等传递 – 不需要拳击,包括你所有的例子.

数组是一种特殊情况,因为你可以存储基元并将它们再次作为具有零字节码开销的值类拉出来,但需要大量的语法开销：

class Y(val repr: String) extends AnyVal {}
val y1 = new Y("apple")    // unboxed
val y2 = new Y("orange")   // unboxed
val ys: Array[String] = Array(y1.repr,y2.repr)   // no overhead
val y3 = new Y(ys(0))      // no overhead