堆是一種特殊的數據結構，通常被視為一棵完全二叉樹。
在堆中，每個節點都滿足特定的條件，即父節點的鍵值總是大於或等於（在最大堆中）或小於或等於（在最小堆中）任何一個子節點的鍵值，這種性質被稱為堆性質。堆的主要套用之一是實現優先佇列等算法。堆可以用數組來實現，在數組中，下標為i的節點的左節點為2i+1，右節點為2i+2，父節點為(i-1)/2向下取整。
堆分為兩種主要類型：最大堆和最小堆。在最大堆中，根節點的鍵值大於其所有子節點，而在最小堆中，根節點的鍵值小於其所有子節點。堆的這種結構使得它在執行插入、刪除和獲取最大（或最小）值等操作時具有高效性能。
此外，在計算機記憶體管理中，堆也指代了記憶體中用於動態分配記憶體的區域。這塊記憶體需要程式設計師手動分配和釋放，以避免記憶體洩漏等問題。