В чем разница между defvar, defparameter, setf и setq - PullRequest
Новая
       38

В чем разница между defvar, defparameter, setf и setq

38 голосов
/ 19 января 2012

Я нашел Подобный вопрос .

Но я не совсем понимаю это объяснение.

Поэтому я пытаюсь запустить clisp на следующем примере:

  [1]> (defvar a 5)
  A
  [2]> (+ a 1)
  6
  [3]> (defparameter b 5)
  B
  [4]> (+ b 1)
  6
  [5]> (setf c 5)
  5
  [6]> (+ c 1)
  6
  [7]> (setq d 5)
  5
  [8]> (+ d 1)
  6
  [9]> (let ((a 500)) (+ a 1))
  501
  [10]> (let ((b 500)) (+ b 1))
  501
  [11]> (let ((c 500)) (+ c 1))
  501
  [12]> (let ((d 500)) (+ d 1))
  501
  [13]>

То, что я обнаружил, совершенно одинаково.

Я не могу понять, что с ними не так?

Ответы [ 2 ]

63 голосов
/ 19 января 2012

DEFPARAMETER всегда присваивает значение. Итак: 

[1]> (defparameter a 1)
A
[2]> (defparameter a 2)
A
[3]> a
2

пока DEFVAR делает это только один раз, поэтому: 

[4]> (defvar b 1)
B
[5]> (defvar b 2)
B
[6]> b
1

SETF - это макрос, который использует SETQ для внутреннего использования, но имеет больше возможностей. В каком-то смысле это более общий оператор присваивания. Например. с помощью SETF вы можете сделать: 

[19]> (defparameter c (list 1 2 3))
[21]> (setf (car c) 42)                                              
42
[22]> c
(42 2 3)

но вы не можете сделать это с помощью SETQ: 

[23]> (setq (car c) 42)                                              
*** - SETQ: (CAR C) is not a symbol
The following restarts are available:
USE-VALUE      :R1      Input a value to be used instead.
ABORT          :R2      Abort main loop
Break 1 [24]> abort
24 голосов
/ 19 января 2012

И defvar, и defparameter объявят переменную как "переменную с динамической областью действия".Кроме того, defparameter всегда будет устанавливать значение переменной равным значению, которое вы передаете в качестве второго аргумента.Это отличается от defvar, оно будет устанавливать значение переменной, только если оно ранее не было установлено.

Определение переменной с помощью setf или setq в глобальной лексической области не определено,Некоторые реализации создадут переменную с динамической областью действия для вас, некоторые - нет.Вы можете увидеть диагностические сообщения, когда вы делаете это в первый раз.

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

* (defvar *a* 1)

*A*
* (let ((*a* 5)) (defun demo-a () *a*))

DEMO-A
* (let ((b 5)) (defun demo-b () b))

DEMO-B
* (let ((*a* 100)) (demo-a))

100
* (let ((b 100)) (demo-b))

5

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

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

Что касается разницы между setf иsetq, попробуйте всегда использовать setf (я не могу вспомнить ни одного примера, где (setq blah blahblah) работал бы, а (setf blah blahblah) не делал бы то же самое).

...