编写列表匹配查找函数遇异常：调用(f1 '(2) '(1 2 3))返回nil

你的函数存在两处核心问题，导致(f1 '(2) '(1 2 3))返回nil：

1. Cond分支结构错误 #

你错误地将默认分支嵌套进了第二个判断分支里，导致递归逻辑无法正常执行。原代码中：

(cond 
  ((null y) x)
  ((equalp x (car y))
  (t (f1 x (cdr y)))))

这里的(t (f1 x (cdr y)))被当作第二个分支的执行表达式，而非独立的默认分支。当(equalp x (car y))为假时，cond没有匹配的后续分支，直接返回nil，不会继续递归遍历y的剩余元素。

2. 匹配逻辑与返回值错误 #

• 当y遍历完毕（为空），应该返回nil表示未找到匹配，而非返回x；
• 找到匹配项时，需要明确返回t，而不是继续递归；
• 额外逻辑问题：你传入的x是列表'(2)，但y中的元素是原子2，equalp不会认为这两者相等——列表'(2)和原子2是不同类型的对象，所以即使结构正确，原调用也无法匹配成功。

修复后的函数 #

如果你想检查原子x是否存在于y中，修复代码如下：

(defun f1 (x y)
  (cond 
    ((null y) nil)          ; 遍历完未找到，返回nil
    ((equalp x (car y)) t)  ; 找到匹配，返回t
    (t (f1 x (cdr y)))))    ; 未找到，递归遍历剩余元素

此时调用(f1 2 '(1 2 3))会返回t。

如果你确实需要检查单元素列表x是否和y中的原子元素匹配，可以修改判断逻辑：

(defun f1 (x y)
  (cond 
    ((null y) nil)
    ((equalp (car x) (car y)) t)  ; 比较x的第一个元素和y的当前元素
    (t (f1 x (cdr y)))))

这时候调用(f1 '(2) '(1 2 3))会返回t。

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