Liskov Substitution Principleは、インターフェイスを実装するクラスにも適用されますか？

LSPは、クラスがその基本クラスの代わりになるべきであると述べています。つまり、派生クラスと基本クラスは意味的に同等でなければなりません。

しかし、LSPはインターフェイスを実装するクラスにも適用されますか？言い換えると、クラスによって実装されたインターフェイスメソッドが、ユーザーが期待するものと意味的に異なる場合、これはLSPの違反と見なされますか？

場合インターフェイスメソッドクラスによって実装は、ユーザが、これはLSPの違反と見なされるであろう、それがあることを期待するものと意味的に異なりますか？

実装が、インターフェイスの不変条件とそのメソッドの事前条件および事後条件によって文書化された動作と意味的に異なる場合、答えは「はい」であり、LSPの違反になります。この原則は、抽象化側がクラスの形式で存在することを必要とせずに、抽象化とその実装のルールを確立します。

ただし、ユーザーが期待するものについて話すと、答えは「必ずしも必要ではない」ことになります。ユーザーは間違った期待をする権利があります。