快照图

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

 

⼀个对象⽤⼀个圆圈表⽰。对象内部会有很多区域（field），这些区域⼜指向它们对应的值。同时这些区域也是有 它们的类型的，例如 int x 。

 

可更改的值 vs. 可被重新赋值的改

当你给⼀个变量或者⼀个区域（filed）赋值的时候，你实际上是改变了它指向的⽅向，即指向了另⼀个值。

当你修改⼀个可被更改的（mutable）值的时候——例如数组或者列表——你真正修改了这个值本⾝。

 

 

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

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

我们有⼀个 String 变量 s , 我们可以将它从 "a" 赋值为 "ab"。

string就是⼀种不可改变的（immutable）值。不可更改的对象在快照图中以双圆圈的边框表⽰。

不可更改的引⽤

java中不可更改的引⽤： final 声明，变量⼀旦被赋值就不能再次改变它的引⽤（指向的值或者对象）。

 

如果Java编译器发现 final 声明的变量在运⾏中被赋值多次，它就会报错。在快照图中，不可更改的引⽤（ final ）⽤双箭头表⽰，例如上图中的 id ， Person 的 id 引⽤不可改变，但 是age却是可改变的。