Głoszenie, deklamacja, deklaracja

Question

Czy możesz wyjaśnić różnice między trzema symbolami: proclaim, declaim i declare?

Answer 1

Są to symbols, a nie keywords.

1. proclaim podając nazwę funkcyjne dokonywania globalnegodeclarations. W miarę możliwości powinieneś używać declaim.

2. declaim podając nazwę makro dokonywania globalnych deklaracji (jak proclaim), które są również skuteczne w kompilacji.

3. declare tylko symbol (ig, to nie nazwa funkcji, makro, lub specjalnego operatora) dokonywania lokalne deklaracje na początku niektóre formularze (można go zobaczyć jako element z składnia tych formularzy).

Tak więc, pierwsze dwa mają wpływ na global environment, a ostatni jest lokalny.

declaim jest preferowane nad proclaim, ponieważ ma bezpośredni wpływ na środowisko kompilacji:

Chociaż wykonanie proclaim formularza ma skutki, które mogą wpływają kompilacji, kompilator nie robi każda próba rozpoznać i specjalnie przetwarzać formularze proklamacji. Proklamacja takie jak dodaje się, nawet jeśli na górnym poziomie formy, nie ma żadnego wpływu dopóki nie zostanie wykonane:

(proclaim '(special *x*))

Jeśli kompilacji efektów ubocznych pożądane, eval-when mogą być użyteczne. Na przykład:

(eval-when (:execute :compile-toplevel :load-toplevel) (proclaim '(special *x*)))

W większości takich przypadków jest jednak preferuje użycie declaim do tego celu.

To znaczy, jeśli kod jest

(proclaim '(special *x*)) 
(defun foo() (print *x*)) 

kompilator będzie narzekać, że foo czyta nieznaną specjalną zmienną *x*, while

(declaim (special *x*)) 
(defun foo() (print *x*)) 

spowoduje żadnych ostrzeżeń.

PS.Jeśli zastanawiasz się, dlaczego CL ma jeszcze proclaim: po pierwsze, historycznie był tam przed declaim, a po drugie, proclaim jest prostszy i użyteczny w makrach.