common-lisp
Lexikala vs specialvariabler
Sök…
Globala specialvariabler är speciella överallt
Således använder dessa variabler dynamisk bindning.
(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
Ge speciella variabler olika namn för att undvika detta problem:
(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
Not 1: Det är inte möjligt att göra en global variabel icke-speciell i ett visst omfång. Det finns ingen förklaring att göra en variabel lexikal .
Anmärkning 2: det är möjligt att förklara en variabel som är special i ett lokalt sammanhang med den special
. Om det inte finns någon global specialdeklaration för den variabeln är deklarationen endast lokalt och kan skuggas.
(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
Licensierat under CC BY-SA 3.0
Inte anslutet till Stack Overflow