为什么隐式值类有一个额外的方法调用

Question

我正在检查隐式类生成的字节码，并希望与它们扩展AnyVal时生成的字节码进行比较。

没有隐式：

object Example1 {
  class Wrapper(val self: Int) extends AnyVal {
    def add(n: Int): Int = self + n
  }
  def foo(w: Wrapper): Wrapper = new Wrapper(w.add(42))
}

字节码的（相关部分）：

scala>:javap Example1
[...]
public int foo(int);
  descriptor: (I)I
  flags: ACC_PUBLIC
  Code:
    stack=3, locals=2, args_size=2
       0: getstatic     #19                 // Field Example1$Wrapper$.MODULE$:LExample1$Wrapper$;
       3: iload_1
       4: bipush        42
       6: invokevirtual #23                 // Method Example1$Wrapper$.add$extension:(II)I
       9: ireturn
    LocalVariableTable:
      Start  Length  Slot  Name   Signature
          0      10     0  this   LExample1$;
          0      10     1     w   I
    LineNumberTable:
      line 11: 3
[...]

implicit ：

object Example2 {
  implicit class Wrapper(val self: Int) extends AnyVal {
    def add(n: Int): Int = self + n
  }
  def foo(w: Wrapper): Wrapper = w.add(42)
}

字节码的（相关部分）：

scala>:javap Example2
[...]
public int Wrapper(int);
  descriptor: (I)I
  flags: ACC_PUBLIC
  Code:
    stack=1, locals=2, args_size=2
       0: iload_1
       1: ireturn
    LocalVariableTable:
      Start  Length  Slot  Name   Signature
          0       2     0  this   LExample2$;
          0       2     1  self   I
    LineNumberTable:
      line 9: 0
public int foo(int);
  descriptor: (I)I
  flags: ACC_PUBLIC
  Code:
    stack=4, locals=2, args_size=2
       0: aload_0
       1: getstatic     #23                 // Field Example2$Wrapper$.MODULE$:LExample2$Wrapper$;
       4: iload_1
       5: bipush        42
       7: invokevirtual #27                 // Method Example2$Wrapper$.add$extension:(II)I
      10: invokevirtual #29                 // Method Wrapper:(I)I
      13: ireturn
    LocalVariableTable:
      Start  Length  Slot  Name   Signature
          0      14     0  this   LExample2$;
          0      14     1     w   I
    LineNumberTable:
      line 12: 0
[...]

由于扩展AnyVal，对add的调用在伴随对象上调用，并且在两个版本中，类型Wrapper都不会显示在foo（public int foo(int);）的类型签名中。

霍维尔，在第二个版本中，返回前有一个电话：10: invokevirtual #29。它调用public int Wrapper(int);似乎什么都不做。（虽然我可能是错的，因为我在阅读字节码方面没有太多经验）

所以问题是，这个电话的意义是什么？不能省略吗？

Answer 1

问题是你的代码片段不是等效的。将隐式类Foo编译/脱糖为类Foo和隐式转换方法Foo。这也是隐式类（目前）不能是顶级的原因。

因此，您的第一个代码段应该是：

object Example1 {
  class Wrapper(val self: Int) extends AnyVal {
    def add(n: Int): Int = self + n
  }
  def Wrapper(self: Int): Wrapper = new Wrapper(self)
  def foo(w: Wrapper): Wrapper = Wrapper(w.add(42))
}

如果可能，编译器会擦除对值类构造函数的调用。但它不会擦除对 Wrapper 方法的调用，无论是否隐式。

我想 JVM 中的 JIT 编译器最终会删除该方法调用。