Какова цель расширения анонимного типа в Scala?

Question

Я пытаюсь лучше понять Scala, и я не могу найти подходящий вариант использования кода, подобный следующему:

class C extends { def m() { /* ... */ } }

Каково обоснование для разрешения таких конструкций?

Спасибо!

Answer 1

Полагаю, единственное обоснование здесь - "избегать особых случаев, если это возможно".Вы можете расширить любой класс, анонимный класс - это класс, поэтому вы можете расширить анонимный класс.

Answer 2

На самом деле это не анонимный класс! Это ранний инициализатор, который запускается как часть конструктора, предшествующего его суперклассу. Цитируя отличный ответ от другого вопроса stackoverflow :

abstract class X {
    val name: String
    val size = name.size
}

class Y extends {
    val name = "class Y"
} with X

Если код был написан вместо

class Z extends X {
    val name = "class Z"
}

тогда возникнет исключение нулевого указателя при инициализации Z, потому что размер инициализируется перед именем в обычном порядке инициализации (суперкласс перед классом).

Answer 3

Это называется Ранние определения , и они имеют дело с проблемой порядка инициализации суперкласса.