Lisp - 替换列表中

Question

我尝试将列表中的某个元素E替换为所有主列表级别的另一个列表K.

(defun replaceList(l e k)
  (cond
    ((null l) nil)
    ((equal e (car l)) (cons k (replaceList (cdr l) e k)))
    ((listp (car l))
     ((equal e (car (car l))) (cons k (replaceList (cdr (car l)) e k))))
    (t (cons (car l) (replaceList (cdr l) e k)))))

示例：

(replaceList '(3 1 2 (6 1) 7 (5 (5 (3 1))) 9) '1 '(99 99))
--> (3 (99 99) 2 (6 (99 99)) 7 (5 (5 (3 (99 99) ) ) ) 9)

我得到一些lambda表达式作为错误消息。

另外，我试过而不是listp(car l)＆＃34;阻止＆＃34; ： ((listp (car l)) (cons k (replaceList (cdr (car l)) e k)))。 我得到一些奇怪的东西： (2 1 3 ( 6 1 7) 7 1 2 ) - ＆gt; (2 (99 99) 3 (99 99) (99 99) 7)

Answer 1

错误

你的＆＃34; lambda表达消息＆＃34;是由于equal子句中listp周围有一组额外的parens。请记住，Lisp parentheses are meaningful。

使用标准库！

ANSI Common Lisp subst可以满足您的需求：

(subst '(99 99) 1 '(3 1 2 (6 1) 7 (5 (5 (3 1))) 9) :test #'equal)
==> (3 (99 99) 2 (6 (99 99)) 7 (5 (5 (3 (99 99)))) 9)

您的算法

由于您在树上操作，而不是列表（您说＆＃34; 所有 主要列表级别＆＃34;），您应该同等对待car和cdr：

(defun my-subst (new old tree &key (test #'eql))
  (cond ((funcall test old tree)
         new)
        ((atom tree)
         tree)
        (t
         (cons (my-subst new old (car tree) :test test)
               (my-subst new old (cdr tree) :test test)))))
(my-subst '(99 99) 1 '(3 1 2 (6 1) 7 (5 (5 (3 1))) 9) :test #'equal)
==> (3 (99 99) 2 (6 (99 99)) 7 (5 (5 (3 (99 99)))) 9)

或者，简化（没有&key和 funcall）：

(defun my-subst (new old tree)
  (cond ((equal old tree)
         new)
        ((atom tree)
         tree)
        (t
         (cons (my-subst new old (car tree))
               (my-subst new old (cdr tree))))))