为什么scalac会对Scala代码中的Int执行装箱操作？

这是个很有意思的问题，核心原因和Scala集合的泛型实现、JVM的类型擦除，以及早期Scala对值类型集合的处理逻辑直接相关，咱们一步步拆解：

1. 从字节码的方法签名找线索 #

你给出的字节码里，HashSet.$plus（对应Scala代码里的+方法）的参数类型是Ljava/lang/Object;（也就是Java的Object）：

invokevirtual #25 // Method scala/collection/immutable/HashSet.$plus:(Ljava/lang/Object;)Lscala/collection/immutable/HashSet;

而你传入的1是Scala的Int，对应JVM的原始类型int——JVM里原始类型不能直接赋值给Object引用，必须先装箱成java.lang.Integer，这就是你看到BoxesRunTime.boxToInteger调用的直接原因。

2. 为什么HashSet[Int]的方法参数是Object？ #

这背后有两个关键逻辑：

• JVM泛型擦除机制：JVM运行时会擦除泛型类型信息，所以HashSet[Int]在JVM层面其实等价于HashSet<Object>。泛型参数Int（Scala的AnyVal类型）被擦除后，方法的参数只能定义为Object类型。
• 通用集合的设计局限：你使用的scala.collection.immutable.HashSet是一个通用集合实现，它要支持任意元素类型（不管是AnyRef还是AnyVal），所以方法参数只能定义为Any（对应JVM的Object）。当传入值类型时，就必须通过装箱把原始类型转换成Object子类，才能符合方法的参数要求。

3. 如何避免这种装箱？ #

在Scala 2.13及之后的版本中，集合库做了针对性优化，提供了值类型专属的特化集合，比如scala.collection.immutable.IntHashSet。这类集合是专门为Int设计的，内部直接用原始类型存储元素，添加操作不会触发装箱。

举个优化后的例子：

import scala.collection.immutable.IntHashSet
class Test {
  def m() = {
    var s = new IntHashSet
    s = s + 1
  }
}

编译后的字节码里，+方法的参数会是原始类型int，再也看不到装箱相关的调用了。

内容的提问来源于stack exchange，提问作者St.Antario