快照_快照图

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

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

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

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

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

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

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

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

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

不可更改的引?

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

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