順序棧清空操作：為何只需 top = -1 即可？記憶體殘留與邏輯刪除的區別

順序棧實作中，Clear() 函式僅將 top = -1，資料元素仍留在陣列記憶體中，這真的是「清空」嗎？本文從抽象資料型別 (ADT) 契約、記憶體模型、安全性三個層面解析。

ADT 契約視角：棧只承諾「邏輯上不存在」

順序棧的抽象定義：

• 狀態：base（底部指標）、top（頂部索引）、capacity（容量）。
• 有效元素集合：{ base[0], base[1], ..., base[top] }（top >= 0 時）。
• Clear() 契約：使有效元素集合變為空集 ∅。

將 top = -1 即滿足契約：有效元素集合瞬間變空，後續 Push 覆寫舊位置，Pop/Top 回傳錯誤/拋異常。資料結構層面已完成「清空」。

記憶體模型視角：殘留資料 vs 邏輯刪除

何時需要真正「擦除」記憶體？

• 敏感資料：密碼、金鑰、個資等安全需求，需 memset(elements, 0, sizeof(T)*capacity) 或 std::fill 覆寫。
非 POD 型別若 T 有解構函式（如 std::string, std::vector, 自訂類別），必須逐一呼叫解構函式 釋放內部資源，單純 top=-1 會導致資源洩漏！

正確實作範本

template <typename T>
class SeqStack {
    T* elements;
    int top, capacity;
public:
    void Clear() {
        // 1. 呼叫解構函式（非 POD 必須）
        for (int i = 0; i <= top; ++i) {
            elements[i].~T(); // 顯式解構
        }
        // 2. 邏輯清空
        top = -1;
        // 3. (可選) 安全擦除敏感資料
        // std::fill_n(elements, capacity, T{});
    }
    
    ~SeqStack() {
        Clear(); // 復用邏輯
        operator delete(elements); // 釋放原始記憶體
    }
};

教學階段簡化版

教科書示範 int、char 等 POD 型別時，top = -1 足矣。但進階開發必須處理解構與資源釋放，否則在複雜型別上會產生嚴重 Bug。

總結

• 邏輯清空：top = -1 即滿足 ADT 契約，O(1) 極致效能。
• 物理殘留：記憶體位元未變，但被邏輯隔離，後續操作安全覆寫。
• 資源管理：非 POD 型別必須顯式解構；敏感資料需額外擦除。

理解「邏輯狀態」與「物理存儲」分離，是掌握資料結構實作精髓的關鍵。