Нил Мэдден разобрал пример, в котором добавление подтипа в закрытую иерархию Java приводит к исключению в уже собранной программе. Проверка компилятора подтверждала, что программа обрабатывает все варианты, но после обновления библиотеки прежней гарантии оказалось недостаточно. В центре истории — закрытые классы и интерфейсы, появившиеся в Java 17. Они ограничивают круг допустимых наследников и помогают находить пропущенные случаи ещё до запуска. Разбор Мэддена показывает границу этой защиты: проверка...