。在真实世界里设计一个模型时（例如计算机程序），尤其是物件与它的下一层从属物件，在has-a与is-a两者的关系上容易产生概念上的错误。is-a还可以是对比于instance-of，详情可参考类型和个例的区别。
子类型的例子.子类型确使一个给定的类型被用于替换其他的类型或抽象。子类型被称为建立了在子类型和某种现存抽象之间的is-a联系，要么隐式要么显式，依赖于语言支持。这个联系在支持继承作为子类型机制的语言中可以通过继承来显式表达。
C++.下列C++代码