Macro SETF, PSETF
setf {pair}* => result*
psetf {pair}* => nil
pair ::= place newvalue place - place
newvalue - フォーム
result - 最後のplaceの格納フォームから返却された多値か、 pairがないときはnil。
setfは、placeの値をnewvalueに変更します。
(setf place newvalue)は、 newvalueの評価結果がplaceの場所へ保存されるような 更新フォームに展開されます。 いくつかのplaceフォームは、 オプションの引数を取るアクセッサを使用して実行します。 それらのオプション引数がsetfによって許可されるかどうか、 あるいはどのように使うかはsetfの展開関数次第であり、 setfの制御下にはありません。 setfの使用時に 引数&optional, &rest, …, &keyを 受け付けるような関数のドキュメントは、 どのようにそれらの引数を扱うのかを指定しなければなりません。
もし複数のpairが指定されたら、 各pairは順番に処理されます。 次の式は、
(setf place-1 newvalue-1
place-2 newvalue-2
...
place-N newvalue-N)下記の式と同等です。
(progn (setf place-1 newvalue-1)
(setf place-2 newvalue-2)
...
(setf place-N newvalue-N))psetfは複数のpairが指定されたとき、 placeへの新しい値の代入を並行に行います。 もっと正確に言うと、 全てのサブフォーム（placeとnewvalueの両方のフォーム）が 左から右に評価され、全ての評価が実行されたあとで、 全ての代入が順不同で行われます。
setfとpsetfの展開の扱いの詳細は、 5.1.2. placeの種類をご確認ください。
(setq x (cons 'a 'b) y (list 1 2 3)) => (1 2 3)
(setf (car x) 'x (cadr y) (car x) (cdr x) y) => (1 X 3)
x => (X 1 X 3)
y => (1 X 3)
(setq x (cons 'a 'b) y (list 1 2 3)) => (1 2 3)
(psetf (car x) 'x (cadr y) (car x) (cdr x) y) => NIL
x => (X 1 A 3)
y => (1 A 3) define-setf-expander, defsetf, *macroexpand-hook*
なし。
define-setf-expander, defsetf, macroexpand-1, rotatef, shiftf, 5.1. 一般化された参照
なし。