WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

ExceptionQ[expr]

expr が有効なExceptionオブジェクトである場合はTrueを，それ以外の場合にはFalseを返す．

ExceptionQ[expr,tag]

expr が tag のサブタイプである有効なExceptionオブジェクトである場合はTrueを返す．

ExceptionQ[expr,{tag1,tag2,…}]

expr が tag1，tag2，… のいずれかのサブタイプである有効なExceptionオブジェクトである場合はTrueを返す．

詳細
Details and Options Details and Options
例題  
例  
スコープ  
考えられる問題  
おもしろい例題  
関連項目
テクニカルノート
関連するガイド
履歴
引用書式

ExceptionQ

ExceptionQ[expr]

expr が有効なExceptionオブジェクトである場合はTrueを，それ以外の場合にはFalseを返す．

ExceptionQ[expr,tag]

expr が tag のサブタイプである有効なExceptionオブジェクトである場合はTrueを返す．

ExceptionQ[expr,{tag1,tag2,…}]

expr が tag1，tag2，… のいずれかのサブタイプである有効なExceptionオブジェクトである場合はTrueを返す．

詳細

  • ExceptionQの第2引数の親タイプは，有効な例外タイプ（文字列またはシンボル）でなければならない．それらが登録された例外タイプである必要はない．

例題

すべて開く すべて閉じる

例  (1)

次は，有効なExceptionオブジェクトかどうかをテストする：

Wolfram Language code: ExceptionQ[Exception[tag]]

次の例外は有効なExceptionオブジェクトではない：

Wolfram Language code: ExceptionQ[Exception[1, 2, 3]]

次は，渡された例外が，tag タイプあるいはそのサブタイプの有効なExceptionオブジェクトであるかどうかをテストする：

Wolfram Language code: ExceptionQ[Exception[tag], tag]

スコープ  (2)

次は，例外タイプを他の例外タイプの子タイプとして登録する：

Wolfram Language code: RegisterExceptionType[logicalError, "GeneralError"]

次は，渡された式がタイプ"GeneralError"の有効なExceptionオブジェクトであることを確認する：

Wolfram Language code: ExceptionQ[Exception[logicalError, <|"Data" -> 42|>], "GeneralError"]

以下で例外タイプの登録を解除する：

Wolfram Language code: Unprotect[logicalError] DeleteObject @ logicalError

次は，無関係なExceptionオブジェクトをテストするが，タイプは一致しない：

Wolfram Language code: ExceptionQ[Exception[tag], "GeneralError"]

ExceptionQの第2引数におけるタイプのリストについては，単一の一致があればTrueを返すのに十分である：

Wolfram Language code: ExceptionQ[Exception[tag], {tag, "GeneralError"}]

考えられる問題  (1)

ExceptionQが未評価のExceptionコンストラクタ呼出しに適用されるからので，以下はFalseを返す：

Wolfram Language code: ExceptionQ[Unevaluated @ Exception["SomeError"]]

完全に評価されたExceptionコンストラクタに適用すると，ExceptionQは予想どおりTrueを与える：

Wolfram Language code: ExceptionQ[Exception["SomeError"]]

おもしろい例題  (1)

次は，例外タイプlogicalErrorをタイプ"GeneralError"の子として登録する：

Wolfram Language code: RegisterExceptionType[logicalError, "GeneralError"]

次は，タイプが"GeneralError"である例外を再スローし，それ以外のすべての例外をFailureオブジェクトへ変換するカスタム例外ハンドラを定義する：

Wolfram Language code: customHandler = Function @ With[{e = Exception @ #}, If[ExceptionQ[e, "GeneralError"], ThrowException @ e, e["ExceptionFailure"]] ]

この場合，いくつかの汎用的な例外はFailureに変換される：

Wolfram Language code: CatchExceptions[All -> customHandler] @ ThrowException[SomeExceptionType, "abc"]

この場合，タイプlogicalErrorの例外が再スローされるのは，logicalErrorが"GeneralError"のサブタイプであるためである：

Wolfram Language code: CatchExceptions[All -> customHandler] @ ThrowException[logicalError, 42]
Wolfram Research (2026), ExceptionQ, Wolfram言語関数， https://reference.wolfram.com/language/ref/ExceptionQ.html.

テキスト

Wolfram Research (2026), ExceptionQ, Wolfram言語関数， https://reference.wolfram.com/language/ref/ExceptionQ.html.

CMS

Wolfram Language. 2026. "ExceptionQ." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/ExceptionQ.html.

APA

Wolfram Language. (2026). ExceptionQ. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/ExceptionQ.html

BibTeX

@misc{reference.wolfram_2026_exceptionq, author="Wolfram Research", title="{ExceptionQ}", year="2026", howpublished="\url{https://reference.wolfram.com/language/ref/ExceptionQ.html}", note=[Accessed: 23-September-2026]}

BibLaTeX

@online{reference.wolfram_2026_exceptionq, organization={Wolfram Research}, title={ExceptionQ}, year={2026}, url={https://reference.wolfram.com/language/ref/ExceptionQ.html}, note=[Accessed: 23-September-2026]}