WOLFRAM

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

Confirm[expr]

expr がエラーとはみなされないことを確認する．確認できなければ，囲い込んでいる直近のEncloseにFailureをスローする．

Confirm[expr,info]

expr がエラーを表す場合は，info を評価し，スローするFailureにその結果を入れる．

Confirm[expr,info,tag]

スローするすべてのエラーに指定のタグを使う．

詳細
Details and Options Details and Options
例題  
例  
スコープ  
アプリケーション  
考えられる問題  
関連項目
関連するガイド
引用書式

Confirm

Confirm[expr]

expr がエラーとはみなされないことを確認する．確認できなければ，囲い込んでいる直近のEncloseにFailureをスローする．

Confirm[expr,info]

expr がエラーを表す場合は，info を評価し，スローするFailureにその結果を入れる．

Confirm[expr,info,tag]

スローするすべてのエラーに指定のタグを使う．

詳細

  • expr は，$Canceledであったり，MissingQまたはFailureQを満たしていたりする場合は，エラーとみなされる．
  • expr は，エラーを表していなければ，そのまま返される．
  • info のデフォルト値はNullである．
  • 通常，expr がエラーを表す場合は，スローされる前にFailureで包み込まれる．ただし，expr が"ConfirmationFailed"のタグが付いたFailureで，info が与えられない場合，Confirmは expr を再度Failureで包み込まずにスローする．

例題

すべて開く すべて閉じる

例  (2)

式にエラー表示がないことを確認し，あった場合には評価を中止する：

Wolfram Language code: Enclose[f[Confirm[2]]]
Wolfram Language code: Enclose[f[Confirm[$Failed]]]

引数のエラーを伝播する関数を作成する：

Wolfram Language code: addtwo[x_] := Enclose[Confirm[x] + 2]
Wolfram Language code: addtwo[4]
Wolfram Language code: addtwo[$Failed]

スコープ  (3)

Confirmはエラーをスローするとき，評価を中止し，一致するEncloseを返す：

Wolfram Language code: Enclose[Echo["before"];Confirm[Missing[]];Echo["after"]]

囲み関数によってキャッチされるようにConfirmをタグ付きでコールする関数を作成する：

Wolfram Language code: f[x_] := g[3 + Confirm[x, Null, "fooTag"]]
Wolfram Language code: h[y_] := Enclose[f[y], Identity, "fooTag"]
Wolfram Language code: h[2]
Wolfram Language code: h[$Failed]

エラーは別の確認関数へのコールから来たものでなければ，スローされる前にFailureで包み込まれる：

Wolfram Language code: Enclose[Confirm[Missing[]]]
Wolfram Language code: Enclose[Confirm[%]]

この動作は info が与えられたときには無効になる：

Wolfram Language code: Enclose[Confirm[%, "foo"]]

アプリケーション  (1)

確認が失敗したときにメッセージを表示する：

Wolfram Language code: mountainHeight::nam = "`` is not a mountain.";
Wolfram Language code: mountainHeight[x_] := Enclose[ Confirm[Interpreter["Mountain"][x], Message[mountainHeight::nam, x]]["Elevation"], $Failed&]
Wolfram Language code: mountainHeight["everest"]
Wolfram Language code: mountainHeight[π]

考えられる問題  (1)

Confirmはタグを与えられるか，語彙的なEnclose内に置かれなければならない：

Wolfram Language code: Confirm[3]
Wolfram Research (2020), Confirm, Wolfram言語関数， https://reference.wolfram.com/language/ref/Confirm.html.

テキスト

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

CMS

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

APA

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

BibTeX

@misc{reference.wolfram_2026_confirm, author="Wolfram Research", title="{Confirm}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/Confirm.html}", note=[Accessed: 17-August-2026]}

BibLaTeX

@online{reference.wolfram_2026_confirm, organization={Wolfram Research}, title={Confirm}, year={2020}, url={https://reference.wolfram.com/language/ref/Confirm.html}, note=[Accessed: 17-August-2026]}