为什么cons的嵌套应用程序会构造不正确的列表？

Question

缺点嵌套的应用程序构造不正确的列表是什么？ 我正在学习方案，并对cons感到困惑。 我遇到了这个答案：

我知道当cons的第二个参数是列表时，它将第一个参数添加到列表的开头

(cons 1 (list 2 3) 
=>'(1 2 3)

以下对我来说很有意义：

(cons 2 3); 2.3 pair

但是我不明白为什么下面的表达式构造不正确的列表

(cons 1 (cons 2 3))
=> '(1 2 . 3)   ; an improper list

我只是无法想象上面的表达式是怎么回事

你能详细说明一下吗？

Answer 1

您遇到的困惑不是唯一的。 仅仅是符号，仅此而已，直到您学会了解该符号，一切都令人困惑。

首先，让我们从正确的列表开始。 这些列表以空列表结尾：

(cons 1 (cons 2 (cons 3 '())))
; => (1 2 3)

该列表(1 2 3)实际上是(1 2 3 . ())的简写：基本上是一个列表，最后一个弊端指向一个空列表。

现在，如果将()替换为4，我们来看看得到了什么：

(cons 1 (cons 2 (cons 3 4)))
; => (1 2 3 . 4)

注意，它与(1 2 3 . ())并没有什么不同，是吗？

当然，这两个分别是(1 . (2 . (3 . ())))和(1 . (2 . (3 . 4))) (1 . (2 . (3 . ())))更长形式的简写。