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

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

(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. Почему это происходит?

Ответы

Ответ 1

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

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

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

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

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

изменить: Это может быть полезно, особенно в конце. Успешно Lisp

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

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

Ответ 2

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) по постоянным данным.

Ответ 3

подобно сообщению выше, компилятор выделяет 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)

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

remeber для использования fill (например, bzero в c).