數據結構棧的定義解析：為什麼只能在棧頂操作？

棧的定義是「限定僅在表頭進行插入和刪除操作的線性表」。初學者常問：既然底層用數組實現，為什麼不能隨意訪問中間元素？本文從抽象數據類型 (ADT) 和封裝角度解答。

核心觀點

「只能在棧頂操作」是棧這一抽象數據類型的規約，而非物理存儲的限制。

三個層面的理解

1. 邏輯層面 (ADT)：棧定義了行為契約——push、pop、peek、isEmpty。這些操作天然實現「後進先出」(LIFO)，是解決遞歸調用、表達式求值、回溯等問題的精確工具。
2. 物理層面：底層可用數組、鏈表、甚至兩個隊列實現。數組下標 0 可作棧底，top 指向棧頂。物理上完全可以讀取任意下標，但那違背了棧的語義。
3. 封裝層面：良好的面向對象設計將底層數組設為 private，僅暴露棧操作方法。使用者無法、也不應繞過接口直接訪問內部數據。

類比說明

• 彈夾：子彈只能從頂部壓入、彈出。雖然你能拆開彈夾從中間取子彈，但那不再是「彈夾」的標準用法。
• 瀏覽器歷史：後退/前進只能操作棧頂，中間頁面不可直接跳轉（需彈出上層）。

代碼示例：封裝的棧類

public class ArrayStack<E> {
    private E[] data;
    private int top = -1;

    @SuppressWarnings("unchecked")
    public ArrayStack(int capacity) {
        data = (E[]) new Object[capacity];
    }

    public void push(E e) {
        if (top + 1 == data.length) resize(2 * data.length);
        data[++top] = e;
    }

    public E pop() {
        if (isEmpty()) throw new IllegalStateException("Stack empty");
        E e = data[top];
        data[top--] = null; // 釋放引用
        return e;
    }

    public E peek() {
        if (isEmpty()) throw new IllegalStateException("Stack empty");
        return data[top];
    }
    // 故意不提供 get(index)、set(index) 等方法
}

何時需要「違規」操作？

極少數場景（如調試、序列化、特定算法優化）可能需要遍歷棧內元素。此時可：

1. 提供 iterator() 實現 Iterable 接口（僅讀遍歷）。
2. 或定義專用方法 toArray() 返回副本。
3. 絕不暴露內部數組引用。

總結

棧限定只能在棧頂操作，是為了精確建模 LIFO 語義，通過接口封裝保證行為純粹。理解「定義即契約」，才能正確使用各類數據結構。