std::pop_heap
来自cppreference.com
| 定义于头文件 <algorithm>
|
||
| (1) | ||
| template< class RandomIt > void pop_heap( RandomIt first, RandomIt last ); |
(C++20 前) | |
| template< class RandomIt > constexpr void pop_heap( RandomIt first, RandomIt last ); |
(C++20 起) | |
| (2) | ||
| template< class RandomIt, class Compare > void pop_heap( RandomIt first, RandomIt last, Compare comp ); |
(C++20 前) | |
| template< class RandomIt, class Compare > constexpr void pop_heap( RandomIt first, RandomIt last, Compare comp ); |
(C++20 起) | |
交换在位置 first 的值和在位置 last-1 的值，并令子范围 [first, last-1) 变为堆。这拥有从范围 [first, last) 所定义的堆移除首个元素的效果。
函数的首个版本使用 operator< 比较元素，这使堆成为最大堆。第二版本使用给定的比较函数 comp 。
参数
| first, last | - | 定义要修改的合法非空堆的元素范围 |
| comp | - | 比较函数对象（即满足比较 (Compare) 要求的对象），若首个参数小于第二个，则返回 true 。 比较函数的签名应等价于如下： bool cmp(const Type1 &a, const Type2 &b); 虽然签名不必有 const & ，函数也不能修改传递给它的对象，而且必须接受（可为 const 的）类型 |
| 类型要求 | ||
-RandomIt 必须满足值可交换 (ValueSwappable) 和 遗留随机访问迭代器 (LegacyRandomAccessIterator) 的要求。
| ||
-解引用 RandomIt 结果的类型必须满足可移动赋值 (MoveAssignable) 和可移动构造 (MoveConstructible) 的要求。
| ||
返回值
（无）
复杂度
至多 2×log(N) 次比较，其中 N=std::distance(first, last).
注意
最大堆是拥有下列属性的元素范围 [f,l) ：
- 设
N = l - f，对于所有0 < i < N，f[floor(不小于
)]i-1 2 f[i]。 - 可用 std::push_heap() 添加新元素
- 可用 std::pop_heap() 移除首元素
- 设
示例
运行此代码
#include <iostream> #include <algorithm> #include <vector> int main() { std::vector<int> v { 3, 1, 4, 1, 5, 9 }; std::make_heap(v.begin(), v.end()); std::cout << "v: "; for (auto i : v) std::cout << i << ' '; std::cout << '\n'; std::pop_heap(v.begin(), v.end()); // 移动最大元素到结尾 std::cout << "after pop_heap: "; for (auto i : v) std::cout << i << ' '; std::cout << '\n'; int largest = v.back(); v.pop_back(); // 实际移出最大元素 std::cout << "largest element: " << largest << '\n'; std::cout << "heap without largest: "; for (auto i : v) std::cout << i << ' '; std::cout << '\n'; }
输出：
v: 9 5 4 1 1 3 after pop_heap: 5 3 4 1 1 9 largest element: 9 heap without largest: 5 3 4 1 1
参阅
| 将一个元素加入到一个最大堆 (函数模板) | |
| 从一个元素范围创建出一个最大堆 (函数模板) |
