Почему нет цикличных референсов в обявлении Enum?

Question

[Владислав]

В java.lang, имеется класс enum, который наследуют все перечисления:


Допустим что E это какой-то класс Color. Тогда класс Color наследует класс Enum, где Color будет подклассом. И здесь бы всё закончилось, но Enum сам по себе является подклассом типа Color, являющийся экземпляром класса Enum с подклассом Color.

И если дальше залезть в Enum или Color, то получается рекурсия.

Вопрос в том во что это реально будет скомпилировано, так что компилятор не улетает в бесконечный цикл?

Comments

[mayton2019]

Ты получил ошибку в фазе компилляции? Или в runtime?

[Jacen11]

Enum сам по себе является подклассом типа Color

нет, не является. На этом в общем то все. С чего вообще такая фантазия?
Потому ничего там и не улетает

[Владислав]

Jacen11, Объясни почему не является. Я не понимаю, отсюда следовательно и вопрос. Я пытался вникнуть в документацию, но лишь сильнее запутался с дженериками.

[Владислав]

mayton2019, В том то и дело, это вполне рабочий код, тут нет ошибок. Но я не понимаю как это работает. Во что превращается в итоге вся эта вермишель.

[mayton2019]

Hardelele, даже не знаю как ответить. Ты можешь скомпилировать и посмотреть на бинарный код. Это кстати желательный скил для всех разработчиков независимо от профиля.

[Владислав]

mayton2019, Понял. Хорошо. В целом согласен, надо разобраться с байт кодом. Как только разберусь с бинарниками напишу ответ на свой вопрос.

Answer 1

[Владислав]

Разобрался. Вот во что компилируется Enum:



Все дженерики ушли. Они как раз и ломали мне голову.
Просто при первом проходе компилятор проставил везде где требуется реальный тип.

Как это работает ещё буду разбираться. Если кто-то может дополнить, буду благодарен.

Answer 2

[Jacen11]

тебя ждет боль
https://habr.com/ru/company/sberbank/blog/416413/
вот одна из статей. В основном проблемы от совместимости, в джаве дженерики не сразу появились, поэтому потом пришлось изварачиваться