了解已编译的 scala 文件中的类型



给定:

$cat build.sbt
scalaVersion := "2.12.1"
$cat src/main/scala/net/X.scala
package net 
trait Foo 
object X {
    val a: Int with Foo = 42.asInstanceOf[Int with Foo]
    println(a + a)
}

通过sbt compile编译后,我javap输出class文件:

$javap target/scala-2.12/classes/net/X$.class 
Compiled from "X.scala"
public final class net.X$ {
  public static net.X$ MODULE$;
  public static {};
  public int a();
}
$javap target/scala-2.12/classes/net/X.class 
Compiled from "X.scala"
public final class net.X {
  public static int a();
}

为什么a有类型,int

我在object X中指定了一种Int with Foo类型。

这只是 Scala 中所有交集类型编译为 JVM 字节码的方式。JVM无法表示像Int with Foo这样的东西,所以编译器将类型擦除为第一个"简单"类型:在这种情况下Int。这意味着,如果像Foo一样使用值a编译器必须在字节码中插入强制转换。

请看以下 REPL 会议:

Welcome to Scala 2.12.1 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_111).
Type in expressions for evaluation. Or try :help.
scala> trait Foo { def foo = "foo" }
defined trait Foo
scala> trait Bar { def bar = "bar" }
defined trait Bar
scala> class FooBar extends Foo with Bar
defined class FooBar
scala> class Test { val foobar: Foo with Bar = new FooBar }
defined class Test
scala> object Main {
     |   def main(): Unit = {
     |     val test = new Test().foobar
     |     println(test.foo)
     |     println(test.bar)
     |   }
     | }
defined object Main
scala> :javap -p -filter Test
Compiled from "<console>"
public class Test {
  private final Foo foobar;
  public Foo foobar();
  public Test();
}
scala> :javap -c -p -filter Main
Compiled from "<console>"
  ...
  public void main();
    Code:
      ...
      15: invokeinterface #62,  1           // InterfaceMethod Foo.foo:()Ljava/lang/String;
      ...
      27: checkcast     #23                 // class Bar
      30: invokeinterface #69,  1           // InterfaceMethod Bar.bar:()Ljava/lang/String;
      ...

Int with Foo实际上是一个特例。 Int是最终类型,Foo是特征。显然,编译器更喜欢最终类型和类而不是特征。因此,在Foo是一个特征而Bar是一个类的Foo with Bar中,类型仍然被擦除为Bar而不是Foo

相关内容

  • 没有找到相关文章

最新更新