列上のマッピング (Common Lisp拡張)

9.2 列上のマッピング

これらの関数は、リストまたは配列の要素上に、指定した関数を“マップ” する。それらはすべて、組み込み関数mapcarのテーマの変奏である。

Function: mapcar* function seq &rest more-seqs

この関数は、その引数列に連続する並列の要素の集合上でfunctionを呼び出す。1つのseq引数の場合、mapcarと同等である; n 列の場合、結果のリストの第1要素を生み出すために、それぞれの列の第1要素をn引数として関数を呼び出す。それから第2要素以降にも同様に呼び出す。マップは、最も短い列が尽きたらすぐに止まる。引数列は、リストや文字列、ベクタのいずれの混合でもよい; 戻される列は常にリストである。

Common Lispのmapcarは多重引数を受け入れるが、リスト上でのみ動作する; Emacs Lispのmapcarは1つの列引数を受け入れる。このパッケージのmapcar*は、両方に互換なスーパーセットとして動作する。

Function: map result-type function seq &rest more-seqs: この関数は、ちょうどmapcar*のように、引数列の上にfunction をマップするが、リストではなく型result-typeの列を戻す。 result-typeは下記のシンボルの1つでなければならない: vector、string、list(この場合、効果は mapcar*と同じ)、またはnil(この場合、結果は捨て去られ、 mapはnilを戻す)。

Function: maplist function list &rest more-lists: この関数は、その引数リストのそれぞれの上でfunctionを呼び出して、それらのリストのcdrの上で呼び出して、というように最短のリストが尽きるまで続く。結果はリストのフォーム中に戻される。したがって maplistは、前進するポインタのcarではなく、リストのポインタ自身を通っていく点を除いて、mapcar*と似ている。

Function: mapc function seq &rest more-seqs: この関数はmapcar*と似ているが、functionによって戻される値はリストに集積されるのではなく、無視され捨て去られる点が異なる。 mapcの戻り値は、第1の列seqである。

Function: mapl function list &rest more-lists: この関数はmaplistに似ているが、functionによって戻される値を捨て去る点が異なる。

Function: mapcan function seq &rest more-seqs: この関数はmapcar*に似ているが、単に戻り値 (リストでなければならない)を集積するのではなく、nconcを使って連結する点が異なる。

Function: mapcon function list &rest more-lists: この関数はmaplistに似ているが、nconcを使って戻り値を連結する点が異なる。

Function: some predicate seq &rest more-seqs: この関数は、順にseqの各要素にpredicateを呼び出す; predicateが非nilを戻す場合、someはその値を戻し、そうでなければnilを戻す。いくつかの列引数が与えられる場合、ちょうどmapcar*のように、最短の列が尽きるまで並列に列を通る。左から右への順序で要素が訪問されることや、predicateが非nilを戻すとすぐにマッピングが止まるという事実に依存できる。

Function: every predicate seq &rest more-seqs: この関数は、順に列の各要素にpredicateを呼び出す; predicate がいずれかの要素でnilを戻すとすぐにnilを、述語がすべての要素で真の場合にtを戻す。

Function: notany predicate seq &rest more-seqs: この関数は、順に列の各要素にpredicateを呼び出す; predicate がいずれかの要素で非nilを戻すとすぐにnilを、述語がすべての要素でnilの場合にtを戻す。

Function: notevery predicate seq &rest more-seqs: この関数は、順に列の各要素にpredicateを呼び出す; predicate がいずれかの要素でnilを戻すとすぐに非nilを、述語がすべての要素で真の場合にtを戻す。

Function: reduce function seq &key :from-end :start :end :initial-value :key

この関数は、結合二項演算を使ってseqの要素を結合する。 functionが*でseqがリスト(2 3 4 5)だと仮定する。最初のリストの2つの要素は(* 2 3) = 6と結合される; これは次の要素(* 6 4) = 24と結合され、最後の要素 (* 24 5) = 120と結合される。*関数はたまたま自己縮約的なので、(* 2 3 4 5)はreduceへの明示的な呼び出しと同じ効果を持つことに注意せよ。

:from-endが真の場合、縮約は左結合の代わりに右結合である:

(reduce '- '(1 2 3 4))
     ≡ (- (- (- 1 2) 3) 4) ⇒ -8
(reduce '- '(1 2 3 4) :from-end t)
     ≡ (- 1 (- 2 (- 3 4))) ⇒ -2

:keyが指定された場合、それは順に列の各要素上で呼び出される、 1引数の関数である。

:initial-valueが指定された場合、それは実際に列の先頭に (:from-endの場合は末尾に)加えられる。:key関数は初期値には適用されない。

列が、初期値を含めて正確に1つの要素を持つ場合、その要素は決して functionを呼び出すことなしに戻される。列が空の(そして初期値がない)場合、functionは戻り値を得るために、引数なしで呼び出される。

これらのマッピング演算はすべて、loopマクロで便利に表現することができる。コンパイルされたコードでは、関数呼び出しのないインラインコードとしてループを生成するので、loopの方が速いだろう。