Wie werden Funktionsparameter in Lisp gespeichert?

Question

Ich nahm an, dass Werte, die in eine Lisp-Funktion übergeben wurden, einem Zitat zugewiesen werden, das dem Namen des Parameters entspricht. Allerdings war ich überrascht, dass dies:

funktioniert nicht (die Variable x ist ungebunden). Wenn also Parameter nicht als Symbole in der Funktion gespeichert sind, was genau ist dann in diesem Beispiel IS? Gibt es eine Möglichkeit, Parameter von einem Symbol aus aufzurufen, das mit dem Parameternamen übereinstimmt?

Weitere Kontext: Was Ich mag würde, ist, etwas zu tun wie folgt aus:

defun slice (r1 c1 r2 c2 board) 
    (dolist (param '(r1 c1 r2 c2)) ;adjust for negative indices 
    (if (< (eval param) 0) 
     (set param (+ (length board) (eval param))))) 
     ;Body of function 

Grundsätzlich möchte ich durch die ersten vier Parameter zu durchlaufen und eine Anpassung an alle ihre Werte machen, wenn sie < sind Natürlich könnte ich einen Let geben und eine individuelle Linie für jeden Parameter haben, aber wenn ich bedenke, dass ich dasselbe für jeden der vier Parameter tue, schien das sauberer zu sein. Allerdings bekomme ich den Fehler, dass die Variable R1 nicht gebunden ist.

Answer 1

Gibt es eine Möglichkeit, auf Parameter von einem Symbol zuzugreifen, das mit dem Parameternamen übereinstimmt?

Nicht für lexikalische Bindung. Common Lisp bietet keine Möglichkeit, auf eine lexikalische Variable aus einem ähnlichen benannten Symbol zuzugreifen. Sie müssten die Variable special deklarieren.

Wenn also Parameter nicht als Symbole in der Funktion gespeichert sind, was genau ist in diesem Beispiel IS?

Ein Prozessorregister? Ein Teil eines Stapelrahmens?

Bei dynamischer Bindung:

CL-USER 40 > (defun foo (a b) 
       (declare (special a b)) 
       (dolist (v '(a b)) 
       (if (zerop (symbol-value v)) 
        (set v 10))) 
       (values a b)) 
FOO 

CL-USER 41 > (foo 1 0) 
1 
10 

Answer 2

Wie Rainer erklärt, kann man nicht die lexikalische Argument durch seinen Namen zugreifen Wert.

Was können Sie tun, ist stattdessen die &rest Argument zusammen mit destructuring-bind, wenn Sie die Variablen wollen auch:

(defun slice (board &rest params) 
    (destructuring-bind (r1 c1 r2 c2) 
     (mapcar (lambda (param) ;adjust for negative indices 
       (if (minusp param) 
        (+ (length board) param) 
        param)) 
       params) 
    ... operate on r1 c1 r2 c2 ...)) 

Answer 3

Das ist im Grunde, wie lexikalische Bindung Werke: der Name der Variablen innerhalb des lexikalischen Gültigkeitsbereich mit einer direkten ersetzt wird Referenz auf wo der Wert der Variablen gespeichert wird. Das Binden des Variablennamens symbol-value erfolgt nur für dynamische Variablen, die Sie mit special deklarieren können.

Eine Möglichkeit Wiederholung zu vermeiden, sich selbst ein Makro sein würde:

(defmacro with-adjusting ((&rest vars) adjust-value &body body) 
    `(let ,(loop for var in vars 
       collect `(,var (if (minusp ,var) 
           (+ ,var ,adjust-value) 
           ,var))) 
    ,@body)) 

(defun slice (r1 c1 r2 c2 board) 
    (with-adjusting (r1 c1 r2 c2) (length board) 
    ;; function body