快照图(Snapshot diagrams)能代表程序运行时的各种状态——它的栈(即方法和局部变量)和它的堆(即现在存在的对象)。
具体来讲,使用快照图有以下优点:
在课堂上和会议上与同学交流
解释一些概念例如原始类型 vs. 对象类型不可更改的值 vs. 不可更改的引用, 指针别名, stack栈 vs. 堆heap, 抽象表达 vs. 具体表达.
能够帮助你解释你的工程的设计思想
为以后的课程做铺垫(例如MIT 6.170中的对象模型)
虽然这些图像都只是解释Java中的一些概念,但是很多都可以延伸到别的现代语言中,例如Python, JavaScript, C++, Ruby.
原始值
原始值都是以常量来表达的。上面箭头的来源可以是一个变量或者一个对象的内部区域(field)。
对象值
一个对象用一个圆圈表示。对象内部会有很多区域(field),这些区域又指向它们对应的值。同时这些区域也是有它们的类型的,例如int x 。
可更改的值 vs. 可被重新赋值的改变
通过快照图我们可以视图化可更改的值和可被重新赋值的改变之间的区别: