使用 set 修改列表的一部分？

Question

使用 set! 我希望能够修改本地状态 list 变量 lst，但只是其中的一部分

例如，我想在内部列表中插入值：

((1 2) (4 5))

变成

((1 2 3) (4 5))

我希望能够执行类似 set! 的操作！ (car lst) (append (car lst) 3)

但这似乎只修改了 (car lst) 生成的临时变量。

我能想到的唯一方法是使用新的所需值创建一个新列表，并将 lst 设置为新列表，但这似乎浪费且不必要。有更好的方法吗？

Answer 1

试试这个：

(define lst (list (list 1 2) (list 4 5)))
lst
> ((1 2) (4 5))
(set-cdr! (cdar lst) (list 3))
lst
> ((1 2 3) (4 5))

当修改 cons/lists 时，你应该使用 set-cdr！和定车！

编辑：对于球拍

使用可变列表：

(require racket/mpair)
(define lst (mlist (mlist 1 2) (mlist 4 5)))
lst
> (mcons (mcons 1 (mcons 2 '())) (mcons (mcons 4 (mcons 5 '())) '()))
(set-mcdr! (mcdr (mcar lst)) (list 3))
> (mcons (mcons 1 (mcons 2 #<promise:temp2>)) (mcons (mcons 4 (mcons 5 '())) '()))
lst

Answer 2

根据您使用的方案解释器，您可能需要做更多的工作。例如，在 Racket 中，列表基元默认情况下不是可变的，您必须使用过程的可变版本：

(require scheme/mpair)
(define lst (mlist (mlist 1 2) (mlist 4 5)))
lst
(set-mcdr! (mcdr (mcar lst)) (mlist 3))
lst

Answer 3

在Scheme中创建列表的标准习惯用法是使用cons将元素添加到前面，而不是尝试set-cdr！列表中的最后一个cons单元格。最后，当列表完成后，您可以使用 reverse 以正确的顺序获取元素。这样，列表本身就不需要突变。

因此，如果您尝试逐步创建列表 (1 2 3)：

• 请从空列表、() 和 cons 开始1 到它。这将为您提供 (1)。
• 然后将 cons 2 添加到列表中：(2 1)
• 然后将 cons 3 添加到列表中：(3 2 1)
• 最后，当您构建完列表后，将其反转：(1 2 3)

您可能会问为什么这样“更好”。这是因为访问 set-cdr! 的最后一对是一个 O(n) 操作；对于链表，元素不是随机访问的，而是在被访问的元素位置上是线性的。然而，cons 始终为 O(1)。

reverse 是一个 O(n) 操作，但只要您仅在最后执行此操作（当您准备好以正确的顺序构建列表时），而不是将其全部调用时间，这不会对性能产生不利影响。