std::make_heap() 算法

自 C++20 起

// (1)
template< class RandomIt >
constexpr void make_heap( RandomIt first, RandomIt last );

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

直到 C++20

// (1)
template< class RandomIt >
void make_heap( RandomIt first, RandomIt last );

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

将位置 last - 1 处的元素插入到由范围 [first; last - 1) 定义的最大堆中。
函数的第一个版本使用 operator< 来比较元素，第二个版本使用给定的比较函数 comp。

• (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)

最多 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 <vector>

void println(std::string_view rem, std::vector<int> const& v)
{
    std::cout << rem;
    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);

    v.push_back(6);
    println("after push_back: ", v);

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

输出

after make_heap: 9 5 4 1 1 3
after push_back: 9 5 4 1 1 3 6
after push_heap: 9 5 6 1 1 3 4