ADT的规约里也不应该谈及任何内部表示的细节,以及R空间中的任何值
ADT的内部表示(私有属性)对外部都应该严格不可见
故在代码中以注释的形式写出AF和RI而不能在Javadoc文档中,防止被外部看到而破坏表示独立性/信息隐藏
在对象的初始状态不变量为true,在对象发生变化是,不变量也要为true
构造器和生产器在创建对象是要确保不变量为true
变值器和观察器在执行时必须保持不变性
在每个方法return之前,用checkRep()检查不变量是否得以保持
表示泄露的风险:一旦泄露,ADT内部表示可能会在程序的任何位置发生改变(而不是限制在ADT内部),从而无法确保ADT的不变量是否能够始终保持为true
用ADT不变量取代复杂的Precondition,相当于将复杂的precodition封装到了ADT内内部
类成员变量,类方法,使用static,即要声明某个变量或方法是属于类的,就在前面加static
静态方法无法调用非静态成员(方法和变量)
静态方法是可以通过类的名字直接调用的,非静态方法要先声明一个对象,再调用
interface(接口)
接口中只有方法定义,没有实现,需要通过类来实现
interface和class:定义和实现ADT
接口之间可以继承与扩展
一个类可以实现多个接口(从而具备了多个接口中的方法)
一个接口可以有多种实现类
接口中不可以有构造函数
接口:确定了ADT的规约; 类:实现了ADT
实现ADT时,也可以不需要接口,直接使用类作为ADT,即有ADT定义也有ADT实现
实际中更倾向于使用接口来定义变量