この記事には複数の問題があります。改善やノートページでの議論にご協力ください。

独自研究が含まれているおそれがあります。（2017年10月）


正確性に疑問が呈されています。（2017年10月）


独立記事作成の目安を満たしていないおそれがあります。（2017年10月）
出典検索?: "サブクラス" 計算機科学 ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL

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

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

猫には毛が生えており、四本の脚と尻尾がある

マンクス猫は尻尾を持たないが、上記にあるほか全ての特徴を持っている


長方形は長さがwとhの四つの辺を持つ。

正方形は長方形の特徴すべてを持ち、加えて w = h である

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

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

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

サブクラスは集合論でいうところの、部分集合 (subset) を語源に持つ。
脚注^ Stroustrup, Bjarne. The Design and Evolution of C++. Addison-Wesley. Reading, Mass. 1994. ISBN 0-201-54330-3. Page 49

関連項目

オブジェクト指向プログラミング

クラス (コンピュータ)

クラス (コンピュータ)#継承 (inheritance/extension/generalization)


スーパークラス (計算機科学)

派生型

継承 (プログラミング)

実装継承

継承セマンティクス

仮想継承

部分集合