Класс MatchException

public final class MatchException extends RuntimeException

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

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

• Аномалии отдельной компиляции, когда части иерархии типов, на которые ссылаются шаблоны, были изменены, но конструкция сопоставления с образцом не была перекомпилирована. Например, если упечатанный интерфейс имеет другой набор разрешенных подтипов во время выполнения, чем во время компиляции, или если класс перечисления имеет другой набор констант перечисления во время выполнения, чем во время компиляции, или если иерархия типов была изменена каким-либо несовместимым способом между компиляцией и выполнением.
• null значения и вложенные шаблоны, включающие упечатанные классы. Если, например, интерфейс I упечатан с двумя разрешенными подклассами 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 не будет записано.