::::性质.堆的实现通过构造二叉堆（binary heap），实为二叉树的一种；由于其应用的普遍性，当不加限定时，均指该数据结构的这种实现。这种数据结构具有以下性质。将根节点最大的堆叫做最大堆或大根堆，根节点最小的堆叫做最小堆或小根堆。常见的堆有二叉堆、斐波那契堆等。
支持的基本操作.某些堆实现还支持其他的一些操作，如斐波那契堆支持检查一个堆中是否存在某个元素。
例程.为将元素</code>X</code>插入堆中，找到空闲位置，建立一个空穴，若满足