STL中priority queue的使用注意事項

今天在使用priority_queue寫乙個演算法的時候，總是報heap異常，查了很久，才知道原因。

我們知道優先順序佇列的底層是用heap來實現的，每次push和pop操作後，都會呼叫heapify來調整最大堆得結構。

我們先來看看priority_queue的宣告：

priority_queue, vector>, cmp> pq;

這是我使用的乙個優先順序佇列，佇列裡每個元素都是乙個stack，第乙個引數就是元素的型別，第二個引數是指定優先順序佇列使用什麼容器，如果不指定，預設就是vector。下面是priority_queue的模板宣告：

template,
class _pr = less>

我們可以看到，第三個模板引數就是比較函式了，指定優先順序佇列中的比較方法。這個比較方法必須是strick weak order的，不知道的同學可以上網查一查。這個非常重要，以後每次調整heap前，都會檢查現有佇列是否是strick weak order。下面是我的比較方法：

struct cmp
};

如果你優先順序佇列中的元素是乙個容器的話（比如vector，stack，queue之類的），就需要特別注意了，如果你要向優先順序佇列中的元素（這個元素是乙個容器）中插入元素的話，我的建議是先把該容器整個pop出來，然後更新該容器，再push進去，**如下：

activity a(s[i], f[i]);
stackst = pq.top();
st.push(a);
pq.pop();
pq.push(st);

你會想，這樣寫會更簡便啊：

activity a(s[i], f[i]);
pq.top().push(a);

這會引發乙個嚴重的錯誤，因為你插入的元素並沒有呼叫priority_queue的push操作，所以並不會更新其佇列的順序，這樣，佇列中的順序就可能已經錯亂了，你會說：下次呼叫push的時候不就會重新調整好heap的順序麼，下面我們來看priority_queue的原始碼：

void push(value_type&& _val)

我們在進入push_heap這個agorithm中的演算法（注意這是乙個通用演算法）：

templateinline
void push_heap(_ranit _first, _ranit _last, _pr _pred)
}

注意，在push_heap之前，他會進行_debug_heap_pred檢查，就是檢查堆中的元素是否按照你給定的順序進行排序的，如果不是，直接返回乙個異常。所以，我們在想priority_queue中的容器中插入資料時，先pop，再修改，最後push。不會產生上述問題。