オブジェクト指向と多相性

基本の仕組み

図形に面積を求める操作を定め、円と長方形で計算方法を実装すれば、利用側は同じ操作で面積を求められます。実際の図形の種類によって処理が変わるのが多相性です。

クラスは属性と操作を定義し、オブジェクトはその具体的な実体です。カプセル化は内部状態へのアクセスを管理し、継承は既存の定義を引き継ぎます。継承先で操作の実装を置き換えるのがオーバーライドです。

同じ名前でも引数が違うオーバーロードと、継承した操作を再定義するオーバーライドは別です。継承すれば常に良い設計になるわけではなく、親として扱ったときに約束した振る舞いを守れるかを確かめます。

オブジェクト指向の基本

クラス間の関係では、汎化と特化（is-a関係）と、集約（part-of関係）を区別します。「円は図形の一種」のように共通の性質を上位のスーパークラスにまとめるのが汎化、その逆に下位のサブクラスへ具体化するのが特化です。「エンジンは自動車の一部」のような全体と部分の関係が集約です。

委譲は、あるオブジェクトが受け取った処理の要求を、別のオブジェクトに任せて実行させる仕組みです。継承を使わずに機能を再利用する方法として使われます。