Bildirimi, bildirimi, bildirme

Question

Üç sembol proclaim, declaim ve declare arasındaki farkları açıklayabilir misiniz?

Answer 1

Bunlar symbols, keywords değil.

1. proclaim isimleri küreseldeclarations yapmak için bir işlev. Mümkün olduğunda declaim kullanmalısınız. Ayrıca derleme zamanında de etkilidir

2. declaim isimleri küresel bildirimleri yapmak için bir makro (gibi proclaim).

3. declarebaşında yerel beyanları yapılmasına bazı formları (bir unsur olarak görüntüleyebilirsiniz için (bir işlevi, makro veya özel operatörünü isim vermez, ig) sadece sembolü olduğunu Bu formların sözdizimi.

Yani, ilk ikisi global environment ve sonuncusu yereldir. o derleme ortamımızda anında etkiye sahiptir çünkü

declaimproclaim üzerinde tercih edilir: a proclaim formun yürütme olabilir derleme etkileyen etkileri vardır rağmen

, derleyici için herhangi bir girişimde yapmaz Talep formlarını tanır ve özel olarak işler. yürütüldüğünde kadar aşağıdaki bile üst düzey bir biçimde ise, herhangi bir etkisi sahip olmayan böyle bir gibi bir ilan: derleme zaman yan etkilere sahip olmaları istenen

(proclaim '(special *x*))

ise, eval-when yararlı olabilir. Örneğin: Çoğu tür durumlarda

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

, ancak bu amaçla declaim kullanmak tercih edilebilir.

kodunuzu

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

ise yanı, derleyici foo hiçbir uyarılarına neden olur bilinmeyen özel değişkeni *x*,

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

ise okur şikayet edecektir.

PS.Eğer CL bile neden proclaim olduğunu merak ediyorsanız: ilk olarak, tarihsel olarak declaim'dan önce vardı ve ikincisi, proclaim, makrolarda daha basit ve kullanışlıdır.