子类型确使一个给定的类型被用于替换其他的类型或抽象。子类型被称为建立了在子类型和某种现存抽象之间的is-a联系，要么隐式要么显式，依赖于语言支持。这个联系在支持继承作为子类型机制的语言中可以通过继承来显式表达。
C++.下列C++代码建立在类B和A之间的显式继承联系，这里的B是A的子类和子类型二者，并且在指定了B的任何地方（通过引用、指针或对象自身）B都可以作为A使用。class Aclass B : public Avoid UseAnA(A const& some