リスコフの置換原則

リスコフの置換原則（LSP）とは、「親クラス（基本型）を使っている場所で、その子クラス（派生型）に置き換えても、プログラムが正しく動作しなければならない」という原則である。継承関係において、子は親の振る舞いを完全に満たす必要があり、親が持っていない制約を勝手に追加したり、親の機能を削除したりしてはならない。これが守られないと、ポリモーフィズムを利用した際に予期せぬバグが発生する。