工場のフェイルセーフ

Factorのエラーシステムは、3つの要素からできています。エラーを知らせるthrow、エラーを処理するrecover、そして独自のエラーを定義するERROR:です。

throw

throw（kernelにあります）はエラーを発生させます。引数には文字列・数値・タプルなど、どんな値でも渡すことができ、その値が後から確認できるエラーになります。

! DOCTEST: SKIP
"file not found" throw

throwは戻りません。現在のワードの残りの部分はスキップされます。

recover

recover（continuationsにあります）は、Factorのtry/catchです。tryクォーテーションとrecoveryクォーテーションを受け取ります。

recover ( try recovery -- )

tryがthrowせずに終われば、recoveryは無視されます。tryがthrowすると、エラーがスタックに積まれ、recoveryが実行されます。

[ "boom" throw ] [ drop "caught" ] recover .
! => "caught"

[ "ok" ] [ drop "never runs" ] recover .
! => "ok"

kernelのwhenは自然な相棒です。スタックの一番上が真と評価されるときだけ、クォーテーションを実行します。

: check-positive ( n -- )
    0 < [ "negative!" throw ] when ;

ERROR:

ERROR:はタプルクラスと、新しいインスタンスを生成してthrowするワードを定義します。

! DOCTEST: SKIP
ERROR: not-found path ;

"/missing" not-found
! throws T{ not-found { path "/missing" } }

スロットを持たないエラーは、単にERROR: name ;と書くだけです。nameを呼び出すと、空のインスタンスがthrowされます。ERROR:で定義したタプルには、クラスの述語name?が付いており、捕まえたエラーがその型のものかどうかを確かめられます。

スロットの値を取り出す

捕まえたエラーはただのタプルなので、ERROR:の各スロットには、ほかのタプルと同じ、自動生成されたslot>>リーダーが付いています。

! DOCTEST: SKIP
{
    T{ not-found { path "/a" } }
    T{ not-found { path "/b" } }
}
[ path>> ] map .   ! => { "/a" "/b" }