W dniu 2011-10-16 07:25, f...@g...SKASUJ-TO.pl pisze:
> Piotr Chamera<p...@p...onet.pl> napisał(a):
>> Closure to taka funkcja powiązana ze środowiskiem, w którym została
>> zdefiniowana. N.p.:
>>
>> (let ((licznik 0))
>> (defun następny () (setf licznik (1+ licznik))))
>>
>> CL-USER> (następny)
>> 1
>>
>> CL-USER> licznik
>> Unbound variable: LICZNIK
>> [Condition of type UNBOUND-VARIABLE]
>>
>> CL-USER> (następny)
>> 2
>>
>> W Wikipedii jest to całkiem dobrze opisane:
>> http://en.wikipedia.org/wiki/Closure_%28computer_sci
ence%29
>
> a czym sie rozni od zwyklej normalnej 'niepowiazanej' funkcji?
> w tym prztkladzie wyzej nie rozumiem co to jest i co
> to ma ilustrowac:
>
>> CL-USER> licznik
>> Unbound variable: LICZNIK
>> [Condition of type UNBOUND-VARIABLE]

Że ,,licznik" nie jest dostępny globalnie - po wyjściu z zasięgu
konstrukcji ,,let" przestał być widoczny, ale po wywołaniu funkcji
nadal jest dostępny - to fragment środowiska, w którym funkcja była
definiowana, który został przez nią przechwycony. Nie może być
odłożony na stosie, jest zewnętrzny w stosunku do ciała funkcji i może
przenosić informację pomiędzy jej wywołaniami. Żeby to zrobić w C
trzeba by pewnie zaalokować jakiś obiekt na stercie i przekazać
do funkcji wskaźnik do niego.

Po rozszerzeniu pierwszego przykładu o drugą operację na
liczniku mamy najprostszy obiekt z dwiema operacjami na nim
i enkapsulacją jego wewnętrznego stanu.

(let ((licznik 0))
(defun następny () (setf licznik (1+ licznik)))
(defun poprzedni () (setf licznik (1- licznik))))