EQL スペシャライザ

eql specializer 。CLOS の総称関数において、メソッドを、特定のインスタンス特異的なメソッドとして登録するための機構。Ruby の特異メソッドに相当し、その導入に影響を与えたと推察される。通常、(パラメータクラス)とクラスを指定するパラメータスペックの代わりに、 (パラメータ (EQL インスタンス)) と綴ることで利用できる。CLOS のサブセットで STklos 系統のオブジェクトシステムを搭載した Gauche にはこの機能はない（※ STKlos 系統だらかというわけではなく、今の VM でうまい実装が見つからないからとのこと）。

なお、EQL は Common Lisp で同値性テストに用いられる、通常は２パラメータの関数（を束縛したシンボル）。
スペシャライザは、引数特定化子と訳されるらしい（参考）。

--sumim

サンプルスクリプト

(defmethod is-zero ((self (eql 0))) T)
(defmethod is-zero (self) NIL)

一行目で、総称関数 is-zero に、そのパラメータを EQL スペシャライザによってインスタンス「0」のみに限定したメソッドを登録している。二行目では、あらゆるパラメータに対して NIL を返すメソッドを登録している。この結果、is-zero 呼び出しの際、パラメータが 0 のときは一行目に定義されたメソッドが起動して T が返る。それ以外は二行目のメソッドが起動して NIL が返ってくる。

(is-zero 0)
==> T
(is-zero 1)
==> NIL
(is-zero "a")
==> NIL
(is-zero (lambda (x) (+ x x)))
==> NIL

--sumim

このページを編集 (1463 bytes)

以下の 3 ページから参照されています。

プロトタイプベース・オブジェクト指向　最終更新: 2006-04-26, 10:32:39 <khp0591>
特異メソッド　最終更新: 2006-04-29, 10:32:23 <p4234-i>
Gauche で bank-account　最終更新: 2004-01-20, 22:33:17 <192>

This page has been visited 5396 times.