设置汽车！，设置 CDR！在球拍中不受约束？

Question

我只是想在racket 中使用set-car! 和set-cdr! 做非常简单的代码，但我得到了错误：expand: unbound identifier in module in: set-car! 和expand: unbound identifier in module in: set-cdr!

它们不是在racket 中定义的吗？有人可以帮忙吗？

Answer 1

你需要导入mutable-pairs-6，像这样：

(require rnrs/mutable-pairs-6)

这些过程被移到不同的模块并重命名为mcons、mcar、mcdr、set-mcar!、set-mcdr!、mlist，以强调它们对可变数据进行操作，而不像它们的不可变对应物.

Answer 2

Óscar López 的回答是正确的，但没有解释为什么正常对是不可变的。

在 Racket（及其前身 PLT Scheme，自第 4 版起）中，cons 单元默认情况下是不可变的。大多数 Scheme 程序从不需要修改 cons 单元格，并且让它们是不可变的可以进行许多优化。 （例如，list? 和 length 都可以是常数时间。）

对于需要可变性的情况，有 mpair（如前所述），更有用的是，还有 box。