用快照图理解值与对象
为了弄清楚一些隐秘的问题,我们会画一些图来进行解释。快照图(Snapshot diagrams)能代表程序运行时的各种状态——它的栈(即方法和局部变量)和它的堆(即现在存在的对象)。
具体来讲,使用快照图有以下优点:
- 在课堂上和会议上与同学交流
- 解释一些概念例如原始类型 vs. 对象类型不可更改的值 vs. 不可更改的引用, 指针别名, stack栈 vs. 堆heap, 抽象表达 vs. 具体表达.
- 能够帮助你解释你的工程的设计思想
- 为以后的课程做铺垫(例如MIT 6.170中的对象模型)
虽然这些图像都只是解释Java中的一些概念,但是很多都可以延伸到别的现代语言中,例如Python, JavaScript, C++, Ruby.
可更改的值 vs. 可被重新赋值的改变
通过快照图我们可以视图化可更改的值和可被重新赋值的改变之间的区别:
- 当你给一个变量或者一个区域(filed)赋值的时候,你实际上是改变了它指向的方向,即指向了另一个值。
- 当你修改一个可被更改的(mutable)值的时候——例如数组或者列表——你真正修改了这个值本身(译者注:变量或者区域的指向并没有变)
重新赋值和不可改变的(immutable)值
String
就是一种不可改变的(immutable)值,这种类型的值在第一次确定后就不能改变。不可改变性是我们这门课程的一个重要