将元素添加到列表(关联列表)的头部非常简单：

> (cons '(ding . 53) '((foo . 42) (bar . 27)))
((ding . 53) (foo . 42) (bar . 27))

但是，添加到列表的尾部会有些棘手。经过一些试验，我产生了这个：

> (define (alist-append alist pair) `(,@alist ,pair))
> (alist-append '((foo . 42) (bar . 27)) '(ding . 53))
'((foo . 42) (bar . 27) (ding . 53))

但是，在我看来，这不是惯用的解决方案。那么这通常是如何在计划中完成的？或者实际上是这样吗？

解决方案

我们无需追加到列表。我们会进入一个列表。

从逻辑上讲，一个列表是一组关联。我们不必关心集合中元素的顺序。我们只关心特定元素的存在或者不存在。对于a列表，我们所关心的只是给定标签(例如，一对其CAR为指定值的标签)是否存在关联，以及在给定关联的情况下，关联值(即实施中，该对的CDR)。

为此，Common Lisp定义了一个称为ACONS的函数，其中

(acons key value alist)

等效于：

(cons (cons key value) alist)

这有力地表明，简单地屈服于一个列表是惯用的。请注意，这意味着两件事：

• 由于搜索通常是从头到尾执行的，因此最近添加的关联优先于较旧的关联。这可以用于词汇和动态环境的幼稚实现。
• 约束在列表上的是O(1)，添加通常是O(n)，其中n是列表的长度，因此习惯用法最适合于性能，并且在样式上更可取。