Scala中的模式匹配如何在字节码级别实现？
Scala中的模式匹配如何在字节码级别实现？
它是否就像一系列if (x instanceof Foo)构造，还是其他的？ 它的性能影响是什么？
例如，给定以下代码（来自Scala示例页面46-48）， eval方法的等效Java代码将如何显示？
abstract class Expr case class Number(n: Int) extends Expr case class Sum(e1: Expr, e2: Expr) extends Expr def eval(e: Expr): Int = e match { case Number(x) => x case Sum(l, r) => eval(l) + eval(r) }
PS我可以读取Java字节码，所以一个字节码表示对我来说就足够了，但是对其他读者来说可能会更好地知道它是怎么样的Java代码。
PPS Scala编程书籍是否给出了有关Scala如何实现的类似问题的答案？ 我已经订购了这本书，但还没有到。
低层次可以用反汇编来探讨，但简单的答案是，这是一堆if / elses谓词依赖于模式
case Sum(l,r) // instance of check followed by fetching the two arguments and assigning to two variables l and r but see below about custom extractors case "hello" // equality check case _ : Foo // instance of check case x => // assignment to a fresh variable case _ => // do nothing, this is the tail else on the if/else
还有更多的事情可以通过像“case Foo（45，x）”这样的模式或组合来完成，但是通常这些只是我刚刚描述的逻辑扩展。 模式也可以有警卫，这是对谓词的附加约束。 也有一些情况下，编译器可以优化模式匹配，例如，当情况有些重叠时，它可能会聚合一些东西。 高级模式和优化是编译器中一个活跃的工作领域，所以如果字节码在当前和未来版本的Scala中基本上超越了这些基本规则，那么不要感到惊讶。
除此之外，您还可以编写您自己的自定义提取器，或者替代Scala用于案例类的默认提取器。 如果这样做，那么模式匹配的成本就是提取器的成本。 在http://lamp.epfl.ch/~emir/written/MatchingObjectsWithPatterns-TR.pdf中find了一个很好的概述;
詹姆斯（上图）说得最好。 但是，如果您好奇，查看反汇编的字节码总是一个很好的练习。 你也可以使用-print选项来调用scalac ，这个选项将会删除所有Scala特有的特性来打印你的程序。 这基本上是斯卡拉的服装中的Java。 下面是你给出的代码片段的相关scalac -print输出：
def eval(e: Expr): Int = { <synthetic> val temp10: Expr = e; if (temp10.$isInstanceOf[Number]()) temp10.$asInstanceOf[Number]().n() else if (temp10.$isInstanceOf[Sum]()) { <synthetic> val temp13: Sum = temp10.$asInstanceOf[Sum](); Main.this.eval(temp13.e1()).+(Main.this.eval(temp13.e2())) } else throw new MatchError(temp10) };
自2.8版以来，Scala已经有了@switch注解。 目标是确保模式匹配将被编译为tableswitch或lookupswitch，而不是一系列的if语句。
