Differenza tra `set`,` setq` e `setf` in Common Lisp?

Question

Qual è la differenza tra "set", "setq" e "setf" in Common Lisp?

Answer 1

In origine, in Lisp, non c'erano variabili lessicali, solo dinamiche. E non c'era SETQ o SETF, solo la funzione SET.

Quello che oggi è scritto come:

(setf (symbol-value '*foo*) 42) 

è stato scritto come:

(set (quote *foo*) 42) 

che finalmente è stato abbreviavated a setq (SET Citato):

(setq *foo* 42) 

variabili Poi lessicali successo e SETQ è stato utilizzato anche per l'assegnazione a questi - quindi non era più un semplice wrapper attorno a SET.

Più tardi, qualcuno ha inventato SETF (SET Field) come un modo generico di assegnazione di valori alle strutture di dati, per rispecchiare le t-valori delle altre lingue:

x.car := 42; 

sarebbe scritto come

(setf (car x) 42) 

Per simmetria e generalità, SETF ha fornito anche la funzionalità di SETQ. A questo punto sarebbe stato corretto dire che SETQ era una primitiva di basso livello, e SETF un'operazione di alto livello.

Quindi si sono verificati i simboli macro. In modo che le macro simbolo potrebbe funzionare in modo trasparente, si è capito che setq avrebbe dovuto agire come SETF se la "variabile" viene assegnato a era davvero una macro simbolo:

(defvar *hidden* (cons 42 42)) 
(define-symbol-macro foo (car *hidden*)) 

foo => 42 

(setq foo 13) 

foo => 13 

*hidden* => (13 . 42) 

Si arriva così al giorno d'oggi: SET e I SETQ sono resti atrofizzati di dialetti più vecchi e probabilmente verranno avviati da eventuali successori di Common Lisp.

Answer 2

setq è come set con un primo argomento quotato - (set 'foo '(bar baz)) è proprio come (setq foo '(bar baz)). setf, d'altra parte, è davvero sottile - è come una "indiretta". Suggerisco http://www.n-a-n-o.com/lisp/cmucl-tutorials/LISP-tutorial-16.html come un modo migliore per iniziare a comprenderlo rispetto a qualsiasi risposta qui può dare ... in breve, però, setf prende il primo argomento come un "riferimento", così ad es. (aref myarray 3) funzionerà (come il primo argomento a setf) per impostare un elemento all'interno di un array.

Answer 3

(set ls '(1 2 3 4)) => Error - ls has no value 

(set 'ls '(1 2 3 4)) => OK 

(setq ls '(1 2 3 4)) => OK - make ls to (quote ls) and then have the usual set 

(setf ls '(1 2 3 4)) => OK - same as setq so far BUT 

(setf (car ls) 10) => Makes ls '(10 2 3 4) - not duplicated by setq/set 

Answer 4

vorrei aggiungere alle risposte precedenti, che setf è macro che chiama la funzione specifica a seconda di ciò che è stato passato come primo argomento. Confrontare i risultati della macro espansione setf con diversi tipi di argomenti:

(macroexpand '(setf a 1)) 

(macroexpand '(setf (car (list 3 2 1)) 1)) 

(macroexpand '(setf (aref #(3 2 1) 0) 1)) 

Per alcuni tipi di argomenti "funzione setf" si chiamerà:

(defstruct strct field) 
(macroexpand '(setf (strct-field (make-strct)) 1)) 

Answer 5

È possibile utilizzare setf al posto di set o setq ma non viceversa poiché setf può anche impostare il valore di singoli elementi di una variabile se la variabile ha singoli elementi. Vedere gli esempi di seguito:

Tutti e quattro gli esempi assegneranno la lista (1, 2, 3) alla variabile denominata foo.

(set (quote foo) (list 1 2 3)) ;foo => (1 2 3) 
(1 2 3) 

(set 'foo '(1 2 3)) ;foo => (1 2 3) same function, simpler expression 
(1 2 3) 

(setq foo '(1 2 3)) ;foo => (1 2 3) similar function, different syntax 
(1 2 3) 

(setf foo '(1 2 3)) ;foo => (1 2 3) more capable function 
(1 2 3) 

setf ha più la capacità di fissare un membro della lista in foo ad un nuovo valore.

foo     ;foo => (1 2 3) as defined above 
(1 2 3) 

(car foo)    ;the first item in foo is 1 
1 

(setf (car foo) 4) ;set or setq will fail since (car foo) is not a symbol 
4 

foo     ;the fist item in foo was set to 4 by setf 
(4 2 3) 

Tuttavia, è possibile definire una macro simbolo che reprents un singolo elemento all'interno foo

(define-symbol-macro foo-car (car foo)) ; assumes FOO => (1 2 3) 
FOO-CAR 

foo-car    ;foo-car is now a symbol for the 1st item in foo 
1 

(setq foo-car 4)  ;set or setq can set the symbol foo-car 
4 

foo     ;Lisp macros are so cool 
(4 2 3) 

È possibile utilizzare defvar se non l'hai già definito la variabile e non si vuole dare un valore fino a tardi nel tuo codice.

(defvar foo2) 
(define-symbol-macro foo-car (car foo2)) 

Answer 6

Si può pensare SET e SETQ essere costrutti a basso livello.

• SET possibile impostare il valore di simboli.

• SETQ può impostare il valore delle variabili.

Poi SETF è una macro, che fornisce molti tipi di regolazione cose: simboli, variabili, elementi dell'array, slot istanza, ...

Per i simboli e variabili si può pensare come se SETF espande in SET e SETQ.

* (macroexpand '(setf (symbol-value 'a) 10)) 

(SET 'A 10) 


* (macroexpand '(setf a 10))   

(SETQ A 10) 

Così SET e SETQ vengono utilizzate per implementare alcune delle funzionalità di SETF, che è il costrutto più generale. Alcune delle altre risposte ti dicono la storia un po 'più complessa, quando prendiamo in considerazione le macro dei simboli.