谁能向我解释为什么这个 lisp 代码不起作用?

时间:2021-06-06 21:58:23

标签: lisp common-lisp

它应该计算列表的元素,但是说“*** - +:NIL 不是数字”

(setq A '(2 3 4 3 2 6 7 8 4 3 5 6))

(defun big (A) 
   (if (not (null (car A)))   (+ 1 (big (cdr A)))  )   ;if the first element is not null, add 1 to the count of the elements to the rest of the list
)     
 
(print (big A))

2 个答案:

答案 0 :(得分:3)

类型错误

一个 IF 表达式有 2 个或 3 个参数:

(if test something)

(if test something something-else)

当它只有 2 个参数时,就好像第三个参数 something-else 是 NIL。这意味着当 IF 表达式为假时,test 表达式的计算结果为 NIL。在您的情况下,您有 2 个参数:

(defun big (A) 
  (if (not (null (car A)))
      ;; "then" branch (when condition is true)
      (+ 1 (big (cdr A)))
      ;; no "else" branch (when condition is false)
      ))

所以您知道有时调用 big 可能会返回 NIL

但是,你也写:

(+ 1 (big (cdr A)))

这个表达式看起来像 (+ 1 x),其中 x 是对 big 的调用,这意味着在某些情况下 x 的计算结果可能为 NIL。这就是您使用调试器遇到的情况。

如果您确保 if 表达式始终返回一个数字,例如通过在 else 分支中返回零,那么您将不会在尝试向 NIL 添加一个数字时遇到相同的错误.

计算元素

但是,您仍然会遇到其他错误,因为您说函数 big “应该计算列表的元素”。如果你想统计一个列表的元素,你永远不需要查看列表中存储的元素,你只需要知道它们存在即可。

当您编写 (car a) 时,您正在访问列表的第一个元素。然后检查该值是否为非 nil,但使用 NIL 值填充列表是完全有效的:

'(NIL NIL NIL)

该列表有 3 个元素,在计算它们时,它们是 NIL 的事实在任何时候都不重要。

处理列表的递归函数通常需要涵盖两种情况,即列表是否为空。您可以通过调用 (null list)(endp list) 来检查当前列表是否为空(只需执行 (if list ... ...) 也可以,因为 NIL 是唯一的错误值)。

答案 1 :(得分:2)

null car 的测试没有任何用处,cdr 会在 car 之前返回 nil。

你需要一个基本情况,你发现你已经完成并返回一些东西而不是递归。现在你没有那个。查看简单递归函数的示例,了解它们的基本情况。

要计算列表中的元素有两种情况:

列表为空的基本情况(返回0)

列表不为空的递归情况(返回1+传入列表的cdr计数)