Special Operator THE
the value-type form => result*
value-type - 型指定子。評価されません。
form - フォーム。評価されます。
result - formを評価した結果の返却値。 これらの返却値はvalue-typeによって指定した型に一致しなければなりません。 詳細は下記を参照。
theはformによって返却された値が value-typeの型であることを指定します。 resultが宣言の型ではないときの結果は未定義です。
型が宣言されている値が実際にその型である限り、 formがvalue-typeで指定されている値とは 異なる数の値を生成することは許されます。 欠落している値は、その型を確認するために nilとして扱われます。
value-typeで宣言された値の数に関係なく、 formが返す値の数は、 the 特殊フォームが返す値の数と同じになります。
(the symbol (car (list (gensym)))) => #:G9876
(the fixnum (+ 5 7)) => 12
(the (values) (truncate 3.2 2)) => 1, 1.2
(the integer (truncate 3.2 2)) => 1, 1.2
(the (values integer) (truncate 3.2 2)) => 1, 1.2
(the (values integer float) (truncate 3.2 2)) => 1, 1.2
(the (values integer float symbol) (truncate 3.2 2)) => 1, 1.2
(the (values integer float symbol t null list)
(truncate 3.2 2)) => 1, 1.2
(let ((i 100))
(declare (fixnum i))
(the fixnum (1+ i))) => 101
(let* ((x (list 'a 'b 'c))
(y 5))
(setf (the fixnum (car x)) y)
x) => (5 B C)なし。
formが生成した返却値が指定したvalue-typeでは なかったときの結果は未定義です。
values型指定子は、多値の型を示すのに使われます。
(the (values integer integer) (floor x y))
(the (values string t)
(gethash the-key the-string-table))setfは、theの型指定子を使用できます。 この場合、宣言は新しい値を指定したフォームへ変換されます。 そのsetfの結果が解析されます。