Điều gì đang xảy ra với mã Lisp chung này?

Question

Tôi đã viết các bit mã sau đây để mô phỏng lăn sáu mặt chết một số lần và đếm bao nhiêu lần mỗi bên hạ cánh lên:

(defun dice (num) 
    (let ((myList '(0 0 0 0 0 0))) 
    (progn (format t "~a" myList) 
      (loop for i from 1 to num do 
       (let ((myRand (random 6))) 
        (setf (nth myRand myList) (+ 1 (nth myRand myList))))) 
      (format t "~a" myList)))) 

Chức năng hoạt động tuyệt vời lần đầu tiên tôi gọi nó là , nhưng trên các cuộc gọi tiếp theo, biến myList bắt đầu với giá trị mà nó có vào cuối cuộc gọi cuối cùng, thay vì được khởi tạo trở lại tất cả các số 0 như tôi nghĩ sẽ xảy ra với câu lệnh để cho câu hỏi. Lý do tại sao điều này xảy ra?

Answer 1

Đây là kết quả của việc sử dụng một danh sách liên tục trong initializer:

(let ((myList '(0 0 0 0 0 0))) 

Change lót để:

(let ((myList (list 0 0 0 0 0 0))) 

và nó sẽ cư xử như bạn mong đợi. Dòng đầu tiên chỉ dẫn đến phân bổ một lần (vì đó là danh sách không đổi), nhưng bằng cách gọi list bạn buộc phân bổ xảy ra mỗi khi hàm được nhập.

chỉnh sửa: Điều này có thể hữu ích, đặc biệt là khi kết thúc. Successful Lisp

Câu trả lời cho câu hỏi this cũng có thể hữu ích.

Điều này sử dụng loop từ khóa collecting để thu thập kết quả của mỗi lần lặp vào danh sách và trả về danh sách dưới dạng giá trị của loop.

Answer 2

SBCL cho bạn biết những gì là sai:

* (defun dice (num) 
    (let ((myList '(0 0 0 0 0 0))) 
    (progn (format t "~a" myList) 
      (loop for i from 1 to num do 
       (let ((myRand (random 6))) 
        (setf (nth myRand myList) (+ 1 (nth myRand myList))))) 
      (format t "~a" myList)))) 
; in: DEFUN DICE 
;  (SETF (NTH MYRAND MYLIST) (+ 1 (NTH MYRAND MYLIST))) 
; ==> 
; (SB-KERNEL:%SETNTH MYRAND MYLIST (+ 1 (NTH MYRAND MYLIST))) 
; 
; caught WARNING: 
; Destructive function SB-KERNEL:%SETNTH called on constant data. 
; See also: 
;  The ANSI Standard, Special Operator QUOTE 
;  The ANSI Standard, Section 3.2.2.3 
; 
; compilation unit finished 
; caught 1 WARNING condition 

DICE 

Vì vậy, trong bản chất: Đừng gọi chức năng phá hoại (ở đây setf) trên dữ liệu liên tục.

Answer 3

như bài đăng ở trên, trình biên dịch phân bổ 0 là không gian cố định. Tôi đã từng biết một số thủ thuật cho điều này, người ta sẽ được làm cho nó một vĩ mô như:

`',(list 0 0 0 0 0) 
=> 
?? (I forget and don't have the other machine on to check) 

hoặc bọc trong một (eval-when (compile)) ...)

cũng

(list 0 0 0 0 0) 
=> 
    #.(list 0 0 0 0) 

Tôi không biết nếu vẫn còn đây công trình (hoặc đã từng làm việc). Ngoài ra, một số macro macro hoặc macro biên dịch có thể giúp giữ nguyên kích thước alloaction nhưng biến số . Đừng nhớ đến đỉnh đầu của tôi nữa.

nhớ để sử dụng điền (như bzero trong c).