了解循环宏扩展

Question

我扩展了下面的宏，看看它是如何工作的，发现自己有点困惑。

(loop for i below 4 collect i)

扩展为（为了便于阅读，我已经对其进行了一些清理）

(block nil
  (let ((i 0))
    (declare (type (and number real) i))
    (let* ((list-head (list nil))
           (list-tail list-head))
      (tagbody
       sb-loop::next-loop
         (when (>= i 4) (go sb-loop::end-loop))
         (rplacd list-tail (setq list-tail (list i)))
         (setq i (1+ i))

         (print "-------") ;; added so I could see the lists grow
         (print list-head)
         (print list-tail)
         (print "-------")

         (go sb-loop::next-loop)
       sb-loop::end-loop
         (return-from nil (cdr list-head))))))

..这是运行上面的输出..

;; "-------" 
;; (NIL 0) 
;; (0) 
;; "-------" 
;; "-------" 
;; (NIL 0 1) 
;; (1) 
;; "-------" 
;; "-------" 
;; (NIL 0 1 2) 
;; (2) 
;; "-------" 
;; "-------" 
;; (NIL 0 1 2 3) 
;; (3) 
;; "-------"

我只是看不到 list-head 的修改位置，我必须假设 head 和 tail 是 eq ，因此修改一个正在修改另一个，但有人可以分解rplacd 行上发生的事情?

Answer 1

list-head 和 list-tail 最初是 same（在 eq 意义上）。 list-head 是一个缺点，其中 cdr 是正在收集的列表。 list-tail 指向列表中的最后一个缺点（最初除外，见下文）。

要在列表末尾添加一个元素，replacd 修改 list-tail 的 cdr 以添加新的 cons，并更新 list-tail 以指向新的 cons。

当循环终止时，结果是list-head的cdr。

为什么这个复杂的业务带有额外的缺点？因为当list-tail 始终是指向列表最后一个缺点的指针时，列表附加算法变得更容易。但一开始，空列表没有任何缺点。所以诀窍是让列表变得更长。