Question

trait Eq[@specialized -X] {
  def eq(x: X, y: X): Boolean
}

trait Keyed[@specialized(Int) X] {
  def eqOnKey: Eq[X]
}

方法eqOnKey并非专门用于生成的类Keyed$mcI$sp。

如何专门化此方法，即将类eqOnKey$mcI$sp中方法Keyed$mcI$sp的返回类型设为Eq$mcI$sp？

Answer 1

如果你使用Eq扩展Keyed，你最终会得到一个专门的eq方法。根据您的使用情况，这可能对您不起作用。

trait Eq[@specialized -X] {
  def eq(x: X, y: X): Boolean
}

trait Keyed[@specialized(Int) X] extends Eq[X]


class Foo extends Keyed[Int] {
  def eq(x: Int, y: Int) : Boolean = x == y
}

将为Foo生成以下字节码

  public boolean eq$mcI$sp(int, int);
    Code:
       0: iload_1
       1: iload_2
       2: if_icmpne     9
       5: iconst_1
       6: goto          10
       9: iconst_0
      10: ireturn

  public boolean eq(java.lang.Object, java.lang.Object);
    Code:
       0: aload_0
       1: aload_1
       2: invokestatic  #146                // Method scala/runtime/BoxesRunTime.unboxToInt:(Ljava/lang/Object;)I
       5: aload_2
       6: invokestatic  #146                // Method scala/runtime/BoxesRunTime.unboxToInt:(Ljava/lang/Object;)I
       9: invokevirtual #148                // Method eq:(II)Z
      12: ireturn

无法将具有特殊特征的Scala方法专门用作返回类型

1 个答案: