Function UPGRADED-ARRAY-ELEMENT-TYPE
upgraded-array-element-type typespec &optional environment => upgraded-typespec
typespec - 型指定子
environment - 環境オブジェクト。 デフォルトはnilであり、 nullのレキシカルな環境と現在のグローバル環境を示します。
upgraded-typespec - 型指定子
typespecで指定された型の要素を格納するような能力のある もっとも特定化された配列の表現の要素の型を返却します。
typespecはupgraded-typespecのサブタイプであり、 可能であれば同等の型です。
もしtypespecがbitのとき、返却値はbitと同等の型です。 もしtypespecがbase-charのとき、返却値はbase-charと同等の型です。 もしtypespecがcharacterのとき、 返却値はcharacterと同等の型です。
upgraded-array-element-typeの目的は、 実装がそのアップグレードをどのようなものにするか明らかにすることです。
environmentはtypespecに含まれる どんな派生された型指定子も展開するときに使用されます。
なし。
なし。
なし。
なし。
array-element-type, make-array
ストレージの確保の結果と、オプションのenvironment引数の正しい扱いを除けば、 upgraded-array-element-typeは次のように定義できます。
(defun upgraded-array-element-type (type &optional environment)
(array-element-type (make-array 0 :element-type type)))