Function TYPEP

typep object type-specifier &optional environment => generalized-boolean

引数と戻り値

object - オブジェクト
type-specifier - 型指定子ですが、 valuesと最初の要素がfunctionかvaluesのリストは除きます。
environment - 環境オブジェクト。デフォルトはnilであり、これはnullのレキシカルな環境の現在のグローバルな環境を示します。
generalized-boolean - generalized-boolean

定義

もしobjectがtype-specifierによって指定された型のときはtrueを、それ以外はfalseを返却します。

type-specifierが(satisfies fn)フォームのときは、関数fnをobjectで適用することで返却します。

式(typep object '(array type-specifier))の type-specifierが*ではないときは、 objectがmake-array関数の :element-typeの引数にtype-specifierが指定されて生成された配列であるときにtrueを返却します。 (array *)は要素の型に関係せず全ての配列を意味し、 (array type-specifier)はただmake-array関数の :element-typeの引数にtype-specifierが指定されて生成された配列のみを意味します。似たような解釈として、 (simple-array type-specifier)と(vector type-specifier)にも適用されます。詳しくは15.1.2.1. 配列のアップグレードをご確認ください。

式(typep object '(complex type-specifier)は、 complex関数に type-specifier型の数を与えた返却値による複素数か、加えて同じspecializedの表現の数を持った複素数のときにtrueを返却します。そのような複素数は、実部と虚部の両方で次の式が満たされなければなりません。

(typep realpart 'type-specifier)
(typep imagpart 'type-specifier)

例文

(typep 12 'integer) =>  true
(typep (1+ most-positive-fixnum) 'fixnum) =>  false
(typep nil t) =>  true
(typep nil nil) =>  false
(typep 1 '(mod 2)) =>  true
(typep #c(1 1) '(complex (eql 1))) =>  true

次の例を理解するには12.1.5.3. rational型の複素数の標準的な表現のルールを参照してください。


(typep #c(0 0) '(complex (eql 0))) =>  false

(upgraded-array-element-type 'Ax)

(upgraded-array-element-type 'Ay)

はどちらも同じ型を示しているものとします。このとき、下記のようになることに注意してください。

(typep (make-array 0 :element-type 'Ax) '(array Ax)) =>  true
(typep (make-array 0 :element-type 'Ay) '(array Ay)) =>  true
(typep (make-array 0 :element-type 'Ax) '(array Ay)) =>  true
(typep (make-array 0 :element-type 'Ay) '(array Ax)) =>  true

影響

例外

もしtype-specifierがvaluesか、あるいは最初の要素がfunctionか valuesのリストのときは、型errorのエラーが発生します。

参考

備考

実装は、(typep x (the class y))のような式の場合は、実行時にdeftypeによる展開の実行が必要無いように最適化を行うよう推奨されます。

Function TYPEP

構文

引数と戻り値

定義

例文

影響

例外

参考

備考