7.6.1. ジェネリック関数の紹介
ジェネリック関数は、指定された引数のクラスか、 あるいは引数の同一性に依存して動作する関数です。 ジェネリック関数オブジェクトは、メソッドの集合、 ラムダリスト、method-combination、そしてその他の情報に関連付けられます。
通常の関数のように、ジェネリック関数は引数を取り、 一連のオペレーションを実行し、そしておそらくは有効な値を返却します。 通常の関数は単一のコードの実体を持ち、関数が呼び出されたときに常に実行されます。 ジェネリック関数はコードの実体を複数の集合として持ち、 その集合の一部か全部を関数実行のときに選択します。 選ばれたコードの集合とその組み合わせは、 ジェネリック関数に渡される1つか複数の引数から、 クラスかあるいは同一性により決定します。 それはmethod-combinationによって決定が行われます。
通常の関数とジェネリック関数は、同一の構文により呼び出されます。
ジェネリック関数は本物の関数なので、 funcallとapplyの最初の引数として使用されたり、 あるいは引数を渡したりすることができます。
ジェネリック関数の関数名の設定は、いくつかの手順のひとつとして確立します。 それはグローバル環境内において、ensure-generic-function, defmethod（暗にensure-generic-functionが呼ばれる）, defgeneric（これもまた暗に、ensure-generic-functionが呼ばれる） によって確立されます。 レキシカル環境において、ジェネリック関数の関数名の束縛を確立するための 標準的な方法は提供されていません。
defgenericフォームが評価されるとき、 （ensure-generic-functionによって）次の3つのうちの1つの手順が取られます。
もし指定した名前のジェネリック関数がもう存在している場合は、 存在しているジェネリック関数オブジェクトを修正します。 いま実行されたdefgenericフォームによって宣言されたメソッドは追加され、 そして以前のdefgenericフォームによって定義された、 存在していたジェネリック関数のどんなメソッドも削除されます。 いま実行されたdefgenericフォームによるメソッドの追加は、 defmethod, defclass, define-condition, そしてdefstructによって定義されたメソッドも置き換えます。 ジェネリック関数内のその他のメソッドについては、影響は無いですし置き換えもされません。
もし指定した名前が、通常の関数、マクロ、特殊オペレーターによる名前であった場合は、 エラーが発せられます。
そうでなければ、ジェネリック関数はdefgenericフォーム内にある メソッド定義により宣言されたメソッドとともに作成されます。
いくつかのオペレーターは、ジェネリック関数のオプションの定義として、 使用するmethod-combinationのタイプや引数優先順位を指定することが許されています。 これらのオペレーターは、「ジェネリック関数のオプションを指定するオペレーター」と言います。 この分類の中で、標準的なオペレーターはdefgenericだけです。
いくつかのオペレーターは、ジェネリック関数のメソッドを定義します。 これらのオペレーターはメソッド定義オペレーターと言われます。 このオペレーターに関連付けられたフォームは、メソッド定義フォームと呼ばれます。 標準的なメソッド定義オペレーターを次の表に示します。
defgeneric
define-condition
defmethod
defstruct
defclass
表7-1 標準メソッド定義オペレーター注意として、標準メソッド定義オペレーターのdefgenericだけは、 ジェネリック関数のオプションを指定することが出来ます。 defgenericといくつかの実装定義オペレーターは、 ジェネリック関数のオプションを指定することが可能であり、 「ジェネリック関数のオプションを指定するオペレーター」と言われます。