11.4 Generic Function

Next: 11.5 クラスの定義例 Up: 11 データ指向型プログラミング Previous: 11.3 メッセージ送信プログラミング

11.4 Generic Function

メッセージを送るsendを用いるのではなくて，メッセージ名が関数名になる形にすればlispの関数のように扱うことができるようになる．その第一引数がオブジェクトで，第二引数以降がメッセージに関連する引数である．そのメッセージ関数の本体は変わらず，第一引数で与えられるオブジェクトの種類が変わってもそのオブジェクトからメソッドを取り出して，それに引数を送るという形になる．そのような引数のオブジェクトにメッセージを送るだけの関数の形にしたものはいろいろなオブジェクトを受け付けるため，Generic Functionと呼ばれる．預金を引き出す，Generic Functionは，


(defun withdraw (object &rest args)
  (apply (get-method object 'withdraw) args))

(defun deposit (object &rest args)
  (apply (get-method object 'deposit) args))

(defun balance (object &rest args)
  (apply (get-method object 'balance) args))

のように定義でき，


> (balance acc)
10.0
> (withdraw acc 3)
7.0
> (deposit acc 5)
12.0
> (balance acc)
12.0

のように使う．このaccの引数に違うアカウントの種類である下のtemp-accountをもってきても


(defun temp-account (&optional (balance 0.00)
                    (interest-rate .06))
  #'(lambda (message)
      (case message
        (withdraw #'(lambda (amt) (decf balance amt)))
        (deposit  #'(lambda (amt) (incf balance amt)))
        (balance  #'(lambda () balance))
        (interest #'(lambda ()
                    (incf balance
                       (* interest-rate balance)))))))

> (setq bcc (temp-account 10.0))
#<Interpreted Closure ...>

> (balance bcc)
10.0
> (withdraw bcc 3)
7.0
> (deposit bcc 5)
12.0
> (balance bcc)
12.0

balance,withdrawなどの同じ関数を用いることができるわけである．これは，このアカウントのデータaccやbcc それぞれがそのデータの中に手続きと個別データを保存しているから可能になるわけである．

generated through LaTeX2HTML. M.Inaba 平成18年5月7日