list - 如何附加到方案中的列表？

Question

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

> (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))

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

Answer 1

Common Lisp 定义了一个名为 ACONS 的函数正是为了这个目的，在哪里

(acons key value alist)

相当于:

(cons (cons key value) alist)

这强烈表明简单地对一个列表进行 coning 是惯用的。请注意，这意味着两件事:

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