>>354-355
クラスであれインターフェイスであれ、サブタイピングによる多相性を利用する場合には、部分型は上位型の不変条件のすべてを常に遵守する必要がある。型レベルの互換性だけでなく、振る舞いレベルでの互換性（要するにリフコフの置換原則）を厳密に維持・遵守しなければならない。
インターフェイスを使えば遵守しなければならない不変条件を減らせるので、サブタイピングによる多相性を利用する場合にはインターフェイスを使う方が良いとはいえるが、それはあくまでもサブタイピング多相性を利用する場合という前提条件下でのベターな手法ということに過ぎない。サブタイピング多相性の上記のような意味論的制約を本質的に免れることができるわけではないということね。