scala - 尽管@specialized，由于类型删除导致重复方法

Question

偶然发现

def foo(f: Int => Unit) {}
def foo(f: Long => Unit) {}

由于 method foo is defined twice 无法编译.我知道上面只是简写

def foo(f: Function1[Int, Unit]) {}
def foo(f: Function1[Long, Unit]) {}

并且在类型删除后两种方法具有相同的签名。

现在我读了 Try out specialized Function1/Function2 in 2.8.0 RC1!那个 Function1和 Function2有 @specialized Int 的版本, Long和 Double从 Scala 2.8 开始。那肯定意味着 Function[Int, Unit]和 Function[Long, Unit]在 JVM 级别有单独的类文件。

那么两个签名不会不同吗？

问题是，第二个类型参数会继续被删除吗？但同样的问题

class Bar[@specialized T]
def foo(f: Bar[Int]) {}
def foo(f: Bar[Long]) {}

它不编译。

Answer 1

@specialized 与类型删除无关，至少在这种情况下是这样。这意味着您的类的额外版本是在位置中使用 native 类型生成的。这显着节省了装箱/拆箱。

所以你定义了一个类:

class MyClass[@specialized(Int) T] {
  def foobar(t: T) = {}
}

你得到两个类作为输出，(大约):

class Foobar[java.lang.Object] {
  def foobar(t: java.lang.Object) = {}
}

class Foobar[int] {
  def foobar(t: int) = {}
}

您需要有两个类的实现，因为您不能总是保证调用具有正确 native 类型的那个。 scala 编译器将选择调用哪一个。请注意，java 编译器不知道这种特化正在发生，因此必须调用非特化方法。

实际上，输出如下(通过 JAD):

public class MyClass implements ScalaObject {
    public void foobar(Object obj) { }

    public void foobar$mcI$sp(int t) {
        foobar(BoxesRunTime.boxToInteger(t));
    }

    public MyClass() { }
}

public class MyClass$mcI$sp extends MyClass {
    public void foobar(int t) {
        foobar$mcI$sp(t);
    }

    public void foobar$mcI$sp(int i) { }

    public volatile void foobar(Object t) {
      foobar(BoxesRunTime.unboxToInt(t));
    }

    public MyClass$mcI$sp() {}
}

所以你的类型删除问题不会用@specialized 解决。