为什么scalac需要在期望“Any”的方法中插入`Int`

Question

考虑以下课程：

package test
class Test {
  def main(args: Array[String]): Unit = {
    val i: Int = 0
    println(i)
  }
}

main的字节码是：

public main([Ljava/lang/String;)V
   // parameter final  args
  L0
   LINENUMBER 4 L0
   ICONST_0
  L1
   ISTORE 2
  L2
   LINENUMBER 5 L2
   GETSTATIC scala/Predef$.MODULE$ : Lscala/Predef$;
   ILOAD 2
   INVOKESTATIC scala/runtime/BoxesRunTime.boxToInteger (I)Ljava/lang/Integer;
   INVOKEVIRTUAL scala/Predef$.println (Ljava/lang/Object;)V
  L3
   RETURN
  L4
   LOCALVARIABLE i I L1 L3 2
   LOCALVARIABLE this Ltest/Test; L0 L4 0
   LOCALVARIABLE args [Ljava/lang/String; L0 L4 1
   MAXSTACK = 2
   MAXLOCALS = 3

可以看出，当我们致电println时，Int会被装入java.lang.Integer。但println的签名是：

def println(x: Any): Unit

作为Int <: AnyVal <: Any，为什么Int需要在通话中装箱？

Answer 1

Any可以在Scala中语法使用，因为编译器会根据需要自动选择任何Java基元类型（Int等同于）。从发出的字节代码中，您可以看到在具有以下签名的方法上调用INVOKEVIRTUAL：

scala/Predef$.println (Ljava/lang/Object;)V

由于Java中没有Any的概念，scalac会发出Object的方法签名，在Scala中等同于AnyRef。由于Int扩展AnyVal，我们需要分配等效的Java包装器，即Integer。