在下面的代码中,我试图了解 Foo#unapply : Option[Int]
在模式匹配方面的用法。
$ls
Test.scala
$cat Test.scala
object Test {
case class Foo(x: Int)
def f(foo: Foo): Unit = foo match {
case Foo(_) => ()
}
}
它编译:
$scalac Test.scala
$ls
Test$.class Test$Foo$.class Test$Foo.class Test.class Test.scala
我运行了 javap -c -v X.class | grep unapply
对每个 *class
文件。但是,我没有找到任何结果。
请解释 Foo#unapply
如何用于模式匹配。还有,哪里可以找到对应的JVM字节码指令?
最佳答案
如果您使用-Xprint:typer
或-print
进行编译,您将看到生成的代码。这是 apply
和 unapply
的清理版本,使用 scalac -Xprint:typer Test.scala
编译:
case def apply(x: Int): com.yuval.Test.Foo = new Foo(x);
case def unapply(x$0: com.yuval.Test.Foo): Option[Int] = if (x$0.==(null))
scala.this.None
else
Some.apply[Int](x$0.x);
f
保持不变:
def f(foo: com.yuval.Test.Foo): Unit = foo match {
case (x: Int)com.yuval.Test.Foo(_) => ()
}
这是 Test$.class
的 Java 反编译代码:
public void f(Test.Foo foo) {
Test.Foo localFoo = foo;
if (localFoo != null) {
BoxedUnit localBoxedUnit = BoxedUnit.UNIT;
} else {
throw new MatchError(localFoo);
}
}
这是用 java -c -p Test$.class
生成的字节码:
public void f(com.yuval.Test$Foo);
Code:
0: aload_1
1: astore_2
2: aload_2
3: ifnull 11
6: getstatic #20 // Field scala/runtime/BoxedUnit.UNIT:Lscala/runtime/BoxedUnit;
9: astore_3
10: return
11: new #22 // class scala/MatchError
14: dup
15: aload_2
16: invokespecial #25 // Method scala/MatchError."<init>":(Ljava/lang/Object;)V
19: athrow
这里的模式匹配变成了一个简单的类型检查。
关于scala - 了解案例类的 'unapply',我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/37337135/