list - 你如何在 Racket 中创建一个空的可变列表？

Question

对于常规列表，您有很多选择，(list)、null、'() 都可以。但是如何构造一个空的可变 列表呢？ The documentation似乎没有提供任何 nullary 构造函数。

Answer 1

如果您只是想知道什么是可变专有列表的专有终止符，那么它与不可变专有列表相同。评估 '() 给出与评估 (mlist) 相同的答案，因此与不可变列表没有区别。

如果你想改变一个以零元素开始的列表，比如通过在前面添加一个元素来改变一个空列表，你不能这样做。空列表 () 在所有 Scheme 系统中都是不可变的单例。它是空列表的唯一表示。您有两种可能的解决方法:制作一个虚拟 mcons 来表示始终位于第一个元素之前的数据结构的头部，或者只是改变第一个元素的绑定(bind)。根据您将如何处理空结构上的操作，它们的用处会有所不同。