类和型的区别

在某些文献中有一个不太清晰的概念，即类（class)和型（type)是一样的 

实际上这两个概念是有差别的 

类是具有共同属性和方法的对象的集合共同描述 
而对象的型（type）是类的说明 
类是型的实现 


对象型代表的是内含（intension）、而不是外延（extension） 
对象型的属性和方法通常指的是他的特征和职责 
属性表示某事物的特征，方法表示做某事的职责 


一个型的说明是指概念上，逻辑上的问题 
数据的值都有型 
一个类指一个特定的抽象数据类型实现模板 
对象具有类 
类具有一个外部的意义，指明适合于型的对象集合
型是一个对象集合特征的内部定义