不使用MAPCAR：嵌套列表元素搜索与列表元素替换问题

一、修正你的元素替换函数 #

先看你写的SRC函数，它的目标是把列表中等于A的元素换成T，其余换成NIL，但当前存在行为异常，我来帮你拆解问题并修正：

原代码的问题 #

(defun SRC (A L) 
  (defun _SRC (A L POS) 
    (COND 
      ((NOT (EQUAL (CAR L) NIL)) (_SRC A (CDR L) (APPEND POS (LIST (EQUAL A (CAR L)))))) 
      ((EQUAL (CAR L) NIL) (APPEND POS (LIST (EQUAL A NIL)))) 
      (T POS))) 
  (CDR (_SRC A L (LIST NIL))))

• 内部用defun定义递归函数不规范，Common Lisp更推荐用labels来封装内部递归逻辑，作用域更清晰。
• 递归终止条件错误：当列表L为空时，(CAR L)返回NIL，此时代码会额外添加一个(EQUAL A NIL)的结果，导致最终输出长度比原列表多1。
• 初始化POS为(LIST NIL)再取CDR的做法冗余，直接用空列表初始化即可。

修正后的替换函数 #

(defun replace-with-t-nil (target lst)
  (labels ((%recurse (remaining result)
             (cond
               ;; 递归终止：没有剩余元素，返回构建好的结果
               ((null remaining) result)
               ;; 当前元素等于目标，追加T到结果，继续处理剩余列表
               ((equal (car remaining) target)
                (%recurse (cdr remaining) (append result (list t))))
               ;; 否则追加NIL，继续递归
               (t
                (%recurse (cdr remaining) (append result (list nil)))))))
    ;; 初始调用：处理整个列表，结果初始为空
    (%recurse lst nil)))

测试示例：

(replace-with-t-nil 'x '(a x b x c)) ; 返回 (NIL T NIL T NIL)

二、无MAPCAR的嵌套列表元素搜索 #

如果需求是检查嵌套列表中是否存在指定元素，可以用递归遍历每个元素，遇到子列表就深入搜索：

(defun nested-search (target nested-lst)
  (labels ((%search (lst)
             (cond
               ;; 空列表，未找到目标
               ((null lst) nil)
               ;; 当前元素是子列表，先搜子列表，子列表找到就返回T，否则搜剩余部分
               ((listp (car lst))
                (or (%search (car lst)) (%search (cdr lst))))
               ;; 当前元素是原子，匹配目标就返回T
               ((equal (car lst) target) t)
               ;; 否则继续搜索剩余元素
               (t (%search (cdr lst))))))
    (%search nested-lst)))

测试示例：

(nested-search 'x '(a (b x) c (d (e x)))) ; 返回 T
(nested-search 'y '(a (b x) c)) ; 返回 NIL

如果需求是生成与原嵌套结构一致的列表，匹配元素换T，其余换NIL，可以这样写：

(defun nested-replace-with-t-nil (target nested-lst)
  (labels ((%replace (lst)
             (cond
               ((null lst) nil)
               ;; 递归处理子列表，保持嵌套结构
               ((listp (car lst))
                (cons (%replace (car lst)) (%replace (cdr lst))))
               ;; 匹配目标元素，替换为T
               ((equal (car lst) target)
                (cons t (%replace (cdr lst))))
               ;; 不匹配则替换为NIL
               (t
                (cons nil (%replace (cdr lst)))))))
    (%replace nested-lst)))

测试示例：

(nested-replace-with-t-nil 'x '(a (b x) c (d (e x))))
; 返回 (NIL (NIL T) NIL (NIL (NIL T)))

内容的提问来源于stack exchange，提问作者Subham