列表中最后一个元素指向Scheme的是什么？

Question

当我在Scheme中创建一个列表时，最后一对的cdr指向什么？这是一个'空单词'还是'空单'？ DrScheme不介意(cons 'a empty)和(cons 'a '())。最后，空白词和空白列表有什么区别？

Answer 1

DrScheme不介意你cons -ing，因为cons可以做的不仅仅是建立名单。从参考，

(cons a d) → pair? 
    a : any/c 
    d : any/c

这意味着cons建立配对。这也是完全合法的做

> (cons 1 2) 
(1 . 2) 

这不是一个名单，但仍然可以让你做

> (car (cons 1 2)) 
1 
> (cdr (cons 1 2)) 
2 

但不管怎么说，“空字”和“空列表”是同一个对象，可以通过检查

> (eq? empty '()) 
#t 

Answer 2

最后一对的cdr指向'（），空列表。

Answer 3

如果您评估符号empty，可以找到您所有问题的答案。它被定义为等于'()，空列表，这是最后一个cdr指向的内容。要说服自己，试试这个：

(cdr (list 1 2 3)) 
(cdr (cdr (list 1 2 3))) 
(cdr (cdr (cdr (list 1 2 3))))