Lisp递归函数检查列表中的值不起作用

Question

我正在研究一个递归函数，它接受一个列表和值ex：'b'（a. b），如果找不到则返回nil，如果找到则返回t。我的问题是在行（cond（（eq A（car L））t）中，即使在（cond（（（and（atom L（eq A L）））t）返回之后，它似乎也在检查该条件。我的印象是，如果满足该条件，执行停止，函数返回。有什么方法可以解决这个问题吗？此外，我只能使用原始函数defuncond cons car cdr运算符，-，

;test cases 
(checkInner 'b '(a . b))
(checkInner 'f '(c e f))
(checkInner 'b '(b))

;function 
(defun checkInner(A L)
    (cond ((and (atom L) (eq A L)) t)
    )
    (cond ((or (atom L) (eq A L)) nil)
    )
    (cond ((eq A (car L)) t)
            (t (checkInner A (cdr L))
            )
    )
)

Answer 1

@Barmar您基本上检查了两次L是一个< code>atom，第一次可以写成((atom L)(eq A L))< code >(eq A L)返回一个布尔值，所以您不需要从该子句显式返回< code>T，这与您的第二个子句< code>((atom L) nil)相矛盾。还要注意，这种html" target="_blank">解决方案不适用于嵌套的元素列表(这将是唯一愿意编写自己的递归函数的参数，而不仅仅是使用Lisp函数来测试成员资格，如< code>member、< code>find等。)

(checkInner 'b '(a (c (d (b))))) ; => NIL

以下是一个适用于嵌套列表的递归定义。请注意，您还可以提供相等性测试函数来允许您的X具有不同的类型。

(defun check-inner (x coll &key (test #'eq))
   "Check if X is in the collection. Works on nested lists 
and uses the test keyword argument for equality checking."
   (cond
    ((null coll) nil)
    ((listp (car coll)) (or (check-inner x (car coll) :test test)
                            (check-inner x (cdr coll) :test test)))
    ((atom (car coll)) (or (funcall test x (car coll))
                           (check-inner x (cdr coll) :test test)))
    (t (check-inner x (cdr coll :test test)))))

现在，您正在寻找的东西也可以隐藏在列表中的嵌套图层中：

(check-inner 'b '(a (c (d (b))))) ; => T

检查其他类型也没有问题：

(check-inner "b" '(a (c (d ("b")))) :test #'string=) ; => T

Answer 2

所以我把它修好了，谢谢你的确认，这是我的解决方案

(defun checkInner(A L)
    (cond ((and (atom L) (eq A L)) t)
        (t  (cond ((or (atom L) (eq A L)) nil)
                (t (cond ((eq A (car L)) t)
                        (t (checkInner A (cdr L))
                        )
                    )
                )
            )
        )
    )
)

Answer 3

除非使用显式（从checkInner值返回）表达式，否则函数将返回其最后一个表达式的值。因此，函数返回的唯一值是最后一个cond表达式；前两个测试被忽略。

您需要将所有案例合并到一个 COND 表达式中。

此外，第二个测试不应使用或。如果＜code＞L＜/code＞是一个原子，它将不等于＜code＞L

(defun checkInner(A L)
    (cond ((and (atom L) (eq A L)) t)
          ((atom L) nil)
          ((eq A (car L)) t)
          (t (checkInner A (cdr L)))))