Immutable类型ADT内的表示（域的值）就真的不可更改吗？

我们知道ADT可以被分为两类，存在mutator方法的mutableADT以及不存在mutator方法的immutableADT。

一般来说immutableADT中的域是不可更改的，但这也并非是绝对的。

只要保证更改后immutableADT所表达的抽象含义没有更改，immutableADT中的域是可以被更改的。

但是这里的更改一般在observer等方法中完成，ADT中还是不能加入mutator方法。

举个例子，一个表达分数的ADT。ADT内有域int value1，int value2。AF(value1,value2) = value1/value2.

如果在该方法中的observer中添加语句，将value1，value2约分，使value1，value2达到最小。这改变了ADT的具体表示，但并没有改变其抽象含义，是合法的。

那么我们在immutableADT中强行改变域的值的好处是什么呢？

1.caching(缓存)

2.Data structure rebalancing（平衡数据结构）

例如例子中的改变，将不够完美的数据结构加以平衡，提升性能。

3.Lazy computation（延缓计算）

不到关键的时刻不去对数据进行计算，例如上文的约分操作，本来应该在创建ADT时就进行的。但程序为了节约资源，只在ADT需要被观察时才去约分。如果ADT仅被创建而不被使用就不去约分，以此提高程序效率。

4.Lazy cleanup（延缓清理）

逻辑与上一点类似，同样是为了提升程序效率。

这样的改变我们叫他有益的可变性（beneficent mutation）,通过让设计原则松动来换取实际的效率。