Класс MatchException

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, записываться не будут.