Question

我在开发递归函数时遇到问题，该函数将查看两个列表是否彼此相等，包括查看子列表。到目前为止，我有：

(defun are-equal2 (X Y)
(cond
    ((null X) nil)
    ((and (listp (first X)) (listp (first Y)))
        (are-equal2 (first X) (first Y))
    )
    ((eq (first X) (first Y))
        T                   
    )
)
)

有时似乎有效。例如(are-equal2 '((A) B) '((A) B))返回T，(are-equal2 '((A) B) '(A B))返回nil。但(are-equal2 '(F (A G) B) '(F (T G) B))返回T .....我认为这可能与我的最后一个条件有关。我不知道如何重新工作。

没关系哈哈。做了一些修补等待回复并得到它。做了一堆嵌套的if语句。代码：

(defun are-equal2 (X Y)
    (if (and (listp (first X)) (listp (first Y)))
        (are-equal2 (first X) (first Y))
        (if (and (eq (first X) (first Y)))
            (if (and (endp (rest X)) (endp (rest Y)))
                T
                (are-equal2 (rest X) (rest Y))
            )
            nil
        )
    )

）

Answer 1

我认为你不能在这里使用尾递归版本。

我担心您必须将您的论点视为树，而不是序列。

，例如，

(defun are-equal (x y &key (test #'eql))
  (or (funcall test x y) 
      (and (consp x)
           (consp y)
           (are-equal (car x) (car y))
           (are-equal (cdr x) (cdr y)))))

默认情况下会使用eql对比一下（参考Rules about Test Functions），而不是示例中的eq：

(are-equal '((1) a) '((1) a))
==> T
(are-equal '((1) a) '((1) b))
==> NIL
(are-equal '((1) a) '((2) a))
==> NIL
(are-equal '(("1") a) '(("1") a))
==> NIL

Common Lisp：递归“等于”函数 - 结果不正确

1 个答案: