std::ranges::pop_heap
来自cppreference.com
| 在标头 <algorithm> 定义
|
||
| 调用签名 |
||
| |
(1) | (C++20 起) |
| |
(2) | (C++20 起) |
交换关于 comp 和 proj 的指定堆的首末元素，然后使除首位置以外的子范围变为关于 comp 和 proj 的堆。这拥有从指定堆中移除首元素的效果。
1) 指定的堆是
[first, last)。2) 指定的堆是
r。此页面上描述的函数式实体是算法函数对象（非正式地称为 niebloid），即：
参数
| first, last | - | 要修改的元素范围的迭代器-哨位对 |
| r | - | 要修改的元素 range
|
| comp | - | 应用到投影后元素的比较器 |
| proj | - | 应用到元素的投影 |
返回值
1)
last2)
ranges::end(r)复杂度
最多应用 2log(N) 次 comp 和 4log(N) 次 proj，其中 N 是：
1)
ranges::distance(first, last)2)
ranges::distance(r)示例
运行此代码
#include <algorithm>
#include <array>
#include <iostream>
#include <iterator>
#include <string_view>
template<class I = int*>
void print(std::string_view rem, I first = {}, I last = {},
std::string_view term = "\n")
{
for (std::cout << rem; first != last; ++first)
std::cout << *first << ' ';
std::cout << term;
}
int main()
{
std::array v{3, 1, 4, 1, 5, 9, 2, 6, 5, 3};
print("初始状态下，v： ", v.cbegin(), v.cend());
std::ranges::make_heap(v);
print("make_heap 后，v：", v.cbegin(), v.cend());
print("将堆转换成有序数组：");
for (auto n {std::ssize(v)}; n >= 0; --n)
{
std::ranges::pop_heap(v.begin(), v.begin() + n);
print("[ ", v.cbegin(), v.cbegin() + n, "] ");
print("[ ", v.cbegin() + n, v.cend(), "]\n");
}
}
输出：
初始状态下，v： 3 1 4 1 5 9 2 6 5 3
make_heap 后，v：9 6 4 5 5 3 2 1 1 3
将堆转换成有序数组：
[ 6 5 4 3 5 3 2 1 1 9 ] [ ]
[ 5 5 4 3 1 3 2 1 6 ] [ 9 ]
[ 5 3 4 1 1 3 2 5 ] [ 6 9 ]
[ 4 3 3 1 1 2 5 ] [ 5 6 9 ]
[ 3 2 3 1 1 4 ] [ 5 5 6 9 ]
[ 3 2 1 1 3 ] [ 4 5 5 6 9 ]
[ 2 1 1 3 ] [ 3 4 5 5 6 9 ]
[ 1 1 2 ] [ 3 3 4 5 5 6 9 ]
[ 1 1 ] [ 2 3 3 4 5 5 6 9 ]
[ 1 ] [ 1 2 3 3 4 5 5 6 9 ]
[ ] [ 1 1 2 3 3 4 5 5 6 9 ]