Function MERGE
merge result-type sequence-1 sequence-2 predicate &key key => result-sequence
result-type - sequenceの型指定子
sequences-1 - シーケンス
sequences-2 - シーケンス
predicate - 2つの引数をとりgeneralized-booleanを返却する関数の指定子
key - 1つの引数を取る関数の指定子、またはnil
result-sequence - 型result-typeの正常なシーケンス
sequence-1とsequence-2を predicateが決める順にしたがって 破壊的にマージします。 mergeは、keyによる要素の展開とpredicateの実行によって、 2つの要素間の関係を決定します。
predicate関数の最初の引数は、 key関数によって展開された（もしkeyが指定されたのなら）、 sequence-1の要素の部分であり、 二番目の引数は、 key関数によって展開された（もしkeyが指定されたのなら）、 sequence-2の要素の部分です。 predicateは、第一引数が第二引数より（何らかの適切な意味で）、 厳密に小さい場合にのみtrueを返すべきです。 もし最初の引数が二番目の引数が（何らかの適切な意味で）、 以上であるときは、predicateはfalseを返却するべきです。 mergeは、2つの要素xとy (funcall predicate x y)と(funcall predicate y x)が 両方ともfalseであるときに、等しいとみなすと仮定しています。
key関数の引数は、sequenceの要素です。 通常、key関数の返却値は、predicateの引数になります。 もしkeyが与えられないか、あるいはnilが指定されたとき、 sequenceの要素そのものが使用されます。 keyは、各シーケンスの要素に対して、 複数化呼び出される可能性があるので、 副作用は任意の順番で呼び出されるかもしれません。
もしkeyとpredicateが返却すれば、マージ操作も終了します。 2つのシーケンスxとyのマージした結果を、 result-typeの新しいシーケンスzとしたとき、 zの長さは、xとyの長さの合計であり、 zにはxとyの全ての要素が含まれます。 もしx1とx2がxの2つの要素であり、 x内でx1の方がx2より先行しているとき、 z内でもx1の方がx2より先行しており、 yの要素も同様です。 要するに、zはxとyのインターリーブです。
もしxとyがpredicateに従って正しくソートされれているならば、 zもまた正しくソートされています。 xとyがソートされていないのであれば、 zはソートされていませんが、 それでもxとyのインターリーブとなります。
マージ操作は安定性が保証されます。 もし2つかそれ以上の要素がpredicateによって等しい場合、 返却値は、sequence-1のそれらの要素の方が、 sequence-2のそれらの要素よりも優先されます。
sequence-1とsequence-2は 破壊されるかもしれません。
もしresult-typeがlistのサブタイプの場合、 リストが返却されます。
もしresult-typeがvectorのサブタイプの場合、 実装がresult-typeを要素の型として決めることができるのであれば、 その要素の型をアップグレードした結果が返却値の配列の要素の型になります。 しかし実装が要素の型を決定できないか、あるいは*のときは、 返却値の配列の要素の型はtになります。 その他の場合はエラーが発生します。
(setq test1 (list 1 3 4 6 7))
(setq test2 (list 2 5 8))
(merge 'list test1 test2 #'<) => (1 2 3 4 5 6 7 8)
(setq test1 (copy-seq "BOY"))
(setq test2 (copy-seq :nosy"))
(merge 'string test1 test2 #'char-lessp) => "BnOosYy"
(setq test1 (vector ((red . 1) (blue . 4))))
(setq test2 (vector ((yellow . 2) (green . 7))))
(merge 'vector test1 test2 #'< :key #'cdr)
=> #((RED . 1) (YELLOW . 2) (BLUE . 4) (GREEN . 7))
(merge '(vector * 4) '(1 5) '(2 4 6) #'<) should signal an errorなし。
result-typeが、 listのサブタイプでも、 vectorのサブタイプでもないとき、 型type-errorのエラーが発します。
result-typeで指定した要素数と、 sequence-1とsequence-2の合計の長さが違う場合は、 型type-errorのエラーが発します。
sort, stable-sort, 3.2.1. コンパイラーの用語, 3.6. 横断の規則と副作用
なし。