Question

最近有关 extempore 的建议，关于如何让scala告诉我是否通过查看字节码来进行拳击，我创建了这个类：

class X { def foo(ls : Array[Long]) = ls map (_.toDouble)

看一下foo的字节码：

public double[] foo(long[]);
  Code:
   Stack=4, Locals=2, Args_size=2
   0:   getstatic       #11; //Field scala/Predef$.MODULE$:Lscala/Predef$;
   3:   aload_1
   4:   invokevirtual   #16; //Method scala/Predef$.longArrayOps:([J)Lscala/collection/mutable/ArrayOps;
   7:   new     #18; //class X$$anonfun$foo$1
   10:  dup
   11:  aload_0
   12:  invokespecial   #22; //Method X$$anonfun$foo$1."<init>":(LX;)V
   15:  getstatic       #27; //Field scala/Array$.MODULE$:Lscala/Array$;
   18:  getstatic       #32; //Field scala/reflect/Manifest$.MODULE$:Lscala/reflect/Manifest$;
   21:  invokevirtual   #36; //Method scala/reflect/Manifest$.Double:()Lscala/reflect/AnyValManifest;
   24:  invokevirtual   #40; //Method scala/Array$.canBuildFrom:(Lscala/reflect/ClassManifest;)Lscala/collection/generic/CanBuildFrom;
   27:  invokeinterface #46,  3; //InterfaceMethod scala/collection/TraversableLike.map:(Lscala/Function1;Lscala/collection/generic/CanBuildFrom;)Ljava/lan                                   g/Object;
   32:  checkcast       #48; //class "[D"
   35:  areturn
  LineNumberTable:
   line 7: 0

没有盒子/拆箱的迹象。但我仍然怀疑，所以我用-print（）：

编译它

[[syntax trees at end of cleanup]]// Scala source: X.scala
package <empty> {
  class X extends java.lang.Object with ScalaObject {
    def foo(ls: Array[Long]): Array[Double] = scala.this.Predef.longArrayOps(ls).map({
(new anonymous class X$$anonfun$foo$1(X.this): Function1)
}, scala.this.Array.canBuildFrom(reflect.this.Manifest.Double())).$asInstanceOf[Array[Double]]();
  def this(): X = {
    X.super.this();
    ()
  }
};
@SerialVersionUID(0) final <synthetic> class X$$anonfun$foo$1 extends scala.runtime.AbstractFunction1$mcDJ$sp with Serializable {
  final def apply(x$1: Long): Double = X$$anonfun$foo$1.this.apply$mcDJ$sp(x$1);
  <specialized> def apply$mcDJ$sp(v1: Long): Double = v1.toDouble();
  final <bridge> def apply(v1: java.lang.Object): java.lang.Object = scala.Double.box(X$$anonfun$foo$1.this.apply(scala.Long.unbox(v1)));
    def this($outer: X): anonymous class X$$anonfun$foo$1 = {
      X$$anonfun$foo$1.super.this();
      ()
    }
  }
}

关于此代码的主要观察结果是，创建的匿名函数专门用于Long => Double，而map功能由longArrayOps(ls).map提供（ArrayOps是不专业）。

问题是：“在此示例中是否发生装箱/取消装箱？”

Answer 1

可能有拳击正在进行中。您必须查看实际map - 调用的位置：

27:  invokeinterface #46,  3; //InterfaceMethod scala/collection/TraversableLike.map:(Lscala/Function1;Lscala/collection/generic/CanBuildFrom;)Ljava/lang/Object;

在运行时，这应该转到ArrayOps#ofLong。由于ArrayOps不是专门的，因此你的map - 呼叫不可能在没有拳击的情况下通过。

要确定您可以尝试通过字节码来跟踪调用（可能很难，因为在您的函数中可能会遇到运行时调度）或者使用调试器（因为大多数调试器没有显示字节码，但是你可以设置断点到Scala或Java的拳击方法。）

由于实际原因，我们发现如果拳击是在字节码中完成的话可能无关紧要，因为对于热方法，Hotspot编译器有时会设法完全内联标准的高阶函数调用链，在这种情况下可以消除装箱。

Answer 2

您可以使用分析器（jvisualvm随Oracle SDK免费提供）来查找装箱/拆箱。优点是你只会发现相关的拳击 - 没有任何事情只会发生几次，没有任何东西被HotSpot优化。

嗯，我不完全确定最后一个，但我希望在使用采样分析器（jvisualvm也提供）时仍然可以使用JIT。

如何在Scala中发现装箱/拆箱

2 个答案: