Standard-Generic-Function UPDATE-INSTANCE-FOR-REDEFINED-CLASS

update-instance-for-redefined-class instance add-slots discarded-slots property-list &rest initargs &key &allow-other-keys => result*

メソッド宣言

update-instance-for-redefined-class (instance standard-object) added-slots discarded-slots property-list &rest initargs

引数と戻り値

instance - オブジェクト
added-slots - リスト
discarded-slots - リスト
property-list - リスト
initargs - 初期化引数リスト
result - オブジェクト

定義

システムが提供するupdate-instance-for-redefined-classのプライマリメソッドは、initargsの有効性を確認し、もしinitargsに有効として宣言されていないものが与えられていた場合はエラーが通知されます。このメソッドは、initargsに対応する値でスロットを初期化します。そして新たに追加されたスロットadded-slotsには :initformフォーム対応した値で初期化します。このような動作は、ジェネリック関数shared-initializeを次のような引数で呼び出すことで行います。引数は、instance、 instanceに新しく追加されたスロットの名前のリストadded-slots、そして受け取ったinitargsです。新しく追加されたスロットadded-slotsとは、以前のクラスに同じ名前のスロットが存在しない局所スロットのことです。

make-instances-obsoleteが起動されるときか、クラスが再定義されてinstanceが更新されるときは、元のインスタンスの全ての削除されるスロットdiscarded-slotsとその値が、スロットの名前と値とともに取り出されproperty-listが作成されます。 instanceの構造は、現在のクラスの定義に合うように変換されます。 update-instance-for-redefined-classの引数は、変換されたinstance、インスタンスへ追加されたスロットのリストadded-slots、インスタンスから削除されるスロットのリストdiscarded-slots、削除されるスロットで値を持っているのスロットの名前と値が含まれるリストproperty-listです。削除されるスロットのリストは、古いクラスでは局所スロットだったものから、新しいクラスでは共有スロットになったものが含まれます。

例文

(defclass position () ())
 
(defclass x-y-position (position)
    ((x :initform 0 :accessor position-x)
     (y :initform 0 :accessor position-y)))
 
;;; 極座標は直交座標よりも多く使用されることが判明したため、
;;; 表現を変更し、いくつかの新しいaccessorメソッドを追加しました。
 
(defmethod update-instance-for-redefined-class :before
   ((pos x-y-position) added deleted plist &key)
  ;; x-y座標を極座標に変換し新しいスロットに保存します
  (let ((x (getf plist 'x))
        (y (getf plist 'y)))
    (setf (position-rho pos) (sqrt (+ (* x x) (* y y)))
          (position-theta pos) (atan y x))))
  
(defclass x-y-position (position)
    ((rho :initform 0 :accessor position-rho)
     (theta :initform 0 :accessor position-theta)))
  
;;; 全ての古いx-y-positionインスタンスは、
;;; 自動的にアップデートされるでしょう。

;;; 新しい表現は、旧来の表現と同じような見た目が与えられています。

(defmethod position-x ((pos x-y-position))  
   (with-slots (rho theta) pos (* rho (cos theta))))

(defmethod (setf position-x) (new-x (pos x-y-position))
   (with-slots (rho theta) pos
     (let ((y (position-y pos)))
       (setq rho (sqrt (+ (* new-x new-x) (* y y)))
             theta (atan y new-x))
       new-x)))

(defmethod position-y ((pos x-y-position))
   (with-slots (rho theta) pos (* rho (sin theta))))

(defmethod (setf position-y) (new-y (pos x-y-position))
   (with-slots (rho theta) pos
     (let ((x (position-x pos)))
       (setq rho (sqrt (+ (* x x) (* new-y new-y)))
             theta (atan new-y x))
       new-y)))

影響

例外

システムが提供するupdate-instance-for-redefined-classのプライマリメソッドは、 initargsに有効として宣言されていないものが与えられていた場合はエラーが通知されます。

参考

備考

initargsは、defclassの:initarg引数によって、あるいはupdate-instance-for-redefined-classか shared-initializeのメソッドの宣言によって、有効であると宣言されます。 update-instance-for-redefined-classか shared-initializeの各メソッドの宣言のラムダリストにある、各キーワードパラメーター指定子のキーワード名は、それらのメソッドが適用されるすべてのクラスに対して、有効な初期化引数の名前として宣言されます。

Standard-Generic-Function UPDATE-INSTANCE-FOR-REDEFINED-CLASS

構文

メソッド宣言

引数と戻り値

定義

例文

影響

例外

参考

備考