Класс 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)) does).

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