std::push_heap
定义于头文件 <algorithm>
|
||
(1) | ||
template< class RandomIt > void push_heap( RandomIt first, RandomIt last ); |
(C++20 前) | |
template< class RandomIt > constexpr void push_heap( RandomIt first, RandomIt last ); |
(C++20 起) | |
(2) | ||
template< class RandomIt, class Compare > void push_heap( RandomIt first, RandomIt last, |
(C++20 前) | |
template< class RandomIt, class Compare > constexpr void push_heap( RandomIt first, RandomIt last, |
(C++20 起) | |
插入位于位置 last-1
的元素到范围 [first, last-1)
所定义的最大堆中。函数的第一版本用 operator< 比较元素,第二版本用给定的比较函数 comp
。
参数
first, last | - | 定义要修改的堆的元素范围 |
comp | - | 比较函数对象(即满足比较 (Compare) 要求的对象),若首个参数小于第二个,则返回 true 。 比较函数的签名应等价于如下: bool cmp(const Type1 &a, const Type2 &b); 虽然签名不必有 const & ,函数也不能修改传递给它的对象,而且必须接受(可为 const 的)类型 |
类型要求 | ||
-RandomIt 必须满足遗留随机访问迭代器 (LegacyRandomAccessIterator) 的要求。
| ||
-解引用 RandomIt 结果的类型必须满足可移动赋值 (MoveAssignable) 和可移动构造 (MoveConstructible) 的要求。
|
返回值
(无)
复杂度
至多 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'; v.push_back(6); std::cout << "before push_heap: "; for (auto i : v) std::cout << i << ' '; std::cout << '\n'; std::push_heap(v.begin(), v.end()); std::cout << "after push_heap: "; for (auto i : v) std::cout << i << ' '; std::cout << '\n'; }
输出:
v: 9 5 4 1 1 3 before push_heap: 9 5 4 1 1 3 6 after push_heap: 9 5 6 1 1 3 4
参阅
从最大堆中移除最大元素 (函数模板) | |
从一个元素范围创建出一个最大堆 (函数模板) |