`cdr`的`set-car！`也会改变`car`，为什么？

Question

(define l '(a))
(define p (cons l l))
(set-car! (cdr p) 'b)

在最后一个 (set-car! (cdr p) 'b), p 将是 ((b) b) 而非 ((a) b). 为什么？

Answer 1

A cons 单元格本质上包含两个 指针 到另外两个对象。你的相关代码大致可以翻译成这个伪C。

struct cons {
    void *car;
    void *cdr;
};

cons *l = &cons{"a", NULL};
cons *p = &cons{l, l};  // no copy takes place, we're handling pointers here
p->cdr->car = "b";  // this changes the "l" object, and nothing else