C++ のリスポンビリティ・インバージョン原則

リスコフ置換原則（LSP）とは、オブジェクト指向プログラミングにおける原則の一つで、バーバラ・リスコフによって提唱されたものです。この原則は、SがTのサブタイプの場合、すべてのT型のプログラムにおいて、T型のオブジェクトがS型のオブジェクトに置き換えられても、プログラムの振る舞いが変化しないことを意味しています。

つまり、サブクラスのオブジェクトはスーパークラスのオブジェクトの代わりに使用でき、元のプログラム構造を壊さずに拡張できるべきです。これは、サブクラスはスーパークラスのすべてのメソッドを実装でき、メソッドの動作はスーパークラスと一致し、元の動作を修正したり、新しい例外をスローしたりしてはならないことを意味します。サブクラスがスーパークラスのメソッドを修正または拡張する必要がある場合は、スーパークラスのメソッドをオーバーライドすることで実現する必要があります。

LSPの目的は、プログラムの堅牢性と拡張性を確保することで、プログラムのコードが要求の変化に柔軟に対応し、親クラスのコードをより良く再利用できるようにすることです。LSPを守ると、コードのメンテナンス性と拡張性が向上し、多態性をより良くサポートできます。