Lisp“关联列表”与“关联列表”之间的关系是什么？以及像 Java 的 Map 那样的键值映射？

Question

我正在阅读《Land of Lisp》（顺便说一句，这是我读过的最好的技术书籍之一），并且我遇到了“关联列表”：

(defparameter *edges* 
  '((living-room (garden west door) 
                 (attic upstairs ladder))
    (garden (living-room east door)) 
    (attic (living-room downstairs ladder))))

Is an Association list in Lisp the与Java的Map（键值绑定）相同的概念吗？

对于 living-room 键，怎么可能有多个值？为什么用列表括住值？

'(living-room
   ((garden west door)
    (attic upstairs ladder)))

Answer 1

1. 是的，关联列表是表达键值关联的一种方式。 Common Lisp 为此提供的其他结构是属性列表和哈希表。

2. 该值实际上已包含在列表中。 alist 本质上是一个对的列表，其中每对的汽车是键，cdr 是与该键关联的值。如果您使用 ASSOC 查找键 LIVING-ROOM 并将 CDR 应用于结果：

CL-USER> (cdr (assoc 'living-room *edges*))
((GARDEN WEST DOOR) (ATTIC UPSTAIRS LADDER))

这背后的神奇之处在于，一对汽车是“living-room”且其 cdr 是以下列表的事实：两个元素（花园西门）和（阁楼上的梯子）也可以被视为三元素列表（客厅（花园西门）（阁楼楼上的梯子）），由于列表是成对构造的。

通常，当将列表表示为带引号的对象时，您会看到用点对明确描述的元素，而不是用列表符号进行双关，如下所示：

(defparameter *edges* 
  '((living-room . ((garden west door)
                    (attic upstairs ladder)))
    (garden . ((living-room east door))) 
    (attic . ((living-room downstairs ladder))) ))

Answer 2

ASSOC 返回 cons 单元，因此包括键和值。

原因是这使得破坏性地更新值（或键）变得很容易。

这里的更新隐藏在 SETF 后面：

CL-USER 11 > (defparameter *edges* 
               (copy-tree
                '((living-room (garden west door) 
                               (attic upstairs ladder))
                  (garden (living-room east door)) 
                  (attic (living-room downstairs ladder)))))
*EDGES*

CL-USER 12 > (assoc 'living-room *edges*)
(LIVING-ROOM (GARDEN WEST DOOR) (ATTIC UPSTAIRS LADDER))

CL-USER 13 > (cdr (assoc 'living-room *edges*))
((GARDEN WEST DOOR) (ATTIC UPSTAIRS LADDER))

CL-USER 14 > (setf (cdr (assoc 'living-room *edges*)) '((garden east door)))
((GARDEN EAST DOOR))

CL-USER 15 > (cdr (assoc 'living-room *edges*))
((GARDEN EAST DOOR))

Answer 3

首先，Lisp中的关联列表和Java的Map（键值绑定）是同一个概念吗？

Java的Map是一个接口。 alist 是一种使用（链接）列表来存储键值对的特定方式。我不认为 Java 有任何与 alist 具有相同属性的内置 Map，但编写一个并不难。由于 alist 是一个列表，因此列表的所有功能和属性仍然有效。

对于客厅钥匙，怎么可能有多个值？为什么不将值括在列表中：

alist 不是 Lisp 语法的一部分。它只是一个列表，因此您可以将任何内容放入每个元素的 CDR 中。在本例中，它是另一个 CONS 单元。 ASSOC 只是查看每个元素的 CAR。

(assoc 'living-room *edges*)
(LIVING-ROOM (GARDEN WEST DOOR) (ATTIC UPSTAIRS LADDER))

Answer 4

关联列表在概念上与映射类似，两者都将键与值相关联。

无需将多个值包含在另一个列表中，因为这会改变该值的含义。我对这本书不熟悉，但似乎 *EDGES* 的定义方式，作者希望

(cdr (assoc 'Foobar *edges*))

成为您可以从 Foobar 获取的位置的列表。根据定义，如果存在单个或多个值，则情况如此。

如果当有多个值时，您将这些值嵌套在另一个列表中，那么当您想要使用它们时，只需从该列表中选择它们即可。它不会给你任何东西，并且会使其与单值情况不同。