std::pop_heap() 算法

自 C++20 起

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

// (2)
template< class RandomIt, class Compare >
constexpr void pop_heap( RandomIt first, RandomIt last, Compare comp );

直到 C++20

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

// (2)
template< class RandomIt, class Compare >
void pop_heap( RandomIt first, RandomIt last, Compare comp );

交换位置 first 的值和位置 last - 1 的值，并将子范围 [first; last - 1) 变为堆。
这相当于从范围 [first; last) 定义的堆中移除第一个元素。

• (1) 元素使用 operator< 进行比较。

• (2) 元素使用给定的二元比较函数 comp 进行比较。

参数

first last	用于创建堆的元素范围。
policy	要使用的执行策略。有关详细信息，请参阅执行策略。
comp	比较函数对象（即满足 Compare 要求的对象）。比较函数的签名应等同于以下内容： bool cmp(const Type1 &a, const Type2 &b); 签名不需要有 `const&`，但不得修改参数。 必须接受类型（可能是 const）Type 和 Type2 的所有值，无论值类别如何（因此不允许 Type1&，除非对于 Type1 移动等同于复制，否则也不允许 Type1 (从 C++11 开始)) `Type1` 和 `Type2` 类型必须是 `RandomIt` 类型的对象可以隐式转换为它们两者的类型。

类型要求

RandomIt	LegacyRandomAccessIterator
解引用 RandomIt 的类型	MoveAssignable MoveConstructible

返回值

(无)

复杂度

给定 N 为 std::distance(first, last)

最多 2 * log(N) 次比较。

异常

带有模板参数 ExecutionPolicy 的重载报告错误如下

• 如果在作为算法一部分调用的函数执行期间抛出异常，并且 ExecutionPolicy 是标准策略之一，则调用 std::terminate。对于任何其他 ExecutionPolicy，行为是实现定义的.
• 如果算法未能分配内存，则抛出 std::bad_alloc。

备注

最大堆是具有以下属性的元素范围 [f; l)

• 给定 N 为 l - f，对于所有 0 < i < N，f[(i - 1) / 2] 不与 f[i] 比较小。
• 可以使用 std::push_heap 在 O(log(N)) 时间内添加新元素。
• 可以使用 std::pop_heap 在 O(log(N)) 时间内移除第一个元素。

示例

Main.cpp

#include <algorithm>
#include <iostream>
#include <string_view>
#include <type_traits>
#include <vector>

void println(std::string_view rem, auto const& v)
{
    std::cout << rem;
    if constexpr (std::is_scalar_v<std::decay_t<decltype(v)>>)
        std::cout << v;
    else
        for (int e : v)
            std::cout << e << ' ';
    std::cout << '\n';
}

int main()
{
    std::vector<int> v {3, 1, 4, 1, 5, 9};

    std::make_heap(v.begin(), v.end());
    println("after make_heap: ", v);

    std::pop_heap(v.begin(), v.end()); // moves the largest to the end
    println("after pop_heap:  ", v);

    int largest = v.back();
    println("largest element: ", largest);

    v.pop_back(); // actually removes the largest element
    println("after pop_back:  ", v);
}

输出

after make_heap: 9 5 4 1 1 3
after pop_heap:  5 3 4 1 1 9
largest element: 9
after pop_back:  5 3 4 1 1