什么是堆

堆是一颗具有特定性质的二叉树,堆的基本要求就是堆中所有结点的值必须大于或等于（或小于或等于）其孩子结点的值,
这也称为堆的性质；堆还有另一个性质,就是当 h > 0 时,所有叶子结点都处于第 h 或 h - 1 层（其中 h 为树的高度,完全二叉树）,
也就是说,堆应该是一颗完全二叉树；

什么是二叉树

优先队列不再遵循先入先出的原则,而是分为两种情况：

最大优先队列,无论入队顺序,当前最大的元素优先出队。

最小优先队列,无论入队顺序,当前最小的元素优先出队。

比如有一个最大优先队列,它的最大元素是8,那么虽然元素8并不是队首元素,但出队的时候仍然让元素8首先出队：