堆是计算机科学中一类特殊的数据结构的统称。堆通常是一个可以被看做一棵树的数组对象。堆总是满足下列性质：堆中某个节点的值总是不大于或不小于其父节点的值，堆总是一棵完全二叉树。将根节点最大的堆叫做最大堆或大根堆，根节点最小的堆叫做最小堆或小根堆。常见的堆有二叉堆、斐波那契堆等。

在计算机科学中，堆是一种特殊的树形数据结构，每个结点都有一个值，通常所说的堆的数据结构，是指二叉堆，堆的特点是根结点的值最小或最大，且根结点的两个子树也是一个堆。