堆棧是一個在計算機科學中經常使用的抽象數據類型。堆棧中的物體具有一個特性: 最後一個放入堆棧中的物體總是被最先拿出來， 這個特性通常稱爲後進先處(LIFO)隊列. 堆棧中定義了一些操作. 兩個最重要的是PUSH和POP。 PUSH操作在堆棧的頂部加入一個元素。POP操作相反， 在堆棧頂部移去一個元素， 並將堆棧的大小減一。
爲什麼使用堆棧?
現代計算機被設計成能夠理解人們頭腦中的高級語言。 在使用高級語言構造程序時 最重要的技術是過程(procedure)和函數(function)。 從這一點來看， 一個過程調用可 以象跳轉(jump)命令那樣改變程序的控制流程， 但是與跳轉不同的是， 當工作完成時， 函數把控制權返回給調用之後的語句或指令。 這種高級抽象實現起來要靠堆棧的幫助。 堆棧也用於給函數中使用的局部變量動態分配空間， 同樣給函數傳遞參數和函數返 回值也要用到堆棧。