一个堆栈类代码的分析

这是来自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,说明堆栈已经空了.