`set-car!` из `cdr` также изменяет `car`, почему?

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

После последнего (set-car! (cdr p) 'b) p будет ((b) b), а не ((a) b). Почему?


data-structures mutability linked-list scheme
person Lucas    schedule 01.03.2014    source источник

Ответы (1)


arrow_upward
4
arrow_downward

Ячейка 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
person amon    schedule 01.03.2014