concatenate

(concatenate result-type &rest sequences)

シーケンス引数を連結し、result-type の新しいシーケンスを 1 つ返します。サポートする結果型は 3 系統です: 'string('simple-string / 'base-string も同じ)、'list('cons も同じ)、'vector('simple-vector / 'array / 'bit-vector、および '(vector (unsigned-byte 8)) のような複合指定子も同じ)。どの系統もシーケンスの要素を走査するため、引数はリスト・ベクタ・文字列を自由に混在させられます。'string 系も任意の文字シーケンスを受け付け、nil(空リスト)も渡せます。ユーザー定義の deftype 名を result-type に書くと、登録された展開を通じていずれかの系統に解決されます。シーケンスを 1 つも渡さない場合はその型の空シーケンスを返します。結果は常に新しいシーケンスで、どの引数とも構造を共有しません。コンパイル系バックエンドでは result-type をリテラルの引用指定子として書く必要があります(インタプリタは実行時に計算された指定子も受け付けます)。

ベクタ系の result-type が (unsigned-byte 8) / (unsigned-byte 16) / (unsigned-byte 32) の要素型を指定している場合 -- '(vector (unsigned-byte 8))、'(simple-array (unsigned-byte 8) (*)) など -- その要素型の特殊化ベクタを構築します。make-array が作るものと同じ表現なので、array-element-type はその要素型を返し、対応する simple-array 指定子に対する typep も真になります。要素は要素幅にマスクして格納されます。それ以外の要素型では要素型 t の汎用ベクタになります。