Common Lisp：为什么这个函数会导致无限递归？

Question

我正在尝试编写一个类似于 list 的函数（lnn; list-not-nil），它仅附加非 nil 的值。

(list nil 3) --> (NIL 3)
(lnn nil 3) --> (3)

这是我到目前为止的代码。由于某种原因，它会导致我尝试的任何输入无限递归。

(defun lnn (&rest items)
  (lnn-helper nil items))

(defun lnn-helper (so-far items)
   (cond ((null items)
           so-far)
     ((null (car items))
      (lnn-helper so-far (cdr items)))
     (t (lnn-helper (append so-far (list (car items))) (cdr items)))))

有什么想法吗？非常感谢。

Answer 1

(defun lnn-helper (so-far &rest items)
  ...)

使用此参数列表，如果您始终使用两个参数调用 lnn-helper，则 items 将永远不会 nil。删除 &rest 说明符，它就会起作用。

Answer 2

马蒂亚斯的回答应该有帮助。另请注意，这只是一个简单的减少：

(defun lnn (&rest elements)
  (reduce (lambda (elt acc) (if elt (cons elt acc) acc))
          elements
          :from-end t
          :initial-value nil))

或者甚至（效率较低）：

(defun lnn (&rest elements)
  (reduce #'cons (remove nil elements) :from-end t :initial-value nil))

然后：

(defun lnn (&rest elements)
  (remove nil elements))

:)

PS：我知道这可能只是递归的练习，但是 SCNR。