我们知道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（平衡数据结构）
例如例子中的改变，将不够完美的数据结构加以平衡，提升性能。
扫描二维码关注公众号，回复：
1747882 查看本文章
3.Lazy computation（延缓计算）
不到关键的时刻不去对数据进行计算，例如上文的约分操作，本来应该在创建ADT时就进行的。但程序为了节约资源，只在ADT需要被观察时才去约分。如果ADT仅被创建而不被使用就不去约分，以此提高程序效率。
4.Lazy cleanup（延缓清理）
逻辑与上一点类似，同样是为了提升程序效率。
这样的改变我们叫他有益的可变性（beneficent mutation）,通过让设计原则松动来换取实际的效率。