在面向对象的设计中,类型是指对某一特定对象的算法和变量的样板定义.这样,一个对象就是一个类型的一个特殊实体,包括实值而没有变量.一个类型就是一个面向对象设计的具体方案.类型的重要方案为：一个类型有一个亚类型，这个亚类型继承了类型的一部分或者全部的特性，联合每一个亚类型，则原类型成为超类型。亚类型也可以有自己的算法和变量，并且这些算法和变量不属于超类型一个类型和它的亚类型的结构称为类别继承体系。