Question

我对这个例子的结果感到有点困惑：

(define mk-q
  (lambda ()
    (let ([l '(x)])
      (cons l l))))


(define q (mk-q))

q
=> ((x) x)

(set-car! (cdr q) 'y)
=> ((y) y)

我想知道为什么两个x原子都被set-car!程序取代了（我对结果的第一个猜测是((x) y)）？

例如：

(define mk-q2
  (lambda ()
    (let ([l '(x)])
      (cons l (cons l l)))))

(define q2 (mk-q2))
(set-car! (cdr q2) 'y)
=> ((x) y x) which fits my understanding of set-car!

为什么第一个示例中的x都被替换了？

Answer 1

在第一个例子中，你有类似的东西：

(define cell (cons 'x null))
(define q (cons cell cell))

正如您所看到的那样，cons位置只有一个 x单元格car，在结果的两个不同部分共享列表结构。当您执行(set-car! (cdr q) 'y)时，单个单元格中的x会被共享的所有部分中的y替换。记住两个(cons 'x null)单元格实际上是相同的，我们将从此开始：

(cons (cons 'x null) (cons 'x null))
; '((x) x)

到此：

(cons (cons 'y null) (cons 'y null))
; '((y) y)

对于第二个示例，相同的注意事项适用（所有三个(cons 'x null)单元实际上是共享的相同），但是您要替换整个cons单元格，所以基本上我们来自这样：

(cons (cons 'x null) (cons (cons 'x null) (cons 'x null)))
; '((x) (x) x)

到此：

(cons (cons 'x null) (cons 'y (cons 'x null)))
; '((x) y x)

为了证明我的观点，即问题中的两个示例都表明了相同的情况，请执行以下表达式：

(define q2 (mk-q2))
(set-car! (cadr q2) 'y) ; notice the extra `a`
q2
=> '((y) (y) y)

设置的车！并用计划语言

1 个答案: