「CARとCDR」の版間の差分

具体的にいうと、要素 <code><var>a</var></code> と <code><var>b</var></code> から構成されるコンスは {{<code|lang=lisp|>(<var>a</var> . <var>b</var>)}}</code> と表され、リスト {{<code|lang=lisp|>(a<var>e₁</var> b<var>e₂</var> c<var>e₃</var>)}}</code> は、各要素がを <code>car</code> 関数であ取り出せるところのコンスセルと、後続のコンスセルを <code>cdrの鎖</code> 関数でつないだ取り出せるところの[[連結リスト|片方向リスト]]、すなわち {{<code|lang=lisp|>(a<var>e₁</var> . (b<var>e₂</var> . (c<var>e₃</var> . (nil))))}}</code> として実現されている。したがって、リストの先頭の要素を得るのは、最後の要素を得るのに比べて効率がよい。

リスト <code><var>L</var></code> の2番目の要素は {{<code|lang=lisp|>(car (cdr <var>L</var>))}}</code>、3番目の要素は {{<code|lang=lisp|>(car (cdr (cdr <var>L</var>)))}}</code> のようにして得られる。Common Lispなどの多くのLISP方言では、簡略化するために、{{code|lang=lisp|(car (cdr L))}} と同じことをする {{code|lang=lisp|(cadr L)}} という関数が定義されている。同様に caddr, cadddr なども存在する。

関数 <code>car</code> と <code>cdr</code> の引数が空リスト <code>nil</code> である場合、Common Lispでは空リストを返す<ref>COMMON LISP 第2版 p.361</ref>。[[Scheme]]ではエラーになる<ref>{{cite book|chapterurl=https://www.scheme.com/tspl4/objects.html#./objects:h3|chapter=Operations on Objects|title=The Scheme Programming Language|author=R. Kent Dybvig|edition=4th|publisher=The MIT Press|year=2009|isbn=978-0-262-51298-5}}</ref>。