面向对象编程中的类型、类、值与对象
1. 类型与类的实现
在定义类型实例的行为时，除了接口之外，我们还可以通过类来实现类型。只要类型层次结构和类层次结构相匹配，就可以使用断言和受控重定义来实现对象的相似行为。
有些语言（如 Java）可以使用命名接口而非类来引入用户定义的类型。大多数面向对象编程语言都提供了并非以类形式定义的原始数据类型，例如整数类型。
一个对象可以具有不同的类型，不同类的对象也可以具有相同的类型。对象接口的一部分可以由一种类型来表征，而其他部分则由其他类型来表征。对于两个对象属于同一类型而言，只需它们的部分接口相等即可。
2. 类与类型的区别
如果类型严格指的是接口定义，那么类和类型可以是完全分离的概念。如果一个类型仅代表一个命名接口定义，那么它仅仅保证该类型的实例能够识别一组特定的消息。每个类型都指定了必须在程序的某个地方定义的操作。一个类可以声明它所满足的命名接口意义上的类型。定义这些操作的实际类与类层次结构无关且相互独立。
当然，如果我们使用的编程语言将类和类型的概念关联起来，那么类和类型之间就存在关系。在这种情况下，类定义了一个类型。当我们说“一个对象是一个类的实例”时，意味着该对象支持由类定义的接口。符合类型的消息调用要求对象能够理解该消息，换句话说，对象的类必须实现被调用的操作。
当我们使用类型定义来指定实例的行为时，可以进一步将类和类型关联起来。在这种情况下，使用一个合适的类来定义类型实例的行为似乎是有意义的。如果类型层次结构和类层次结构相匹配，那么我们可以通过类层次结构来定义和限制某一类型对象的具体或抽象行为。实现这一方法的合适手段包括契约模型，以及将我们的概念模
