Common Lisp Binding in Loop Macro

Question

Desidero riassociare una variabile speciale all'interno di un ciclo. Ora, normalmente, questo è realizzato utilizzando un let.

(let ((*read-eval* nil)) 
    (do-something-here)) 

Ma dal momento che la macro loop ha queste belle with clausole, ho pensato che potrei essere in grado di farlo in là. L'espressione (macroexpand '(loop with *read-eval* = nil)) termina con l'espansione del binding su un let, quindi funzionerà in modo specifico sulla mia implementazione. Ma non riesco a trovare nulla in the standard indicando che questo è un comportamento standardizzato. Quindi, suppongo, la mia domanda è questa:

(loop with *read-eval* = nil 
     for i from 1 to 10 
     do (something-involving-the-read-function)) 

sono conformi implementazioni necessarie per modificare la *read-eval* variabile esistente, o c'è il rischio che si potrebbe creare una nuova variabile lessicale con lo stesso nome?

Answer 1

*read-eval* è una variabile speciale globale. Non c'è modo di annullarlo, cioè creare un binding lessicale locale per questo.

with clausola viene descritto come utilizzare bindings (al contrario di mera impostazione) il che significa che, in effetti, una volta che il ciclo è finito, saremo di nuovo al valore originale (per rispondere @ Joshua-sarto domanda).

Pensiamo razionalmente. (loop with foo = nil ...) stabilisce definitivamente un binding per foo. Quindi, per (loop with *read-eval* = nil ...)non per stabilire quell'associazione, l'implementazione deve verificare (in macroexpansion o in fase di compilazione) se *read-eval* sarà un dynamic variable in fase di esecuzione. Questo suona folle.