リスコフの置換原則

共変性と反変性

悪名高き正方形と長方形クラス問題

長方形クラスを継承して正方形クラスを作ると、これに違反する

正方形と長方形の性質が、交換できてない

継承する場合は、継承元の性質を全て満たすこと

継承元と先で異なる性質 = 正方形と長方形の関係