12

为了性能和安全性，我想实现一个固定大小的向量，它既不可变又专门化（我需要快速算术）。我的第一个想法是使用@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 上的。

我还能做些什么来达到我的目标吗？

4

1 回答 1

9

您可能正在查看编译为 Vec.class 的代码。根据这个线程，专业化发生在子类中。这可以在 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它正在使用 subclass Vec$mcI$sp。如果您在该类上运行 javap，您会发现它实际上正确地专门化了代码。Vec$mcI$sp.class这是使用 javap时 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。

于 2012-04-21T17:44:12.823 回答