Как узнать, в каком коде [Java/Scala?] Компилятор Scala переписывает оригинальный Scala-код

Question

Следуя спискам рассылки Scala, разные люди часто говорят: "Компилятор переписывает этот код [scala] в этот код [java/scala??]". Например, из одной из последних тем, если Scala видит

class C(i: Int = 4) { ... }

тогда компилятор переписывает это как (эффективно):

class C(i: Int) { ... }
object C {
  def init$default$1: Int = 4
}

Как я могу узнать, что будет выводом компилятора для моего кода? Должен ли я декомпилировать полученный байт-код для этого?

Answer 1

Вы можете использовать "-print" в качестве опции компилятора, и scalac удалит все специфичные для Scala функции.

Например, вот оригинальный код:

class Main
{
    def test (x: Any) = x match {
        case "Hello" => println ("Hello World")
        case e: String => println ("String")
        case i: Int => println ("Int")
        case _ => println ("Something else")
    }
}

И если вы используете "scalac -print" для его компиляции, вы получите следующий код Scala.

[[syntax trees at end of cleanup]]// Scala source: Test.scala
package <empty> {
  class Main extends java.lang.Object with ScalaObject {
    def test(x: java.lang.Object): Unit = {
      <synthetic> val temp1: java.lang.Object = x;
      if (temp1.==("Hello"))
        {
          scala.this.Predef.println("Hello World")
        }
      else
        if (temp1.$isInstanceOf[java.lang.String]())
          {
            scala.this.Predef.println("String")
          }
        else
          if (temp1.$isInstanceOf[Int]())
            {
              scala.this.Predef.println("Int")
            }
          else
            {
              scala.this.Predef.println("Something else")
            }
    };
    def this(): Main = {
      Main.super.this();
      ()
    }
  }
}

Answer 2

Можно посмотреть на сгенерированный байт-код с

javap -c -private ClassNameWithoutDotClass