软件构造 学习笔记05

1 设计规约

关于设计规约：

代码中的设计决策：给编译器读

注释形式的“设计决策”：给自己和别人读

Specification and Contract

• Spec给供需双方都确定了责任，在调用的时候双方都要遵守
• 区分责任
• 客户端无需阅读调用函数的代码，只需理解spec即可

Behavioral equivalence (行为等价性)

两个函数是否可以相互替换

• 根据规约判断行为是否等价

Spec的结构：前置条件和后置条件

• 前置条件：对客户端的约束，在使用方法时必须满足的条件
• 后置条件：对开发者的约束，方法结束时必须满足的条件
• 契约：如果前置条件满足了，后置条件必须满足

静态类型声明是一种规约，可据此进行静态类型检查

方法前的注释也是一种规约，但需人工判定其是否满足

Designing specifications

规约的分类

规约的强度：

S2>S1意味着：

• S2的前置条件更弱
• S2的后置条件更强

就可以用S2替代S1

越强的规约意味着实现者的责任越重，而客户端的责任越轻

• 确定的规约：给第一个满足前置条件的输入，其输出是唯一的、明确的
• 欠定的规约：同一个输入可以有多个输出
• 非确定的规约：同一个输入，多次执行时得到的输出可能不同

操作式规约，例如伪代码

声明式规约：没有内部实现的描述，只有“初-终”状态

声明式规约更有价值

规约的图示

某个具体实现， 若满足规约，则落在其范围内；否则，在其之外

程序员可以在 规约的范围内自由选择实现方式

客户端无需 了解具体使用了哪个实现

更强的规约，表达为更小的区域

设计好的规约

• 内聚的（coherent）：Spec描述的功能应该单一、简单、易理解

• 信息丰富的：不能让客户端产生理解的歧义

• 足够强（让client放心）

• 足够弱（减轻开发者负担）

• 使用抽象类型

• precondition or postcondition?

  客户端不喜欢太强的precondition，惯用做法是不限定太强的precondition，而是在postcondition中抛出异常：输入不合法

  归纳：是否使用前置条件取决于：

  • check的代价
  • 方法的使用范围

  如果只在类内部使用该方法（private），那么可以不用前置条件，在使用该方法的各个位置进行check--责任交给内部client

  如果在其他地方使用该方法（public），那么必须使用前置条件，若client端不满足则方法抛出异常。

2 Equals

• ==是引用等价性 ；而equals()是对象等价性。 
  • == 比较的是索引。更准确的说，它测试的是指向相等（referential equality）。如果两个索引指向同一块存储区域，那它们就是==的。对于我们之前提到过的快照图来说，==就意味着它们的箭头指向同一个对象。
  • equals()操作比较的是对象的内容，换句话说，它测试的是对象值相等（object equality）。e在每一个ADT中，quals操作必须合理定义。

• 基本数据类型，也称原始数据类型。byte,short,char,int,long,float,double,boolean 
  • 他们之间的比较，应用双等号（==）,比较的是他们的值。 
• 复合数据类型(类) 
  • 当他们用（==）进行比较的时候，比较的是他们在内存中的存放地址，所以，除非是同一个new出来的对象，他们的比较后的结果为true，否则比较后结果为false。
  • JAVA当中所有的类都是继承于Object这个基类的，在Object中的基类中定义了一个equals的方法，这个方法的初始行为是比较对象的内存地址，但在一些类库当中这个方法被覆盖掉了，如String,Integer,Date在这些类当中equals有其自身的实现，而不再是比较类在堆内存中的存放地址了。 
  • 对于复合数据类型之间进行equals比较，在没有覆写equals方法的情况下，他们之间的比较还是基于他们在内存中的存放位置的地址值的，因为Object的equals方法也是用双等号（==）进行比较的，所以比较后的结果跟双等号（==）的结果相同。
• HahCode：Java中的hashCode方法就是根据一定的规则将与对象相关的信息（比如对象的存储地址，对象的字段等）映射成一个数值，这个数值称作为散列值。

　　当我们当向集合中插入对象时，就可以使用hashcode，先调用这个对象的hashCode方法，得到对应的hashcode值，实际上在HashMap的具体实现中会用一个table保存已经存进去的对象的hashcode值，如果table中没有该hashcode值，它就可以直接存进去，不用再进行任何比较了；如果存在该hashcode值， 就调用它的equals方法与新元素进行比较，相同的话就不存了，不相同就散列其它的地址，所以这里存在一个冲突解决的问题，这样一来实际调用equals方法的次数就大大降低了。