Snapshot Diagram

主要内容来自MIT6.031 Software Construction课程及HIT 软件构造课程。

Snapshot Diagram是一种能表示程序运行时状态的图。使用绘Snapshot Diagram的方式对我们了解在运行时发生了什么是很有帮助的，尤其是在解决一些复杂的bug时。

Snapshot Diagram也对我们理解一些Java的概念有帮助，例如基本数据类型（primitive type）和对象数据类型（object type）、不可变值（immutable value）以及不可变引用（immutable reference）、指针混淆（pointer aliasing）等等。

Snapshot Diagram也更加直观的阐述的改变引用与改变值的内在实质。

--当为一个变量或者变量域赋值的时候，你其实是在改变变量指针的指向，你把变量指向了一个不同的值。

--当你改变一个可变值的时候，例如数组和list，你其实是在改变值里面的引用。

 

怎么画出Snapshot Diagram

对于基本数据类型，直接使用箭头指向就好了。

 

对于对象数据类型，需要在外面有一个边界

对于不可变对象，则是一个双层的边界。并且要注意改变不可变对象的方式是改变指向。

 

 可变对象

对于基本数据类型的不可变引用（使用了final关键字），使用双层的线段指向值，代表不能改变。