handler-case

(handler-case expression (type ([var]) body...)... [(:no-error ([var]) body...)])

expression を評価し、その間にエラーが通知されたら、通知されたコンディションに type がマッチする最初の節に制御を移します。var(省略可)にはコンディションオブジェクトが束縛され、節本体の値がフォーム全体の値になります。どの節もマッチしなければエラーは外側へ伝播します(外側の handler-case が捕捉できます)。節の型には任意の typecase 指定子が使えます。define-condition で定義したコンディションクラスと組み込み階層(condition > serious-condition > error、warning)を含みます。コンディションオブジェクトなしで通知されたエラーは、その原因が名指すクラスとして捕捉され、メッセージはコンディションの format-control スロットに、それをそのまま出力する制御文字列として(~ をすべて二重にして)入ります: 素の (error "...") は simple-error ですが、組み込み内部の失敗はそれ自身の型を持ちます — 不正な car、引数型の誤り、範囲外の添字は type-error、ゼロ除数は division-by-zero、未定義関数の呼び出しは undefined-function、未束縛変数の読み出しは unbound-variable です(wasm-GC バックエンドで到達できるのは未定義関数のケース、引数型の誤りのケース、ゼロ除数のケース、symbol-value による未束縛の名前の読み出し、値なしで宣言したスペシャル変数の参照、最初の代入より前のグローバル変数の参照のケースです。1 つ目はそのクラスを名指すプログラムでは関数名を持つ undefined-function として、それ以外では simple-error として、2 つ目はそこでも type-error として、3 つ目もそこで division-by-zero として、4 つ目もそこで変数名を持つ unbound-variable として捕捉されます — 下記を参照)。そしてキーワード引数の並びが不正な呼び出し — その演算子が受け付けないキーワード、値のないキーワード、キーワード位置の非キーワード — はすべてのバックエンドで program-error です(:allow-other-keys t が余分なキーを許す場合を除きます。コンパイルバックエンドではその呼び出しが失敗すると分かっているので、コンパイル時に警告も出ます)。整数でない文字列に対する parse-integer はすべてのバックエンドで parse-error です。:no-error 節は正常終了時に(主)値を var に束縛して、ハンドラの外で実行されます。非局所脱出(return/return-from)は捕捉されずに通過し、expression 内の unwind-protect はハンドラより先に cleanup を実行します。

handler-case は --no-gc(コンパイルエラー)を除くすべてのバックエンドでサポートされます。wasm-GC バックエンド(Preview 1 と --component、wasmtime serve を含む)では WebAssembly の exception-handling プロポーザルを通じてコンパイルされます。捕捉フォームを使わないプログラムは従来とバイト単位で同一であり、コマンドラインも変わりません。相違点: WASM バックエンドが捕捉できるのはシグナルされたコンディションのみです — ランタイムトラップはそこでは捕捉不能のままです。算術・比較演算子、car/cdr、配列や nthcdr の添字、numerator/denominator、random、complex に誤った型の引数が渡った場合((+ 1 nil)、(< 1 "x")、(car 5)、(aref v nil))はすべてのバックエンドでシグナルされて捕捉でき、メッセージも同一で、演算子とその演算子が要求する型を示します((+ 1 nil) なら +: The value NIL is not of type NUMBER、(car 5) なら CAR: The value 5 is not of type LIST)。type-error-datum と type-error-expected-type に答える type-error として捕捉されます。次元の範囲外の配列添字も同じです: (aref (vector 1 2 3) 5) はどこでも AREF: The value 5 is not of type (INTEGER 0 (3)) と報告され、期待型はリスト (INTEGER 0 (3)) です。シーケンスの範囲外を指す subseq の範囲も同じです: (subseq "abc" 2 1) はどこでも SUBSEQ: invalid bounds 2, 1 for string of length 3 と報告され、datum は範囲外の最初の境界 (1)、期待型はその範囲 (INTEGER 2 3) です。シーケンス演算子・配列アクセサ・ハッシュテーブルアクセサに種類の違う値を渡した場合も同じです: (find 1 5) は FIND: The value 5 is not of type SEQUENCE、(aref 5 0) は AREF: The value 5 is not of type ARRAY、(gethash 1 5) は GETHASH: The value 5 is not of type HASH-TABLE と報告されます。正確なゼロによる除算も同じです — /、2 引数の floor/ceiling/truncate/round、mod、rem のいずれでも、整数の大きさによらず、分数に対しても: (/ 1 0) と (mod 7 0) はどこでも Division by zero と報告され、division-by-zero(arithmetic-error の一種)として捕捉されます。丸め系の関数と mod/rem は、有限の浮動小数点数を正確なゼロまたは浮動小数点のゼロで割る場合((floor 7.5 0.0)、(mod 7.5 0))も同じく通知します。浮動小数点数の被演算数を含む / と expt は IEEE のままです((/ 1.5 0) は無限大)。結果を構築できない左 ash も同じです: (ash 1 (expt 2 70)) はどこでも ASH: shift count too large: 1180591620717411303424 と報告され、simple-error として捕捉されます。ハンドラはスレッド単位なので、rontolisp:http-handler の並行リクエスト同士は干渉しません。巻き戻しなしでシグナル点でハンドラを実行したい場合 — 例えば restart-case のリスタートを起動する場合 — は handler-bind を使います。

型付きコンディションはクラス階層でディスパッチされ、最初にマッチした節が勝ちます:

組み込みが起こすエラーはそのクラスでディスパッチされます — テストフレームワークの (signals form 'type-error) が主張しているのはこれです。wasm-GC バックエンドではこの失敗はトラップになるため(上記の相違点を参照)、捕捉できるのはインタプリタと JVM です:

不正な呼び出しはどこでも同じメッセージを持つ program-error になります — テストスイートの (signals-error (remove 'a nil :bogus t) program-error) という形です: