Common Lisp 排序函数从原始列表中删除一个元素

我正在使用 SBCL，当我使用 sort 函数时，

CL-USER> (defparameter y '(5 7 2 9 4 6))
Y
CL-USER> y
(5 7 2 9 4 6)
CL-USER> (sort y #'>)
(9 7 6 5 4 2)
CL-USER> y
(7 6 5 4 2)

最大的元素（在本例中为 9）从原始列表中删除。

想知道发生了什么？

sort，根据manual，

根据谓词函数确定的顺序对序列进行破坏性排序。

换句话说，它可以修改它的参数，你应该得到作为排序操作结果的返回值。

CL-USER> (defvar y (list 5 7 2 9 4 6))
Y
CL-USER> (setf y (sort y #'>))
(9 7 6 5 4 2)
CL-USER> y
(9 7 6 5 4 2)

请注意，由于它可以修改其参数，因此如果我们想避免此类修改，应使用 copy-list 调用它：

CL-USER> (defparameter y '(5 7 2 9 4 6))
Y
CL-USER> (sort (copy-list y) #'<)
(2 4 5 6 7 9)
CL-USER> y
(5 7 2 9 4 6)

最后，请注意修改文字值（如 '(5 7 2 9 4 6)）会产生未定义的行为，应避免。

(defvar *y* '(1 2 3))

所以 *y* 指向 (1 2 3)。像这样。

 *y*--->[*|*]--->[*|*]--->[*|*]---> NIL
          |        |        |
          v        v        v
          1        2        3

现在，如果您评估 (sort *y* #'>)，那么 *y* 将首先评估，并将内容传递给 sort。不是变量，是内容！在函数 sort 中，没有对 *y* 的引用可用。 sort 得到的是对第一个 cons 单元格的引用。

现在，当 sort 将 3 移到前面时，它可以通过将一个新的 cons 单元格放在前面来实现（这是实现排序的一种方法）。但是 sort 永远不能更新 *y* 以引用不同的对象，因为它没有对 *y* 本身的引用，而是对 (1 2 3) 的第一个 cons 单元格的引用.

因此，sort 返回一个排序列表，并且应该使用它作为结果，而不是使用指向原始参数的引用。原始参数列表可能已更改：

sort 也可能具有破坏性。

注意：Common Lisp 中未指定破坏性排序的确切行为

因此实现可能会显示不同的副作用。例如，参见 CLISP 实现：

[1]> (defvar *y* '(1 2 3))
*Y*
[2]> (sort *y* #'>)
(3 2 1)
[3]> *y*
(3 2 1)