Коротко: Parent-конструктор вызывает виртуальный метод `init()`. При создании `new Child()` вызывается `Parent()` до того, как полям `Child` присвоены явные значения, поэтому вызов виртуального `Child.init()` происходит, когда `x` ещё имеет значение по умолчанию — не $5$, а $0$. В результате на экран может быть напечатано $0$, а не ожидаемое $5$.
Порядок инициализации (при `new Child()`):
- Выделяется память под объект; все поля примитивных типов получают значения по умолчанию (для `int` это $0$), ссылочные — `null`.
- Выполняется цепочка конструкторов: сначала `Parent()` (непосредственно вызывается `super()`).
- Тело `Parent()` выполняется; в нём вызывается `init()` — динамическая диспетчеризация вызывает `Child.init()`, но поля `Child` ещё не инициализированы явными инициализаторами (они всё ещё $0$/`null`).
- После возврата из `Parent()` выполняются инициализаторы полей и блоки инициализации `Child` (тогда `x` присваивается $5$).
- Затем выполняется тело конструктора `Child()`.
Почему это важно для дизайна:
- Нельзя безопасно вызывать переопределяемые (не `final`, не `private`) методы из конструкторов суперкласса, потому что переопределённый код увидит ещё неинициализированное состояние подкласса.
- Рекомендации:
- Не вызывать overridable-методы из конструкторов суперклассов.
- Сделать такие методы `private` или `final`, если они используются в конструкторе суперкласса.
- Перенести инициализацию, зависящую от подкласса, в конструктор подкласса или в фабричный метод (static factory) после полной инициализации объекта.
- Либо передавать нужные значения через параметры конструктора суперкласса (поддерживая инварианты до вызова `super(...)`).
Пример безопасной правки: либо вызвать `init()` в конструкторе `Child` после установки полей, либо сделать `Parent.init()` `final`/`private`, чтобы не было динамического вызова до инициализации полей.