简单 Lisp Case 语句问题 - 与 nil 比较的问题

Question

我正在尝试使用 case 语句来使某些代码更具可读性。它似乎作为一系列 if 语句工作，但由于某种原因，case 语句总是接受与 nil 的比较，即使它不正确。有人可以澄清为什么会出现这种行为吗？

示例：

> (case 'a            
    (nil nil)         
    (otherwise 'b))   
NIL                   
> (case 'a            
    ('a 'b)           
    (otherwise nil))  
B                       

在上面的示例中，第一个实例返回 nil，即使 'a 显然不是 nil。尝试对 if 语句做同样的事情，其行为正如我所期望的：

> (if (eq 'a nil) nil 'b)    
B                            
> (if (eq 'a 'a) 'b nil)     
B                            

我假设 case 语句有一些我不理解的行为。任何帮助将不胜感激。

编辑： 只是为了澄清，我知道 'a 不会被评估。我只是模拟了这个例子来创建一个 case 语句的目标绝对不为零的情况。

我正在使用 xlisp-plus，但我将尝试真正的 clisp 安装，看看它的行为是否有所不同。

编辑（再一次）： 安装了 CLISP 并且运行良好。确实不值得费心去研究 xlisp 为何不同。谢谢大家的健全性检查。

Answer 1

CASE 中的每个关键规范可以是文字列表或单个原子。然而，CLtL 表示原子不能是NIL 因为它是不明确的，它是文字 NIL 还是空列表。使用 NIL 列表代替：

> (case 'a
    ((nil) nil)         
    (otherwise 'b))
B
> (case nil
    ((nil) nil)         
    (otherwise 'b))
NIL

Answer 2

Common Lisp 期望 CASE 测试的项目是一个原子或一个原子列表。测试也是函数EQL。

(case 'a
  (a 'b)    ; EQL a
  (otherwise 'foo))

(case 'a
  ((a b c) 'foo)   ; EQL to one of a, b or c
  (otherwise 'bar))

引用的内容只是偶然发生的。不要使用它：

; don't use this:
(case 'a
  ('a 'foo)    ; <- bad!  , EQL to QUOTE or A
  (otherwise 'bar))

上面与以下相同：

; don't use this:
(case 'a
  ((quote a) 'foo)   ; <- bad! ,  EQL to QUOTE or A
  (otherwise 'bar))

Answer 3

我认为这取决于你的 LISP 版本。
我在 Mac 上安装了 LispWorks，结果如下：

CL-USER 2 : 1 > (case 'a            
    (nil nil)         
    (otherwise 'b))   
B

Answer 4

与 SBCL 相同：

CL-USER> (case 'a
           (nil nil)
           (otherwise 'b))
B

也就是说，'a 是一个符号，因此永远不可能是 nil。

Answer 5

case 表单中的值是隐式的带引号的文字列表，因此： 这

(case 'a
  ((a) 'b)
  (otherwise nil))

就是您想要的。 否则应该可以工作（正如其他人所说）——尝试t代替。

顺便说一句，当您使用 'a 时，阅读器将其读取为 (quote a) 这意味着当值为 quote 时它也会选择它， 例如：

(case 'quote
  ('a 'b)
  (otherwise nil))