Macro WITH-ACCESSORS

UP

Macro WITH-ACCESSORS

Macro WITH-ACCESSORS

構文

with-accessors (slot-entry*) instance-form declaration* form* => result*
slot-entry ::= (variable-name accessor-name)

引数と戻り値

variable-name - 変数名、評価はされない
accessor-name - 関数名、評価はされない
instance-form - フォーム、評価される
declaration - 宣言式、評価はされない
form - フォーム、暗黙のprogn
result - フォームの返却値

定義

slot-entryによって指定されたスロットが、 アクセッサを通して変数のように使用できるような レキシカルな環境が作成されます。 マクロwith-accessorsはslot-entryで指定された スロットにアクセスするための適切なアクセッサを呼び出します。 スロットの値を設定するために setfとsetqの両方を使用することができます。

例文

(defclass thing ()
          ((x :initarg :x :accessor thing-x)
           (y :initarg :y :accessor thing-y)))
=>  #<STANDARD-CLASS THING 250020173>
(defmethod (setf thing-x) :before (new-x (thing thing))
  (format t "~&Changing X from ~D to ~D in ~S.~%"
          (thing-x thing) new-x thing))
(setq thing1 (make-instance 'thing :x 1 :y 2)) =>  #<THING 43135676>
(setq thing2 (make-instance 'thing :x 7 :y 8)) =>  #<THING 43147374>
(with-accessors ((x1 thing-x) (y1 thing-y))
                thing1
  (with-accessors ((x2 thing-x) (y2 thing-y))
                  thing2
    (list (list x1 (thing-x thing1) y1 (thing-y thing1)
                x2 (thing-x thing2) y2 (thing-y thing2))
          (setq x1 (+ y1 x2))
          (list x1 (thing-x thing1) y1 (thing-y thing1)
                x2 (thing-x thing2) y2 (thing-y thing2))
          (setf (thing-x thing2) (list x1))
          (list x1 (thing-x thing1) y1 (thing-y thing1)
                x2 (thing-x thing2) y2 (thing-y thing2)))))
>>  Changing X from 1 to 9 in #<THING 43135676>.
>>  Changing X from 7 to (9) in #<THING 43147374>.
=>  ((1 1 2 2 7 7 8 8)
    9
    (9 9 2 2 7 7 8 8) 
    (9)
    (9 9 2 2 (9) (9) 8 8))

影響

defclass

例外

もしaccessor-nameがインスタンスのアクセッサの名前ではない場合は、 結果は定義されていません。

参考

with-slots, symbol-macrolet

備考

with-accessorsの下記のフォームについて、

(with-accessors (slot-entry1 ... slot-entryn) instance-form form1 ... formk)

これは、下記の展開と同等です。

(let ((in instance-form))
  (symbol-macrolet (Q1 ... Qn) form1 ... formk))

ただし、Qiは下記のようになります。

(variable-namei () (accessor-namei in))

TOP, Github