この規則の例外には、派生型を作らずに実装の継承ができる言語（privateinheritanceのあるC++など）や基本型から継承した機能を派生型で取り除くことができる言語（Eiffelなど）がある。
这个规则的例外包括C++语言中的私有继承（它不建立子类型），和Eiffel语言中在派生类型上特定运算，在其中继承自基类的特征可以用违反子类型规则的方式去除或修改。