Блоки инициализации в Java: статический блок (static block) - Вопросы

Статический блок (статический блок инициализации, static initializer) — это блок кода static { ... }, объявленный прямо в теле класса, вне методов и конструкторов. Он выполняется один раз, при инициализации класса — до вызова main() и до создания первого объекта.

Он нужен, когда static-поле нельзя задать одним простым присваиванием: заполнить статическую коллекцию или массив в цикле, выполнить инициализацию с try-catch, один раз настроить класс (System.loadLibrary(...), чтение конфигурации), вычислить несколько зависимых static-полей. Статических блоков в классе может быть несколько: они выполняются сверху вниз вместе с инициализаторами static-полей. Для небольших неизменяемых коллекций в Java 9+ статический блок часто заменяют на Map.of(...) или List.of(...).

Статический блок выполняется при инициализации класса, а она происходит лениво — при первом активном использовании класса: new, вызов статического метода (в том числе main()), обращение к static-полю, инициализация наследника, Class.forName("..."). Объявление переменной этого типа, создание массива new Foo[10], литерал Foo.class и чтение константы времени компиляции вроде static final int MAX = 10; статический блок не запускают (константу компилятор подставляет по месту; static final Integer MAX = 10; константой времени компиляции не является и блок запускает).

Класс инициализируется один раз для каждого загрузчика классов (classloader), поэтому в рамках одного загрузчика блок дважды не выполнится; на время инициализации JVM блокирует класс, так что она потокобезопасна. Если один и тот же класс загружен двумя разными загрузчиками, статический блок выполнится для каждого из них. Начиная с Java 7 статический блок не заменяет main: лаунчер проверяет наличие main до инициализации класса.

Статический блок static { ... } выполняется один раз, при инициализации класса. Ему доступны только static-поля, в нём нет this и super, и из него нельзя выбросить проверяемое исключение.

Нестатический блок инициализации { ... } выполняется при каждом new — после super(...) и перед телом конструктора. В нём доступны статические и нестатические поля и this; компилятор копирует его в начало каждого конструктора, который не начинается с this(...). Чаще всего он встречается в анонимных классах, где конструктор объявить нельзя.

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

Для new Child(), где Child extends Parent:

1. Инициализация класса (только один раз): статические поля и статические блоки Parent, затем Child, в каждом классе в порядке объявления.
2. Создание объекта (при каждом new): нестатические поля и блоки экземпляра Parent, затем тело конструктора Parent; потом нестатические поля и блоки экземпляра Child, затем тело конструктора Child.

Итог: static Parent → static Child → блок экземпляра Parent → конструктор Parent → блок экземпляра Child → конструктор Child. Для второго объекта повторяется только шаг 2 — классы уже инициализированы.

Из статического блока нельзя выбросить проверяемое (checked) исключение — его нужно обработать внутри в try-catch, иначе код не скомпилируется. Если из статического блока или инициализатора static-поля вылетает непроверяемое исключение (например, static int value = Integer.parseInt("abc");), JVM оборачивает его в ExceptionInInitializerError. Класс остаётся неинициализированным, и каждое следующее обращение к нему падает с NoClassDefFoundError, пока жив его загрузчик классов.

Другие подводные камни: illegal forward reference — статический блок может присвоить значение полю, объявленному ниже, но не может прочитать его по простому имени; нет this, super и прямого доступа к нестатическим членам; тяжёлая логика замедляет первое обращение к классу и плохо тестируется. Конструкция «double brace initialization» new HashMap<>() {{ put("a", 1); }} — это анонимный подкласс с блоком экземпляра, и она считается антипаттерном.