一个堆栈类代码的分析

这是来自Think in Java中泛型那一章中的一段代码，感觉代码写得很好，但是理解起来很费劲。经过反复思考，有了自己的一些理解。

先上代码：

public class LinkedStack<T> {
private static class Node<U> {
U item;
Node<U> next;
Node() { item = null; next = null; }
Node(U item, Node<U> next) {
this.item = item;
this.next = next;
}
boolean end() { return item == null && next == null;}
}
private Node<T> top = new Node<>();
public void push(T item) {
top = new Node<T>(item, top);
}
public T pop() {
T result = top.item;
if(!top.end()) {
top = top.next;
}
return result;
}
public static void main(String[] args) {
LinkedStack<String> lss = new LinkedStack<>();
for(String s : "Phasers on stun!".split(" "))
lss.push(s);
String s;
while((s = lss.pop()) != null) {
System.out.println(s);
}
}
}

首先从代码的main函数入手,new了一个LinkedStack<String>的对象lss,然后将字符串"Phasers on stun!"切割作为数组进行循环.
之后调用lss的push方法,代码的精妙之处就开始了:

刚开始的时候,我们有一个Node<T>对象top,称它为第一个top,   top.item=null,top.next=null.



然后第一次push的时候:把"phasers"和第一个top传了进去. 得到item = phasers, next = top(第一个);产生了一个新的top,也就是top指向下一个栈空间.



然后第二次push的时候:把"on"和第一个top传了进去. 得到item = on, next = top(第一个);堆中的引用又指向了下一个栈空间.



第三次:



所以产生了一个传统的下推堆栈.

书中原话:这个例子使用了一个末端哨兵(end sentinel)来判断堆栈何时为空.这个末端哨兵实在构造LinkedStack时创建的.然后,每次调用一次push()方法,就会创建一个Node<T>对象,并将其链接到前一个Node<T>对象.当你调用pop()方法时,总是返回top.item,然后丢弃当前top所指的Node<T>,并将top转移到下一个Node<T>,除非你已经碰到了末端哨兵,这时候就不能移动top了.如果已经到了末端,客户端程序还继续调用pop()方法,它只能得到null,说明堆栈已经空了.