WOLFRAM

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

Throw[value]

評価を中止し，この関数に対して適用された最も近くにあるCatchの値として value を返す．

Throw[value,tag]

Catch[expr,form]だけによりキャッチできる．tag は form にマッチする．

Throw[value,tag,f]

適切なCatchが見付からなければ，f[value,tag]をトップレベルの値として返す．

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

Throw

Throw[value]

評価を中止し，この関数に対して適用された最も近くにあるCatchの値として value を返す．

Throw[value,tag]

Catch[expr,form]だけによりキャッチできる．tag は form にマッチする．

Throw[value,tag,f]

適切なCatchが見付からなければ，f[value,tag]をトップレベルの値として返す．

詳細

  • ThrowおよびCatchを使うことでNest，Fold，FixedPoint，そしてScan等の関数から退避することが可能になる．
  • tag にはどのような式でも指定できる．
  • Throw[value,tag]における tag は，Catch[expr,form]の form と比較されるときに毎回再評価を受ける．
  • ThrowをキャッチするためのCatchが何も指定されていないとき，エラーになり，Throwは未評価のまま返される．

例題

すべて開く すべて閉じる

例  (3)

Throwが評価されると直ちに囲み込んでいるCatchに退避する：

Wolfram Language code: Catch[a;b;Throw[c];d;e]

「例外処理を実行する」ことができる関数を定義する：

Wolfram Language code: f[x_] := If[x > 10, Throw[overflow], x!]

Catchの結果はThrowが投げ出した（実行した）ものである：

Wolfram Language code: Catch[f[2] + f[11]]
Wolfram Language code: Catch[f[2] + f[3]]

Throwを使って基準を満たしたときにループから退避する：

Wolfram Language code: Catch[Do[If[i! > 10 ^ 10, Throw[i]], {i, 100}]]

スコープ  (4)

Throwは基本的にどのような関数の内側でも使うことができる：

Wolfram Language code: Catch[If[# < 0, Throw[#]]& /@ {1, 2, 0, -1, 5, 6}]
Wolfram Language code: Catch[{a, Throw[b], c}]
Wolfram Language code: Catch[a ^ 2 + b ^ 2 + c ^ 2 /. b :> Throw[bbb]]

Throwを使って任意の形の式を投げる：

Wolfram Language code: Catch[If[NumericQ[#], Throw[#]]& //@ Integrate[1 / (x ^ 5 - 1), x]]

Throwは最も近くにあってこれを囲み込んでいるCatchによってキャッチされる：

Wolfram Language code: Catch[{Catch[{a, Throw[b], c}], d, e}]

最初のThrowが評価され次第，これを囲み込んでいるCatchに退避する：

Wolfram Language code: Catch[{Throw[a], Throw[b], Throw[c]}]
Wolfram Language code: Catch[Throw /@ {a, b, c}]

一般化と拡張  (3)

タグuが付いたThrowをキャッチする：

Wolfram Language code: Catch[Throw[a, u], u]

内側のCatchがThrowをキャッチする：

Wolfram Language code: Catch[f[Catch[Throw[a, u], u]], v]

外側のCatchがThrowをキャッチする：

Wolfram Language code: Catch[f[Catch[Throw[a, u], v]], u]

タグを局所的にしておく：

Wolfram Language code: Module[{u}, Catch[Throw[a, u], u]]

アプリケーション  (3)

1010より後で最初の素数を求める：

Wolfram Language code: Catch[Do[If[PrimeQ[i], Throw[i]], {i, 10 ^ 10, 10 ^ 10 + 1000}]]

19を法とした1と等価になる17の最初のベキを求める：

Wolfram Language code: Catch[Do[If[Mod[17 ^ i, 19] == 1, Throw[i]], {i, 19}]]

反復が大きくなり過ぎる場合は停止する：

Wolfram Language code: NestList[# ^ 2 + 1&, 2, 6]
Wolfram Language code: Catch[NestList[If[# > 1000, Throw[#], # ^ 2 + 1]&, 2, 6]]

特性と関係  (1)

メッセージが生成された場合はCheckを使って例外を投げる（実行する）：

Wolfram Language code: Catch[2 + Check[1 / (1 + 1 / 0), Throw[error]]]
Wolfram Language code: Catch[2 + Check[1 / (1 + 1 / 2), Throw[error]]]

考えられる問題  (2)

ThrowにはCatchが必要である：

Wolfram Language code: {a, Throw[b], c}

Throwを使うと関数が返すものの構造に影響が出ることがある：

Wolfram Language code: NestList[# ^ 2 + 1&, 1, 7]
Wolfram Language code: Catch[NestList[If[# > 1000, Throw[#], # ^ 2 + 1]&, 1, 7]]
Wolfram Research (1988), Throw, Wolfram言語関数， https://reference.wolfram.com/language/ref/Throw.html （2020年に更新）.

テキスト

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

@online{reference.wolfram_2026_throw, organization={Wolfram Research}, title={Throw}, year={2020}, url={https://reference.wolfram.com/language/ref/Throw.html}, note=[Accessed: 02-November-2026]}