Lisp：为什么以及如何将 '(nil nil) 计算为 true？

Question

(if '(nil nil)
    'print-true
    'print-false)

(if '(nil)
    'print-true
    'print-false)

在上面的代码中，为什么 Lisp 解释器总是将这些形式评估为 true (print-true)。我认为 nil 在 Common Lisp 中代表 false。

我正在使用 GNU CLISP。

Answer 1

nil 为假。其他的都是真的。 '(nil) 是一个只有一个元素的列表，即nil。 '(nil nil) 是一个包含两个元素的列表，即 nil 和 nil。这些表达式本身都不与 nil 相同，因此 if 将其视为 true。

Answer 2

nil 相当于一个空列表。

CL-USER> (if (list ) 'print-true 'print-false) 
; prints PRINT-FALSE 
CL-USER> (if (list nil) 'print-true 'print-false) 
; prints PRINT-TRUE

'(nil) 相当于 (list nil)，它与空列表不同。