Common Lisp中为何(member nil ...)作为if条件会返回true？

嘿，刚入门Common Lisp遇到这个问题太正常了，我来给你掰扯清楚～

首先你得记住Common Lisp里判断真假的核心规则：

• 只有**nil（空列表()也是nil）**会被视为“假”
• 所有其他值，哪怕是包含nil的列表（比如你这里的(nil)），全都会被视为“真”

接下来看你用到的member函数：它的作用是在列表里查找指定元素，如果找到，就返回从该元素开始的剩余子列表；如果没找到，才返回nil。

在你的代码里：

(member nil '(2 3 nil))

函数找到了nil，所以返回的是从这个nil开始的子列表——也就是(nil)。这个值不是nil（它是一个包含一个元素的列表，和空列表()完全不同），所以当你把它放到if语句里时：

(if (member nil '(2 3 nil)) 'true 'false)

因为(member ...)的返回值是“真”，所以if就执行了第一个分支，返回true。

举个反例你就更清楚了：如果member没找到元素，比如：

(member 4 '(2 3 nil))  ; 返回 nil
(if (member 4 '(2 3 nil)) 'true 'false)  ; 会返回 false

这样是不是就明白啦？

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