栈是一种后进先出的数据结构。在它之上，主要有三种操作：

(1)判断栈是否为空——empty()；

(2)在栈顶添加一个元素——push(E)；

(3)删除并返回栈顶元素——pop()。

在Java类库中，Stack类实现了栈，它继承自Vector类：

public class Stack extends Vector

于是，Stack用数组保存元素：

protected Object[] elementData;

用一个整数记录栈中元素的个数：

protected int elementCount;

接下来看看栈的三种操作在Stack中是如何实现的。

1.

empty() 方法实现如下：

public boolean empty() {

return size() == 0;

}

size()方法是在Vector中定义的方法，具体定义如下：

public synchronized int size() {

return elementCount;

}

它返回栈中元素的个数，也就是说，如果栈中元素个数为0，栈就为空。

2.push(E element)方法实现如下：

public E push(E item) {

addElement(item);

return item;

}

它调用addElement(E)方法实现向栈中添加元素，addElement(E)方法实现如下：

public synchronized void addElement(E obj) {

modCount++;

ensureCapacityHelper(elementCount + 1);

elementData[elementCount++] = obj;

}

只需要关注方法的最后一行：

elementData[elementCount++] = obj;

它将元素添加到之前数组中已有元素的后面并把元素个数加1，这正是栈的push操作需要的。

3.pop()方法实现如下：

public synchronized E pop() {

E obj;

int len = size();

obj = peek();

removeElementAt(len - 1);

return obj;

}

前面已经知道size()返回栈中元素的个数，于是len等于elementCount；peek()是Stack中的另一个方法，用于返回栈顶元素；removeElementAt(int)是Vector中定义的方法，删除指定位置元素。

peek()实现如下：

public synchronized E peek() {

int len = size();

if (len == 0)

throw new EmptyStackException();

return elementAt(len - 1);

}

peek()方法又调用Vector中定义的方法elementAt(int)返回栈顶元素，elementAt(int)的实现如下：

public synchronized E elementAt(int index) {

if (index >= elementCount) {

throw new ArrayIndexOutOfBoundsException(index + " >= " + elementCount);

}

return elementData(index);

}

elementAt(int)方法又调用elementData(int)方法，elementData(int)方法实现如下：

E elementData(int index) {

return (E) elementData[index];

}

原来，peek()方法实际上就是通过elementData[len-1]返回栈顶元素的。

接下来看removeElementAt(int)方法：

public synchronized void removeElementAt(int index) {

modCount++;

if (index >= elementCount) {

throw new ArrayIndexOutOfBoundsException(index + " >= " +

elementCount);

}

else if (index < 0) {

throw new ArrayIndexOutOfBoundsException(index);

}

int j = elementCount - index - 1;

if (j > 0) {

System.arraycopy(elementData, index + 1, elementData, index, j);

}

elementCount--;

elementData[elementCount] = null; /* to let gc do its work */

}

pop()中传给removeElementAt(int)的参数是len-1,

也就是elementCount-1,也就是说，removeElementAt(int)中的j=0，于是removeElementAt(int)方法直接执行到：

elementCount--;

elementData[elementCount] = null; /* to let gc do its work */

这两行通过先把栈中元素数量减1，然后把之前的栈顶元素设置为null使之被垃圾收集器回收达到删除栈顶元素的目的。