映射！如果列表为空，则无法将元素追加到列表中？

Question

(require racket/mpair)

(define (bld-mlst . args)
  (list->mlist args))

(define mlst-my (bld-mlst))
mlst-my

(mappend! mlst-my (list->mlist (list 100)))
mlst-my

(define mlst-my2 (bld-mlst 2))

(mappend! mlst-my2 (list->mlist (list 100)))
mlst-my2

它会打印出：

(mcons 100 '())
'()
(mcons 2 (mcons 100 '()))
(mcons 2 (mcons 100 '()))

第一行和第三行只是mappend的返回值！注意第二行和第四行！我们可以看到第二行是'()，意思是mappend!不会改变 mlst-my！当 mlst-my2 不为空时，mapend! 工作正常。 问题： 那么如何制作mappend！当 mlist 为空时仍然会对 mlist 产生副作用吗？

Answer 1

你不能！空列表是一个单例、不可变的对象。它没有可以更改的插槽（car 或 cdr）。但您可以这样做：

(set! mlst-my (mappend! mlst-my (list->mlist (list 100))))

也就是说，您set!您的变量为mappend!的返回值。

---

要了解这一切，请了解单链表的工作原理。它由cons 单元（或点对）组成，每个单元都有两个插槽（传统上称为car 和cdr） 。 car 槽指向值，cdr 指向下一个 cons/pair。

因此，像 (1 2 3) 这样的列表具有三个 cons：

#0=(1 . #1#)
#1=(2 . #2#)
#2=(3 . ())

append! 的工作方式是找到最后一个 cons（其 cdr 指向 ())，并将其 cdr 更改为指向您要附加的列表。

但是，如果您的列表为空，则它没有任何缺点，因此无需更改。空列表始终是不可变的。