サブクラス (計算機科学)

オブジェクト指向プログラミングにおいてサブクラス () とは、上位階層に位置するクラス（スーパークラス）のいくつかのプロパティ（特性）を継承する下位クラスのことである。

プログラマは普通、そのクラスをスーパークラスの「一種」であるものとして、例えば「マンクスは猫の一種である」または「正方形は長方形の一種である」などとして、サブクラスのことを考える。

 猫には毛が生えており、四本の脚と尻尾がある
 マンクス猫は尻尾を持たないが、上記にあるほか全ての特徴を持っている
 長方形は長さがwとhの四つの辺を持つ。
 正方形は長方形の特徴すべてを持ち、加えて w = h である

このように、サブクラスはスーパークラスのより具体的な種類となる。サブクラスは、たとえ数種の猫は尻尾を持たなくても、猫の状態はすべての猫について一般的に当てはまることに関しての事実となる。またすべての長方形は四つの辺を持つが、正方形はすべての辺の長さが同一であるというより限られた特徴を持つ。

サブクラス-スーパークラス間の関係を、クラス-インスタンス間の関係と混同しないこと。「猫のインスタンス」は「ある特定の猫」の実体を参照する。ここで述べているマンクス猫は依然としてクラス（設計図）である。つまり、マンクス猫の多くのインスタンスが存在しうる。もし特定の猫（猫クラスのインスタンス）が偶然狐によって食いちぎられた尻尾を持っていたとしても、猫クラスは変わらない。変わるのはその特定の猫だけである。

サブクラスとスーパークラスはしばしば、C++開発者ビャーネ・ストロヴストルップによって作られた造語として、それぞれ派生 () クラス、基底 () クラスと呼ばれる。彼は伝統的命名法よりもより直感でこれらの造語を見いだした。

語源 
サブクラスは集合論でいうところの、部分集合 (subset) を語源に持つ。

脚注

関連項目 
 オブジェクト指向プログラミング
 クラス (コンピュータ)
 クラス (コンピュータ)#継承 (inheritance/extension/generalization)
 スーパークラス (計算機科学)
 派生型
 継承 (プログラミング)
 実装継承
 継承セマンティクス
 仮想継承
 部分集合

さふくらす

en:Inheritance (object-oriented programming)#Subclasses and superclasses