Hit软件构造3.Abstract Data Type (ADT)

1.Abstraction and User-Defined Types

    A programming language came with built-in types (such as integers, booleans, strings, etc.) and built-in procedures, e.g., for input and output.
        An abstract data type Bool has the following operations:

1. 
   – true: Bool 
   – false: Bool
   – and: Bool × Bool → Bool 
   – or: Bool × Bool → Bool 
   – not: Bool → Bool

 一个ADT是由操作定义的，但是与他的内部实现无关。

2.Classifying Types and Operations

Mutable types（可变类型的对象）：提供了可改变其内部数据的值的操作

Immutable types（不变数据类型）： 其操作不改变内部值，而是构造新的对象

要注意的是，immutable中并不是绝对的不可以改变值，可以通过构造新的对象的方法对内部值进行修改。
 

3.Abstract Data Type Examples

int类型和String类型就是典型的immutable类型

int is immutable, so it has no mutators.
– creators: the numeric literals 0 , 1 , 2 , …
– producers: arithmetic operators + , - , * , /
– observers: comparison operators == , != , < , >
– mutators: none (it’s immutable)

String is Java’s string type. String is immutable.
– creators: String constructors
– producers: concat , substring , toUpperCase
– observers: length , charAt
– mutators: none

List是一个mutable类型

方法类型距离：

Integer.valueOf()                Creator
BigInteger.mod()                 Producer
List.addAll()                    Mutator
String.toUpperCase()             Producer
Set.contains()                   Observer
Map.keySet()                     Observer
Collections.unmodifiableList()   Producer
BufferedReader.readLine()        Mutator

4.Designing an Abstract Type

1.设计简洁、一致的操作

2.要足以支持client对数据所做的所有操作需要，且 用操作满足client需要的难度要低

5.Representation Independence

 表示独立性：client使用ADT时无需考虑其内部如何实 现，ADT内部表示的变化不应影响外部spec和客户端。

    非ADT的操作指明了具体的pre-和post-condition，否则不能改变ADT的内部表示——spec规定了 client和implementer之间的契约。

一种导致表示泄露的错误：