[performance] 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에 좋은 개요가 있습니다.

답변

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)
};