如果原子收到列表作为参数，对原子和零的原子差异是否有任何差异？

Question

我正在使用SBCL，Emacs和Slime。根据符号计算的书籍：通用LISP 的温和介绍，atom的定义是：

原子谓词返回t，如果其输入是弊端的其他任何内容 单元格。

另一方面：

零谓词如果输入为零，则返回t。它的行为是一样的 作为不是谓词。

使用repl and 仅列出作为参数，我只能想到它们检索相同结果的示例：

CL-USER> (atom (cons 1 nil))
NIL
CL-USER> (null (cons 1 nil))
NIL
CL-USER> (atom (cons 1 (cons 2 nil))) 
NIL
CL-USER> (null (cons 1 (cons 2 nil))) 
NIL
CL-USER> (atom (cons 1 2))
NIL
CL-USER> (null (cons 1 2))
NIL
CL-USER> (atom '())
T
CL-USER> (null '())
T
CL-USER> (null nil) ;; just changing notation from previous
T
CL-USER> (atom nil) ;; just changing notation from previous
T
CL-USER> (atom '(1 . 2)) ;; just changing notation from previous
NIL
CL-USER> (null '(1 . 2)) ;; just changing notation from previous
NIL
CL-USER> (atom '(1 2))  ;; just changing notation from previous
NIL
CL-USER> (null '(1 2))  ;; just changing notation from previous
NIL 
CL-USER> (atom '(1))  ;; just changing notation from previous
NIL
CL-USER> (null '(1))  ;; just changing notation from previous
NIL

基于上面的定义，示例，并考虑到 nonthen-notemply列表是缺点细胞，我得出结论：

如果参数是列表，null和atom do 具有与谓词相同的行为。

此语句有任何反例吗？我想念什么吗？正确吗？

Answer 1

列表是：

• 空列表，（） aka nil，不是cons;
• 或任何对象和列表的缺点。

null仅返回true true nil; atom对于任何不是缺点的对象返回true。

因此，仅限于列表，null和atom仅返回true，仅对nil，是唯一的对象列表，而不是弊端，并且对于列表，等效谓词。