了解循环宏扩展

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) 
;; "-------"

我无法看到列表头被修改的位置，我必须假设头部和尾部是eq，因此修改一个正在修改另一个但是有人可以请分解正在发生的事情rplacd行？

Answer 1

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

要在列表末尾添加元素，replacd修改list-tail的cdr以添加新的缺点，并更新list-tail以指向新的缺点。< / p>

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

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