Наследник sealed-класса обязан: быть в permits (или в том же файле, если permits опущен), объявить себя final, sealed или non-sealed, лежать в том же модуле (вне модулей — в том же пакете).
А ещё non-sealed — сознательная точка расширения
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
Требование объявить один из трёх модификаторов существует затем, чтобы закрытость не протекала: наследник обязан явно сказать, продолжает ли он запечатывание (sealed), закрывает ветку (final) или снова открывает её всем (non-sealed). Без этого гарантия полноты набора рассыпалась бы на следующем уровне иерархии. Ограничение на расположение обеспечивает проверяемость: компилятор должен видеть весь набор. Record тут удобен и часто используется вместе с sealed для алгебраических типов данных, но обязательным не является — наследником может быть обычный класс.
Несколько верных вариантов. Подумайте, потом откройте ответ.
Закрытые иерархии через sealed, pattern matching в instanceof и switch, деконструкция записей и проверка исчерпываемости.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.
sotto