如何附加到计划中的列表？

Question

将元素添加到 alist（关联列表）的头部非常简单：

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

不过，附加到 alist 的尾部有点棘手。经过一些实验，我制作了这个：

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

然而，在我看来，这不是惯用的解决方案。那么在方案中通常是如何完成的呢？或者事实上就是这样？

Answer 1

您不会追加到 a-list 中。你的缺点被列入了一流名单。

a-list 在逻辑上是一组关联。您不关心集合中元素的顺序。您所关心的只是特定元素的存在或不存在。在 a-list 的情况下，您所关心的是是否存在给定标签的关联（即，其 CAR 为指定值的一对），以及给定该关联的关联值（即，在此实现，该对的 CDR）。

Answer 2

Common Lisp 定义了一个函数，称为 亚康斯 正是为了这个目的，其中

(acons key value alist)

相当于：

(cons (cons key value) alist)

这强烈表明，简单地说服一个 alist 是惯用的。请注意，这意味着两件事：

1. 由于搜索通常是从前到后执行的，因此最近添加的关联优先于较旧的关联。这可用于词法环境和动态环境的简单实现。
2. 虽然连接到列表的时间复杂度为 O(1)，但追加通常为 O(n)，其中 n 是列表的长度，因此惯用用法最有利于性能并且在风格上也更可取。