Класс MatchException

public final class MatchException extends RuntimeException

Выбрасывается для указания непредвиденной ошибки при сопоставлении шаблонов.

MatchException может быть выброшен, когда конструкт языка сопоставления шаблонов (например, выражение switch) встречает значение, которое не соответствует ни одному из указанных шаблонов во время выполнения, даже если конструкт считается исчерпывающим. Это преднамеренно и может возникать по ряду причин:

• Аномалии отдельной компиляции, когда части иерархии типов, на которые ссылаются шаблоны, были изменены, но конструкт сопоставления шаблонов не был перекомпилирован. Например, если у запечатанного интерфейса в момент выполнения имеется другой набор разрешенных подтипов, чем в момент компиляции, или если у класса перечисления в момент выполнения имеется другой набор констант перечисления, чем в момент компиляции, или если иерархия типов была изменена каким-то несовместимым способом между компиляцией и выполнением.
• null значения и вложенные шаблоны, включающие запечатанные классы. Если, например, интерфейс I объявлен sealed с двумя разрешенными подклассами A и B, и класс записи R имеет единственный компонент типа I, то два шаблона записи R(A a) и R(B b) вместе считаются исчерпывающими для типа R, но ни один из этих шаблонов не будет соответствовать результату new R(null).
• null значения и вложенные шаблоны записей. Учитывая класс записи S с единственным компонентом типа T, где T — это другой класс записи с единственным компонентом типа String, то вложенный шаблон записи R(S(var s)) считается исчерпывающим для типа R, но он не соответствует результату new R(null) (в то время как он соответствует результату new R(new S(null))).

MatchException также может быть выброшен в процессе сопоставления значения с шаблоном. Например, сопоставление шаблонов, включающее шаблон записи, может потребовать неявного вызова методов-аксессоров для извлечения значений компонентов. Если какой-либо из этих методов-аксессоров выбросит исключение, процесс сопоставления шаблонов завершится внезапно и выбросит MatchException. Исходное исключение будет установлено как cause исключения MatchException. Никакие исключения suppressed не будут зарегистрированы.