L'espansione macro può contenere (dichiarare ...) espressioni?

Question

Il Common Lisp Hyperspec afferma "I moduli macro non possono espandersi in dichiarazioni, le espressioni devono apparire come sottoespressioni effettive del modulo a cui si riferiscono."

Sono confuso sul significato di "espandersi". Una macro come il seguente non funziona per ovvi motivi:

(defmacro optimize-fully() 
    `(declare (optimize (speed 3) (safety 0)))) 

Ma cosa succede se la macro di espansione solo contiene un (declare ...) espressione?

(defmacro defun-optimized (name (&rest lambda-list) &rest body) 
    `(defun ,name ,lambda-list 
     (declare (optimize (speed 3) (safety 0))) 
     ,@body)) 

(defun-optimized foobar (a b) 
    (* a b)) 

Si tratta di una violazione delle specifiche? L'implementazione CL che utilizzo, SBCL, non si lamenta, e infatti la macro sopra sembra funzionare esattamente come previsto. Cosa dà?

Answer 1

Il tuo primo esempio è esattamente ciò che sta proibendo. Non si potrebbe avere il codice come quello in combinazione con qualcosa di simile:

(defun optimized (a b) 
    (optimize-fully) 
    (+ a b)) 

volte vedo il codice come questo, però:

(defvar *optimization-settings* '(optimize (speed 3) (safety 0))) 

(defun foo (a b) 
    (declare #.*optimization-settings*) 
    ...)