为什么这张地图会导致我的 REPL 冻结？

Question

在this very useful answer，有人建议我可以替换这段代码：

(defun describe-paths (location edges)
  (apply (function append) (mapcar #'describe-path
               (cdr (assoc location edges)))))

有了这个：

(defun describe-paths-mapcan (location edges)
  (mapcan #'describe-path
               (cdr (assoc location edges))))

我当然从概念上理解为什么这应该起作用，但事实并非如此；第二个变体冻结了我的 REPL 并且 CL 提示永远不会返回。我必须重新启动 SLIME。所以我looked it up，我想知道mapcan 不使用list，而是使用nconc，是否是原因？因此这些实际上不是功能相同的代码块？

为了好奇，我通过这个：

(describe-paths-mapcan 'living-room *edges*)

*edges* 在哪里：

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

还有：

(defun describe-path (edge)
  `(there is a ,(caddr edge) going ,(cadr edge) from here.))

Answer 1

我认为这与describe-edges 有关。定义为：

(defun describe-path (edge)
  `(there is a ,(caddr edge) going ,(cadr edge) from here.))

那里的准引用我们可以macroexpand.. 你得到：

(macroexpand '`(there is a ,(caddr edge) going ,(cadr edge) from here.)) ; ==>
(CONS 'THERE
 (CONS 'IS
  (CONS 'A
   (CONS (CADDR EDGE) (CONS 'GOING (CONS (CADR EDGE) '(FROM HERE.)))))))

根据documentation for mapcan，连接是破坏性的。查看从describe-path 返回的最后一个元素将与它返回的下一个元素共享结构，因此nconc 将形成无限循环。

如果您要将 describe-edges 更改为以下内容，它将起作用：

(defun describe-path (edge)
  (list 'there 'is 'a (caddr edge) 'going (cadr edge) 'from 'here.))