MatchException クラス

定義

[Android.Runtime.Register("java/lang/MatchException", ApiSince=36, DoNotGenerateAcw=true)]
public sealed class MatchException : Java.Lang.RuntimeException

[<Android.Runtime.Register("java/lang/MatchException", ApiSince=36, DoNotGenerateAcw=true)>]
type MatchException = class
    inherit RuntimeException

継承

Exception

Throwable

Exception

RuntimeException

MatchException

属性

RegisterAttribute

注釈

パターン マッチングで予期しないエラーが発生したことを示すためにスローされます。

MatchException は、完全なパターン マッチング言語コンストラクト ( switch 式など) が実行時に指定されたパターンのいずれとも一致しない値を検出した場合にスローされる場合があります。ただし、コンストラクトは完全であると見なされます。 これは意図的なものであり、さまざまなケースから発生する可能性があります。

<ul><li>パターンが参照する型階層の一部が変更されたが、パターン マッチング コンストラクトが再コンパイルされていない場合のコンパイルの異常。 たとえば、シール インターフェイスの実行時に許可されるサブタイプのセットがコンパイル時とは異なる場合、または列挙型クラスの列挙型定数のセットがコンパイル時とは異なる場合や、コンパイル時と実行時の間に互換性のない方法で型階層が変更された場合などです</li>

<li>null 値と、シールされたクラスを含む入れ子になったパターン。 たとえば、インターフェイス Iが 2 つの許可されたサブクラスsealedとAでBされ、レコード クラスRが型Iの単一のコンポーネントを持つ場合、2 つのレコード パターンR(A a)とR(B b)が一緒にR型に対して完全であると見なされますが、これらのパターンはどちらも new R(null).< の結果と一致しません。/li>

<li>null 値と入れ子になったレコード パターン。 S型の 1 つのコンポーネントを持つレコード クラスT場合、Tは型Stringの 1 つのコンポーネントを持つ別のレコード クラスです。入れ子になったレコード パターンR(S(var s))は、型Rに対して完全であると見なされますが、new R(null)の結果と一致しません (一方、new R(new S(null))の結果と一致します)。</li></ul>

MatchException は、パターンに対して値を照合するパターンのプロセスによってスローされる場合もあります。 たとえば、レコード パターンを含むパターン マッチングでは、コンポーネント値を抽出するためにアクセサー メソッドを暗黙的に呼び出す必要がある場合があります。 これらのアクセサー メソッドのいずれかが例外をスローすると、パターン マッチングが突然完了し、 MatchExceptionがスローされます。 元の例外は、Throwable#getCause() causeのMatchExceptionとして設定されます。 Throwable#addSuppressed(java.lang.Throwable) suppressed例外は記録されません。

21 で追加されました。

Javaドキュメント。

このページの一部は、によって作成および共有され、に記載されている条件に従って使用される作業に基づく変更です。