WOLFRAM

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

Check[expr,failexpr]

expr を評価し，結果を返す．ただし，メッセージが作成された場合は failexpr を返す．

Check[expr,failexpr,{s1::t1,s2::t2,…}]

指定されたメッセージに限ってチェックする．

Check[expr,failexpr,"name"]

名前付きメッセージグループのメッセージだけをチェックする．

詳細
Details and Options Details and Options
例題  
例  
スコープ  
アプリケーション  
特性と関係  
考えられる問題  
関連項目
テクニカルノート
関連するガイド
関連するワークフロー
履歴
引用書式

Check

Check[expr,failexpr]

expr を評価し，結果を返す．ただし，メッセージが作成された場合は failexpr を返す．

Check[expr,failexpr,{s1::t1,s2::t2,…}]

指定されたメッセージに限ってチェックする．

Check[expr,failexpr,"name"]

名前付きメッセージグループのメッセージだけをチェックする．

詳細

  • Checkは属性HoldAllを持つ．
  • CheckはOffによって抑制されたメッセージや内部でQuietによって抑制されたメセージについてはテストしない．
  • Checkの操作はQuietの内側に包み込まれても影響しない．
  • Check[expr,failexpr,"name"]において，使用可能な名前付きのメッセージ集合は$MessageGroupsで与えられる．
  • s::t の形式の明示的なメッセージ名を名前付きメッセージグループと混ぜることができる．

例題

すべて開く すべて閉じる

例  (2)

任意のメッセージが生成されると err を返す：

Wolfram Language code: Check[1 ^ 0, err]
Wolfram Language code: Check[0 ^ 0, err]

特定のメッセージだけをチェックする：

Wolfram Language code: Check[Sin[0 ^ 0], err, Sin::argx]
Wolfram Language code: Check[Sin[x, y], err, Sin::argx]

スコープ  (3)

特定の関数からのメッセージをチェックする：

Wolfram Language code: Check[0 ^ 0, "message issued", Power::indet]

ArcTan::indetはCheckがキャッチできない：

Wolfram Language code: Check[ArcTan[0, 0], "message issued", Power::indet]

頭部Generalを使って任意の関数からのメッセージをキャッチする：

Wolfram Language code: Check[ArcTan[0, 0], "message issued", General::indet]

複数のメッセージをキャッチする：

Wolfram Language code: Check[Sin[0 ^ 0], err, {General::infy, General::indet, General::argx}]
Wolfram Language code: Check[1 / 0, err, {General::infy, General::indet, General::argx}]

名前付きの群からのメッセージをチェックする：

Wolfram Language code: f = Compile[{{x, _Real}}, x]
Wolfram Language code: Check[f[I], "message issued", "Compiler"]
Wolfram Language code: Check[f[I], "message issued", "Graphics"]

アプリケーション  (1)

CheckとQuietを使って，関数が適用されない場合に引数に値を与える：

Wolfram Language code: f[x_] := Quiet[Check[StringTake[x, 4], x, StringTake::take], StringTake::take]

この関数は，引数が長さ4未満の文字列の場合は単純にその引数を返す：

Wolfram Language code: f /@ {"abcdef", "ab", "eg3j"}

CheckとQuietがないと，中間入力は未評価メッセージとともにで返される：

Wolfram Language code: StringTake["ab", 4]

特性と関係  (3)

Checkは，メッセージの生成を妨げない：

Wolfram Language code: Check[Sin[x, y], "too many", General::argx]

Checkは内部のQuietによって抑制されたメッセージは検知しない：

Wolfram Language code: Check[Quiet[1 / 0], error]

Checkの操作はQuietの中に置かれてもその影響は受けない：

Wolfram Language code: Quiet[Check[1 / 0, error]]

Checkはオフにされたメッセージについては報告しない：

Wolfram Language code: Off[Power::infy]
Wolfram Language code: Check[1 / 0, "message issued"]

メッセージを回復する：

Wolfram Language code: On[Power::infy]

考えられる問題  (1)

ネストされたCheckは，囲い込んでいるCheckについてのメッセージは抑制しない：

Wolfram Language code: Check[Check[1 / 0, inner, Power::infy], outer, Power::infy]

中間的なQuietを使って囲い込んでいるCheckがメッセージに反応するのを抑制することができる：

Wolfram Language code: Check[Quiet[Check[1 / 0, inner, Power::infy], Power::infy], outer, Power::infy]
Wolfram Research (1988), Check, Wolfram言語関数， https://reference.wolfram.com/language/ref/Check.html （2008年に更新）.

テキスト

Wolfram Research (1988), Check, Wolfram言語関数， https://reference.wolfram.com/language/ref/Check.html （2008年に更新）.

CMS

Wolfram Language. 1988. "Check." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2008. https://reference.wolfram.com/language/ref/Check.html.

APA

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

BibTeX

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

BibLaTeX

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