Question

为了性能和安全性，我想实现一个固定大小的向量，它既是不可变的又是专用的（我需要快速的算术）。我的第一个想法是使用@specialized注释（因为我需要整数和实数）。

这是第一次尝试：

package so
class Vec[@specialized A] private[so] ( ary: Array[A] ) {
  def apply( i: Int ) = ary(i)
}

然而，当我用javap分析得到的字节码时，我可以看到元素仍然是盒装的。例如：

public double apply$mcD$sp(int);
  Code:
   0:   aload_0
   1:   iload_1
   2:   invokevirtual   #33; //Method apply:(I)Ljava/lang/Object;
   5:   invokestatic    #83; //Method scala/runtime/BoxesRunTime.unboxToDouble:(Ljava/lang/Object;)D
   8:   dreturn

看起来数组不是专用的，看起来很傻，因为数组专门用于JVM。

我还能做些什么来实现我的目标吗？

Answer 1

您可能正在查看编译为Vec.class的代码。根据{{3}}，专门化发生在子类中。这可以在REPL中验证：

scala> class Vec[@specialized A] ( ary: Array[A] ) {
     |   def apply( i: Int ) = ary(i)
     | }
defined class Vec

scala> new Vec( Array[Int](1) ).getClass
res0: java.lang.Class[_ <: Vec[Int]] = class Vec$mcI$sp

正如您在Int所看到的那样，它正在使用子类Vec$mcI$sp。如果你在该类上运行javap，你会发现它正确地使代码专门化。这是使用javap在Vec$mcI$sp.class中使用apply方法的样子：

  public int apply(int);
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=2
         0: aload_0       
         1: iload_1       
         2: invokevirtual #13                 // Method apply$mcI$sp:(I)I
         5: ireturn

我认为使用Int时你想要的是什么。

实现固定大小，不可变和专用的向量

1 个答案: