问题描述
在对应用程序进行性能分析时,可以看到在Array[Double]
构造函数中完成的Double值的装箱,如下所示(从JMC / JFR复制):
Double Double.valueOf(double) 1472
Double BoxesRunTime.BoxTodouble(double) 1472
Object WrappedArray$ofDouble.apply(int) 1468
Object IndexedSeqLike$Elements.next() 1365
void Iterator.foreach(Function1) 1365
void Iterator.foreach$(Iterator,Function1) 1365
void AbstractIterator.foreach(Function1) 1365
Object Array$.apply(Seq,classtag) 1365
当我检查Array
构造函数代码时,有以下注释(请参阅Array.scala#L182-L192):
// Subject to a compiler optimization in Cleanup.
// Array(e0,...,en) is translated to { val a = new Array(3); a(i) = ei; a }
这种翻译听起来很合理。为什么我在调用栈中仍然看到Iterator
/ BoxTodouble
?注释是否过时,或者我需要一些特定的编译器设置才能应用此优化?
var elements = Array[Double](
1,1,1
)
我已经使用Scala 2.12.12和2.13.3对此进行了测试
注释是在提交Optimize primitive Array(e1,en)中添加的(在Scala 2.11.0-M1中)。
解决方法
优化似乎很脆弱。更改涉及的类型和文字会导致(或不会)完成优化。
var el = Array[Double](1)
var el = Array[Double](1.0)
两者都产生难看的代码:
0: aload_0
1: invokespecial #27 // Method java/lang/Object."<init>":()V
4: aload_0
5: getstatic #33 // Field scala/Array$.MODULE$:Lscala/Array$;
8: getstatic #38 // Field scala/runtime/ScalaRunTime$.MODULE$:Lscala/runtime/ScalaRunTime$;
11: iconst_1
12: newarray double
14: dup
15: iconst_0
16: dconst_1
17: dastore
18: invokevirtual #42 // Method scala/runtime/ScalaRunTime$.wrapDoubleArray:([D)Lscala/collection/immutable/ArraySeq;
21: getstatic #47 // Field scala/reflect/ClassTag$.MODULE$:Lscala/reflect/ClassTag$;
24: invokevirtual #51 // Method scala/reflect/ClassTag$.Double:()Lscala/reflect/ManifestFactory$DoubleManifest;
27: invokevirtual #55 // Method scala/Array$.apply:(Lscala/collection/immutable/Seq;Lscala/reflect/ClassTag;)Ljava/lang/Object;
30: checkcast #56 // class "[D"
33: putfield #18 // Field el:[D
36: return
}
而
var el = Array(1.0)
var el: Array[Double] = Array(1)
产生了漂亮的结果:
0: aload_0
1: invokespecial #22 // Method java/lang/Object."<init>":()V
4: aload_0
5: iconst_1
6: newarray double
8: dup
9: iconst_0
10: dconst_1
11: dastore
12: putfield #13 // Field el:[D
15: return
我也尝试过Dotty,并且似乎将优化应用于所有变体。
发布为scala/bug#12201。