MATHEMATICA 組込みシンボル

Throw

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

Throw

Catch

だけによりキャッチできる．form は tag にマッチしたパターンである．

詳細

ThrowおよびCatchを使うことでNest，Fold，FixedPoint，そしてScan等の関数から退避することが可能になる．

tag にはどのような式でも指定できる．

Throwにおける tag は，Catchの form と比較されるときに毎回再評価を受ける．

ThrowをキャッチするためのCatchが何も指定されていないとき，エラーになり，Throwは未評価のまま返される．

例題

すべて閉じる

例 (3)

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

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

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

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

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

In[1]:=

Out[1]=

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

In[1]:=

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

In[2]:=

Out[2]=

In[3]:=

Out[3]=

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

In[1]:=

Out[1]=

スコープ (4)

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

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

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

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

一般化と拡張 (3)

タグ

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

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

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

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

アプリケーション (3)

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

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

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

特性と関係 (1)

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

考えられる問題 (2)

ThrowにはCatchが必要である：

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