面向对象设计中的模块化、契约模型、类型与类
1. 面向对象设计的单元视角
在面向对象设计里，如果把对象和类看作“原子”，会得到全新的视角。实际上，我们设计和构建应用程序时，是以由多个类或对象组成的单元或组件为单位的。例如，一个带有目录、标记或迭代器的容器就是这样的单元。要实现这样的容器，就需要相互使用的关系。像一些成功的设计模式，如访问者模式、观察者模式或中介者模式，也都基于相互使用的关系。
近年来的讨论让我们明白，面向对象中的概念设计和构建单元往往超越单个类，这也推动了设计模式、集群、子系统和框架的发展。这意味着，我们需要根据这些设计和构建单元，重新阐述对象元模型中的模块化原则。
2. 面向对象模块化原则
传统模块化设计的基本要素是最大内聚和最小耦合。
-内聚：是指设计或构建单元属性之间的“内部联系”。最大内聚原则要求设计或构建单元内部有很强的关联性。
-耦合：是不同设计或构建单元之间的关系。最小耦合原则试图减少单元之间的联系，尤其要避免循环使用。
Bertrand Meyer提出了一系列标准和规则，以促进模块化概念向面向对象的转变。其中，开闭原则是面向对象中非常重要的特性。
-开闭原则：如果一个设计或构建单元可以扩展，那么它是开放的；如果它能被客户端稳定使用，那么它是封闭的。
一个设计和构建单元应满足以下重要标准：
-可分解性：设计问题应分解为更小、更简单的部分问题，并映射到设计和构建单元。这些单元应形成简单
