|
サブタイピング (計算機科学)
サブタイピング（英: subtyping）や部分型[1]とは、型のポリモーフィズムの形態であり、上位と定義された型を、その下位と定義された型で、型安全性に則って代替できるというプログラミング言語理論の概念および実装を意味している。 スーパータイプは、そのサブタイプの数々によって代替/代入可能とされており、これは代入可能性（substitutability）と呼ばれる。そのスーパータイプとサブタイプの関係は、is-aとも言われる。記号 スーパータイプ＋サブタイプの概念はその時の用法で、上位型(supertype)＋下位型(subtype)、基底型(base type)＋派生型(derived type)、基本型(basic type)＋拡張型(extend type)、上位型(supertype)＋部分型(subtype) などの別称に使い分けられており、それぞれの性質にも差異がある。 起源サブタイピング（subtyping）は、Simula67で登場した継承と仮想手続き（仮想関数）を分析した計算機科学者ジョン・レイナルドによって1980年に考案された言葉である。それを更に研究したルカ・カルデリらが、1985年にインクルージョン多相という概念にまとめた。 サブタイピングは、型理論ではなく、オブジェクト指向言語の継承とメソッドオーバーライドによる動的ディスパッチのポリモーフィズムを由来にしている。1994年にバーバラ・リスコフが、オブジェクト指向の継承のサブタイピング用法を重視したリスコフの置換原則[1]を提唱している。サブタイピングは上位概念と下位概念（hypernymy・hyponymy）に言及されることがあり[要校閲]、また全体概念と部分概念（holonymy・meronymy）にも言及されることがある[要検証]。 サブタイピングに関連付けられているその他の概念としては、モジュラープログラミング発のインターフェース、ジェネリックプログラミングの総称型、部分構造論理由来の部分構造型システムなどがある。サブタイピングを型理論視点で解釈拡張したものにSystem F-サブがある。 関数型言語の型構築子には深さサブタイピング（depth subtyping）という別解釈が加えられている。関数型言語はレコード型の深さサブタイピングと幅サブタイピング（width subtyping）や、関数の型の共変反変サブタイピングも取り入れている。 例 最初の例は、UMLクラス図のスーパークラスとサブクラスのサブタイピングである（右図参照）。ここでのsupertypeは基底型、subtypeは派生型と呼ばれやすい。
二番目の例は、型の上位概念と下位概念に基づいた変数である。ここではsupertypeは上位型、subtypeは下位型と呼ばれやすい。 それぞれ数値型の
上の規則によって、 そのコード例はこのようになる。 function max (x as Number, y as Number)
if x < y then
return y
else
return x
end
関数 性質型理論においては、部分型関係は 型理論の研究者は、部分型であると宣言されたもののみを部分型とする名前的型システムと、2つの型の構造によって部分型関係にあるかが決まる構造的型システムを区別する。上記のクラスベースオブジェクト指向言語の例は名前的型システムである。構造的型システムのオブジェクト指向言語では、型 A のオブジェクトが型 B のオブジェクトの処理できるメッセージすべてを処理できるなら（言い換えると、同じメソッドを実装していれば）、継承関係に関係なく、A は B の部分型となる。 部分型を持つプログラミング言語の実装は大きく2つに分類される。型 A の値の内部表現が型 B の値としての内部表現も兼ねるinclusive（包含的）な実装と、型 A の値が型 B の値に「自動的に変換」されることのあるcoercive（強制的）な実装である。オブジェクト指向言語のサブクラスによる型の派生はたいてい包含的である。前述の整数と浮動小数点数の派生型関係は、内部表現が異なっているので、強制的な例である。 ほぼすべての型システムでは部分型関係が定義されている。それは反射律（任意の型 A について、A <: A）と推移律（A <: B かつ B <: C ならば A <: C）を満たすものである。つまり前順序が成り立つ。 関連項目参考資料
参照
外部リンク |
Portal di Ensiklopedia Dunia
