Common Lisp中的屬性列表是指全局狀態嗎？

Question

下面的代碼有z作爲一個局部變量，但它的行爲就好像它是一個全球性的：

(defun foo (m) 
    (let ((z '(stuff nil))) 
    (push m (getf z 'stuff)) 
    (print z))) 

(foo 1) 
(foo 2) 
(foo 3) 

我希望可以將輸出爲

(STUFF (1)) 
(STUFF (2)) 
(STUFF (3)) 
T 

但SBCL我運行它時見

(STUFF (1)) 
(STUFF (2 1)) 
(STUFF (3 2 1)) 
T 

爲什麼會出現這種情況？這種行爲是屬性列表特有的嗎？

Answer 1

在foo，z被綁定到文字表達式'(stuff nil)。該功能破壞性地改變z，從而破壞性地改變文字的值。 LISP在這種情況下的行爲如何依賴於實現。一些實現會乖乖地改變字面值（如你的情況）。其他實現將文字放置在只讀內存位置，如果嘗試修改這些文字，將會失敗。

爲了獲得所需的行爲，使用COPY-LIST使字面的副本可以安全地修改：

(defun foo (m) 
    (let ((z (copy-list '(stuff nil)))) 
    (push m (getf z 'stuff)) 
    (print z)))