二叉堆是一颗二叉树，不一定是满二叉树，但一定是完全二叉树，完全二叉树指的是允许有缺失的部分，但缺失节点的部分一定是右下侧。

二叉堆抽象概念是一个完全填满的二叉树(底层可能有例外)，由于父子关系很有规律(任意位置i上的元素，父亲在abs(i/2),左儿子在2i上，有儿子在2i+1上，用左移右移操作实现乘除)，可以用数组实现而不需要指针(链表)。