Что происходит с этим кодом Common Lisp? - PullRequest
Новая
       3

Что происходит с этим кодом Common Lisp?

10 голосов
/ 02 сентября 2011

Я написал следующий фрагмент кода для имитации многократного бросания шестигранного кубика и подсчета того, сколько раз каждая сторона приземлилась: 

(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))))

Функция отлично работает при первом ее вызове, но при последующих вызовах переменная myList начинается со значения, которое она имела в конце последнего вызова, а не инициализируется обратно во все нули, как я думал, должно происходить с оператор let . Почему это происходит?

Ответы [ 3 ]

13 голосов
/ 02 сентября 2011

Это результат использования списка констант в инициализаторе: 

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

Измените эту строку на: 

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

и он будет вести себя так, как вы ожидаете. Первая строка приводит к выделению только один раз (так как это постоянный список), но, вызывая list, вы заставляете выделение происходить каждый раз, когда вводится функция.

редактирование: Это может быть полезно, особенно ближе к концу. Успешный Лисп

Ответ на этот вопрос также может быть полезным.

При этом используется ключевое слово loop collecting, которое собирает результаты каждой итерации в список и возвращает список в качестве значения loop.

8 голосов
/ 02 сентября 2011

SBCL говорит вам, что не так: 

* (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

По сути: не вызывайте деструктивные функции (здесь setf) для постоянных данных.

0 голосов
/ 24 декабря 2011

как и в посте выше, компилятор выделяет 0 как постоянное пространство. Раньше я знал некоторые приемы для этого, можно было бы сделать это макрос такой: 

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

или завернутый в (eval-when (compile)) ... )

также 

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

Я не знаю, работает ли это по-прежнему (или когда-либо работало). Есть также некоторые внедрения макросы или макросы компилятора, которые могут помочь сохранить постоянный размер распределения, но данные переменная. Больше не запоминай мою голову.

Запомните использовать заполнение (как bzero в c).

...