计算机中的一些名词解析

这篇文章会持续更新中

一、is-A   关系

在 知识表示、 面向对象程序设计与 面向对象设计的领域里， is-a（ 英语： subsumption，包含架构）指的是类的父子继承关系，例如类 D是另一个类 B的子类（类 B是类 D的父类）。

中文名

Is-a

外文名

subsumption

实    质

指的是类的父子继承关系

例    子

类 D是另一个类 B的子类

换句话说，通常" Dis aB"（ B把 D包含在内，或是 D被包含在 B内）指的是，概念体 D物是概念体 B物的 特殊化，而概念体 B物是概念体 D物的一般化。举例来说， 水果是 苹果、 橘子、 芒果与其他水果的一般化。

在 面向对象程序设计里， is-a类关系是在 继承概念的背景之下所形成的。有一说法是，对于所有水果来说， 苹果继承（ 英语： inherit）所有的属性，就像是肉质多的水果包住种子般。

is-a与 has-a两者是不同的对比，是以 整体- 附属阶层关系所组成的。也可以是 instance-of的对比：请参考型态与个例的区别。

在真实世界里设计一个模型时（例如 计算机程序），尤其是物件与它的下一层从属物件，在 has-a与 is-a两者的关系上容易产生概念上的错误。

二、