Java 程序设计基础（附1：空间分配机制）

空间分配对于程序运行至关重要. 用 C 语言比较容易获得地址信息, 但用 Java 却做不到. 这里以图 1 为例, 大概解释一下.
图1. 链队列操作过程

1. 静态空间分配

Node header;
Node tail;
header = null;
tail = null;

第 1 行分配了一个静态的空间给 header, 其大小为 4 或 8 个字节, 与操作系统有关, 表示内存一个地址. 第 2 行同理. 假设 header 和 tail 自己占的内存地址为分别为 10000 和 10004.
第 3, 4 行给 header 赋值, 假设 null 被系统解释为 $-1$, 则内存地址 10000 和 10004 存放的数据都为 $-1$.

2. 动态空间分配

现在执行链队列的操作.

//The first subgraph
header = new Node(-1);
tail = header;
//The second subgraph
Node tempNode = new Node(1);
tail.next = tempNode;
tail = tempNode;
//The third subgraph
 tempNode = new Node(2);
tail.next = tempNode;
tail = tempNode;
//The fourth subgraph
tempNode = header.next;
header.next = header.next.next;

第 1 行分配了一片新空间装实际的节点. 假设新空间的开始地址为 20000, 每个节点占 100 字节. 则 header 变量的值 (即空间10000开始存放的值) 为 20000.
第 2 行将 header 的值拷贝给 tail, 因此 tail 变量的值 (即空间10004开始存放的值) 也为 20000.
为简便起见, 假设 next 域占据对象位置的开头, 即 20000-20004 现在存放的是 header.next (相当于 tail.next) , 根据对象构造方法, 其值为 $-1$.

第 5 行同时涉及静态与动态空间配. tempNode 占用的是空间 10008 开始的 4 个字节. 新节点占用的空间为 20100 开始的 100 个字节. 因此, tempNode 变量的值 (即空间10008 开始存放的值为 20100).
第 6 行将空间 20000-20003 的值从 $-1$ 改为 20100, 因此它指向 tempNode.
第 7 行将空间 10004-10007 的值从 20000 改为 20100.

同理,
第 5 行涉及动态空间配. tempNode 占用的是空间 10008 开始的 4 个字节. 新节点占用的空间为 20200 开始的 100 个字节. 因此, tempNode 变量的值 (即空间10008 开始存放的值为 20200).
第 10 行将空间 20100-20103 的值从 $-1$ 改为 20200, 因此它指向 tempNode.
第 11 行将空间 10004-10007 的值从 20100 改为 20200.

为了进行节点的删除,
第 13 行将 tempNode 10008-10011 的值改为 20100.
第 14 行将 header.next 20000-20003 的值改为 20200.

3. 垃圾回收

假设将 header 的值返回. tempNode 作为临时变量, 出了方法 (该变量的作用域) 后, 10008-10011 共三个静态分配变量的空间被收回.
这时, 通过 10000 可以访问到 20000-2099, 20200-20299 这两片空间. 20100 - 20199 的空间无法再访问到, 就被系统回收.

欢迎写出来查错, 并告诉我.