Как абстрактная переопределенная работа с точки зрения кода Java?

Я нашел отличное объяснение того, как черта скомпилирована для Java-кода, но я думаю, что у нее отсутствует функция абстрактного переопределения. Какой код Java создан для этой функции?

Ответ 1

Вот он:

Он короткий, abstract override def m() позволяет вызывать super.m() из метода, а этот суперсвязь ограничивает динамику вместо создания типа, когда черта перемежается после всех других типов, например

trait Printer {
  def print(msg: String)
}

trait Shouter extends Printer {
  abstract override def print(msg: String) { super.print(msg + "!") }
}

class ConsolePrinter extends Printer {
  def print(msg: String) { println(msg) }
}

val loudPrinter = new ConsolePrinter with Shouter

loudPrinter.print("Scala is great")

Здесь мы смешиваем Shouter позже, после линеаризации типов он становится "Shouter extends ConsolePrinter", а вызов super.print() становится ConsolePrinter.print(), и он дает нам:

Scala is great!

Google больше для "штабелируемого шаблона признаков", это замечательно!:)

Аг... Я забыл о Java:)

В данном примере у нас будет Shouter.class - интерфейс Shouter с методами:

  [0] Shouter$$super$print
  [1] print

Далее, Shouter $class.class - конкретный класс с именем "Shouter $class" со статическим методом print(LShouter;Ljava/lang/String;)V и телом:

 0 aload_0
 1 new #8 <scala/collection/mutable/StringBuilder>
 4 dup
 5 invokespecial #12 <scala/collection/mutable/StringBuilder.<init>>
 8 aload_1
 9 invokevirtual #16 <scala/collection/mutable/StringBuilder.append>
12 ldc #18 <!>
14 invokevirtual #16 <scala/collection/mutable/StringBuilder.append>
17 invokevirtual #22 <scala/collection/mutable/StringBuilder.toString>
20 invokeinterface #28 <Shouter.Shouter$$super$print> count 2
25 return

То есть, вызывается метод Shouter$$super$print(String) для переданного экземпляра.

Далее, $$anon$1.class - конкретный класс с именем "$ anon $1" - это наш new ConsolePrinter with Shouter. Он реализует интерфейс Shouter, то есть внедряет его методы. И здесь:

print(Ljava/lang/String;)V

0 aload_0
1 aload_1
2 invokestatic #21 <Shouter$class.print>
5 return

Shouter$$super$print(Ljava/lang/String;)V:

0 aload_0
1 aload_1
2 invokespecial #11 <ConsolePrinter.print>
5 return

То есть, в вызываемом print() мы вызываем static Shouter$class.print(), который является реализацией из свойства Shouter. Эта печать добавляет ! и вызывает Shouter $$ super $print() на нашем объекте, и мы пересылаем вызов ConsolePrinter.

Вот он.