开始读《Data Structures and the Java Collections Framework》

今天第一次来我们学校的图书馆 ，借了几本书，看来还是应该认真地多读一些书，就先从《数据结构和Java集合框架》入手吧！今天的任务是看完第一章！

由变量和作用于变量的方法组成类（Class）。类由字段以及对这些字段进行操作的方法组成。一个类在单个实体中封装了被动组件（字段）和主动组件（方法）。封装增加了程序的模块性：因为一个类和程序的其他部分隔离开来，所以程序更加容易理解、更便于修改。

方法描述提供给用户了解方法的所有信息。每个方法描述包括三部分组成：前置条件（precondition）、后置条件（postcondition）和方法标题。前置条件是程序在执行方法之前的状态要求。后置条件是在前置条件为真的前提下，程序执行方法之后的状态要求。前置条件和后置条件由调用对象和形式参数确定。

数据抽象是将类向用户提供的功能和怎样实现这些功能进行分离的过程。用户主要关心的是类提供了什么，而不是类的具体实现过程，他们此时实际上就已经应用了数据抽象原则：
数据抽象原则（Principle of Data Abstraciton）用户代码无法访问所使用类的实现细节。
类的开发者应当创建功能完备的方法，使得用户无需关心任何实现细节。方法的前置条件和后置条件属于开发者和用户之间的含蓄的契约（如果方法的用户确保在方法调用之前前置条件为真，那么开发者应当保证方法执行完毕时后置条件为真）。

从开发者的观点看，类由字段和对字段进行操作的方法组成。从用户的观点看，类由方法描述组成。