std::pop_heap

預設 (1)	template <class RandomAccessIterator> void pop_heap (RandomAccessIterator first, RandomAccessIterator last);
自定義 (2)	template <class RandomAccessIterator, class Compare> void pop_heap (RandomAccessIterator first, RandomAccessIterator last, Compare comp);

預設 (1)

template <class RandomAccessIterator>  void pop_heap (RandomAccessIterator first, RandomAccessIterator last);

自定義 (2)

template <class RandomAccessIterator, class Compare>  void pop_heap (RandomAccessIterator first, RandomAccessIterator last,                 Compare comp);

從堆中彈出元素

重新排列堆範圍 [first,last) 中的元素，使得被視為堆的部分縮短一個元素：具有最大值的元素被移動到 (last-1)。

當具有最大值的元素從 first 移動到 (last-1)（現在已移出堆）時，其他元素將被重新組織，使得範圍 [first,last-1) 保持堆的性質。

可以透過呼叫 make_heap 來組織一個範圍進入堆。之後，如果使用 push_heap 和 pop_heap 分別新增和移除元素，則堆的性質將得到保持。

引數

first, last: 隨機訪問迭代器指向要縮短一個元素的堆的初始和最終位置。使用的範圍是 [first,last)，它包含 first 和 last 之間的所有元素，包括 first 指向的元素，但不包括 last 指向的元素。
此範圍不應為空。
comp: 二元函式，接受範圍內的兩個元素作為引數，並返回一個可轉換為 bool 的值。返回的值指示作為第一個引數傳遞的元素是否在其定義的特定*嚴格弱序*中小於第二個元素。
除非 [first,last) 是一個單元素堆，否則此引數應與構建堆時使用的引數相同。
該函式不得修改其任何引數。
這可以是函式指標或函式物件。

返回值

無

示例

// range heap example
#include <iostream>     // std::cout
#include <algorithm>    // std::make_heap, std::pop_heap, std::push_heap, std::sort_heap
#include <vector>       // std::vector

int main () {
  int myints[] = {10,20,30,5,15};
  std::vector<int> v(myints,myints+5);

  std::make_heap (v.begin(),v.end());
  std::cout << "initial max heap   : " << v.front() << '\n';

  std::pop_heap (v.begin(),v.end()); v.pop_back();
  std::cout << "max heap after pop : " << v.front() << '\n';

  v.push_back(99); std::push_heap (v.begin(),v.end());
  std::cout << "max heap after push: " << v.front() << '\n';

  std::sort_heap (v.begin(),v.end());

  std::cout << "final sorted range :";
  for (unsigned i=0; i<v.size(); i++)
    std::cout << ' ' << v[i];

  std::cout << '\n';

  return 0;
}

輸出

initial max heap   : 30
max heap after pop : 20
max heap after push: 99
final sorted range : 5 10 15 20 99

複雜度

最多為 first 和 last 之間距離的二倍對數：比較元素並可能交換（或移動）它們，直到重新排列成一個較小的堆。

資料競爭

範圍 [first,last) 中的某些（或全部）物件將被修改。

異常

如果任何元素比較、元素交換（或移動）或迭代器操作丟擲異常，則會丟擲異常。
請注意，無效引數會導致未定義行為。

另見

make_heap: 從範圍建立堆（函式模板）

push_heap: 將元素推入堆範圍（函式模板）

sort_heap: 對堆的元素進行排序（函式模板）

reverse: 反轉範圍（函式模板）