Namespaces
Variants

std::push_heap

С ru.cppreference.net
 
 
Библиотека алгоритмов
Ограниченные алгоритмы и алгоритмы для диапазонов (C++20)
Ограниченные алгоритмы, например ranges::copy, ranges::sort, ...
Немодифицирующие операции последовательности    
Пакетные операции
(C++17)
Операции поиска
Модифицирующие операции последовательности
Операции копирования
(C++11)
(C++11)
Операции обмена
Операции преобразования
Операции генерации
Операции удаления
Операции изменения порядка
(до C++17)(C++11)
(C++20)(C++20)
Операции выборки
(C++17)

Сортировка и связанные операции
Операции разбиения
(C++11)    

Операции сортировки
Операции бинарного поиска
(на разбитых диапазонах)
Операции над множествами (на отсортированных диапазонах)
Операции слияния (на отсортированных диапазонах)
Операции с кучей
Операции минимума/максимума
(C++11)
(C++17)
Операции лексикографического сравнения
Операции перестановок


Стратегии выполнения(C++17)
(только для пояснения*)(C++26)

Численные операции
(C++11)
(C++17)
(C++17)    

Специализированные<memory> алгоритмы

Специализированные<random> алгоритмы
Библиотека C









 
Определено в заголовке <algorithm>
template< class RandomIt >
void push_heap( RandomIt first, RandomIt last );
(1) (constexpr начиная с C++20)
template< class RandomIt, class Compare >
void push_heap( RandomIt first, RandomIt last, Compare comp );
(2) (constexpr начиная с C++20)

Вставляет элемент в позицию last - 1 в кучу [first, last - 1). После вставки куча будет [first, last).

1) Куча строится относительно operator<(до C++20)std::less{}(начиная с C++20).
2) Куча строится относительно comp.

Если выполняется любое из следующих условий, поведение не определено:

  • [first, last - 1) не является кучей относительно соответствующего компаратора.
  • Тип *first не является Swappable.
(до C++11)
(начиная с C++11)

Параметры

first, last - пара итераторов, определяющих диапазон элементов, образующих бинарную кучу после вставки
comp - функциональный объект сравнения (т.е. объект, удовлетворяющий требованиям Compare), который возвращает true если первый аргумент меньше второго.

Сигнатура функции сравнения должна быть эквивалентна следующей:

bool cmp(const Type1& a, const Type2& b);

Хотя сигнатура не должна содержать const&, функция не должна изменять переданные ей объекты и должна принимать все значения типа (возможно, const) Type1 и Type2 независимо от категории значения (таким образом, Type1& не допускается, а также Type1 не допускается, если только Type1 перемещение не эквивалентно копированию(начиная с C++11)).
Типы Type1 и Type2 должны быть такими, что объект типа RandomIt может быть разыменован и затем неявно преобразован в оба из них.

Требования к типам
-
RandomIt должен удовлетворять требованиям LegacyRandomAccessIterator.
-
Compare должен удовлетворять требованиям Compare.

Сложность

Пусть N равно std::distance(first, last):

1) Не более log(N) сравнений с использованием operator<(до C++20)std::less{}(начиная с C++20).
2) Не более log(N) применений функции сравнения comp.

Пример

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

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

Сообщения об ошибках

Следующие сообщения об ошибках, изменяющих поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

DR Применён к Поведение как опубликованное Корректное поведение
LWG 3032 C++98 элементы [first, last) не требовались быть обмениваемыми требуются

См. также

(C++11)
проверяет, является ли заданный диапазон максимальной кучей
(шаблон функции & объект-функция алгоритма)
находит наибольший поддиапазон, являющийся максимальной кучей
(шаблон функции & объект-функция алгоритма)
создаёт максимальную кучу из диапазона элементов
(шаблон функции & объект-функция алгоритма)
удаляет наибольший элемент из максимальной кучи
(шаблон функции & объект-функция алгоритма)
превращает максимальную кучу в диапазон элементов, отсортированных по возрастанию
(шаблон функции & объект-функция алгоритма)
добавляет элемент в максимальную кучу
(объект-функция алгоритма)