软构复习第四章

可变对象与不可变对象

mutable与immutable对象在值上是没有差别的，它们的差别主要表现在引用上。

当只有一个引用指向该值，没有区别。有多个引用的时候，差异就出现了。可变对象中多个引用指向同一个可变对象，因此一个引用对值得修改将会导致其他引用得值得修改。而不可变对象多个引用对对象的修改会导致新对象的创建。

因此使用不可变类型，对其频繁修改会产生大量的临时拷贝(需要垃圾回收)。可变类型最少化拷贝以提高效率。使用可变数据类型，可获得更好的性能。可变类型也适合于在多个模块之间共享数据。不可变类型更“安全”，在其他质量指标上表现更好。由于可变类型特性引发的错误常常难以发现。因此在对安全有需求的情况下常常使用不可变类型。

4 Snapshot diagram as a code-level, run-time, and moment view

快照图（Snapshot diagrams）能代表程序运行时的各种内部状态。

具体来讲，使用快照图有以下优点：

便于程序员之间的交流
解释一些概念例如原始类型 vs. 对象类型不可更改的值 vs. 不可更改的引用, 指针别名, stack栈 vs. 
便于解释设计思路
为以后的课程做铺垫

基本类型的值

 

可变对象的值

 

不可变对象：用双线椭圆

不可变对象的引用：用双箭头