common-lisp
Léxico vs variables especiales
Buscar..
Las variables especiales globales son especiales en todas partes
Por lo tanto estas variables utilizarán enlace dinámico.
(defparameter count 0)
;; All uses of count will refer to this one
(defun handle-number (number)
(incf count)
(format t "~&~d~%" number))
(dotimes (count 4)
;; count is shadowed, but still special
(handle-number count))
(format t "~&Calls: ~d~%" count)
==>
0
2
Calls: 0
Asigne nombres especiales a las variables especiales para evitar este problema:
(defparameter *count* 0)
(defun handle-number (number)
(incf *count*)
(format t "~&~d~%" number))
(dotimes (count 4)
(handle-number count))
(format t "~&Calls: ~d~%" *count*)
==>
0
1
2
3
Calls: 4
Nota 1: no es posible hacer una variable global no especial en un determinado ámbito. No hay declaración para hacer una variable léxica .
Nota 2: es posible declarar una variable especial en un contexto local utilizando la declaración special
. Si no hay una declaración especial global para esa variable, la declaración es solo local y puede ser sombreada.
(defun bar ()
(declare (special a))
a) ; value of A is looked up from the dynamic binding
(defun foo ()
(let ((a 42)) ; <- this variable A is special and
; dynamically bound
(declare (special a))
(list (bar)
(let ((a 0)) ; <- this variable A is lexical
(bar)))))
> (foo)
(42 42)
Modified text is an extract of the original Stack Overflow Documentation
Licenciado bajo CC BY-SA 3.0
No afiliado a Stack Overflow