Закрытый список наследников делает проверку полноты switch работой компилятора: не нужен default, а новый подтип — ошибка компиляции во всех switch, которые его не обрабатывают. Вместо молчаливого провала в default.
А ещё Поведение уходит из иерархии в функции над данными — data-oriented programming
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
В обычной открытой иерархии компилятор не может знать всех наследников, поэтому требует default — и добавление нового подтипа тихо проваливается в эту ветку. Sealed фиксирует список через permits, и тогда switch по типу проверяется на исчерпываемость: забыли вариант — ошибка компиляции, то есть все места, требующие правки, найдены за вас. Это сознательный размен: жертвуем открытостью к расширению (принципом OCP) ради полноты проверки. Правило применимости простое: вариантов конечное число и меняются они редко — sealed уместен; иерархия открыта для сторонних реализаций — нет.
sottosealed interface Shape permits Circle, Square {}
record Circle(double r) implements Shape {}
record Square(double side) implements Shape {}
double area(Shape s) {
return switch (s) {
case Circle(var r) -> Math.PI * r * r;
case Square(var a) -> a * a;
}; // default не нужен
}Один верный вариант. Подумайте, потом откройте ответ.
Закрытые иерархии через sealed, pattern matching в instanceof и switch, деконструкция записей и проверка исчерпываемости.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.