软件构造之Snapshot Diagram

快照图（Snapshot diagrams）能代表程序运行时的各种内部状态——它的栈（即方法和局部变量）和它的堆（即现在存在的对象）。

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

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

基本类型的值

原始值都是以常量来表达的。箭头的来源可以是一个变量或者一个对象的内部区域（field）

对象类型的值

一个对象类型的值用一个圆圈表示。

当我们想要展示更多的细节的时候，我们可以在里边写一些区域（field）的名字，同时这些区域又指向它们对应的值。若要展示更多的细节，可以写出这些区域的类型。

重新赋值和不可改变的（immutable）值

例如，如果我们有一个 String 变量 s, 我们可以将它从 "a" 赋值为 "ab".

String s = "a";
s = s + "b";

不可更改的对象（在快照图中以双圆圈的边框表示，例如在我们上面程序中的字符串对象。

可更改的（mutable）值 

 StringBuilder (Java的一个内置类) 是一个可更改的字符串对象，它内置了许多改变其内容的方法：

StringBuilder sb = new StringBuilder("a");
sb.append("b");

 

而对于不可变的引用则用双线箭头表示：