Spec-Zone.ru › C++

std::sort

Определено в заголовке <algorithm>
(1)
template< class RandomIt >
void sort( RandomIt first, RandomIt last );
(до C++20)
template< class RandomIt >
constexpr void sort( RandomIt first, RandomIt last );
(с C++20)
template< class ExecutionPolicy, class RandomIt >
void sort( ExecutionPolicy&& policy,
           RandomIt first, RandomIt last );
(2) (с C++17)
(3)
template< class RandomIt, class Compare >
void sort( RandomIt first, RandomIt last, Compare comp );
(до C++20)
template< class RandomIt, class Compare >
constexpr void sort( RandomIt first, RandomIt last, Compare comp );
(с C++20)
template< class ExecutionPolicy, class RandomIt, class Compare >
void sort( ExecutionPolicy&& policy,
           RandomIt first, RandomIt last, Compare comp );
(4) (с C++17)

Сортирует элементы в диапазоне [first, last) в порядке невозрастания. Порядок равных элементов не гарантируется.

Последовательность сортируется относительно компаратора comp если для любого итератора it , указывающего на последовательность, и любого неотрицательного целого числа n такого, что it + n — это допустимый итератор, указывающий на элемент последовательности, comp(*(it + n), *it) (или *(it + n) < *it) оценивается как false.

1) Элементы сравниваются с помощью operator<.
3) Элементы сравниваются с помощью заданной бинарной функции сравнения comp.
2,4) Аналогично (1,3), но выполняется в соответствии с policy. Эти перегрузки не участвуют в разрешении перегрузки, если

std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> является true.

(до C++20)

std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> является true.

(с C++20)

Параметры

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

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

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

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

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

Возвращаемое значение

(ничего)

Сложность

O(N·log(N)) сравнений, где N есть std::distance(first, last).

Исключения

Перегрузки с параметром шаблона, названным ExecutionPolicy сообщают об ошибках следующим образом:

  • Если выполнение функции, вызванной как часть алгоритма, вызывает исключение, и ExecutionPolicy — одна из стандартных политик, то std::terminate вызывается. Для любой другой ExecutionPolicy, поведение является определенным реализацией.
  • Если алгоритм не может выделить память, выбрасывается std::bad_alloc.

Примечания

До LWG713 требование сложности позволяло sort() реализовываться только с использованием быстрой сортировки, что может потребовать O(N2) сравнений в худшем случае.

Introsort может обрабатывать все случаи с O(N·log(N)) сравнениями (без дополнительных накладных расходов в среднем случае), и поэтому обычно используется для реализации sort().

libc++ не реализовала исправленное требование по временной сложности до LLVM 14.

Возможная реализация

См. также реализации в libstdc++ и libc++.

Пример

#include <algorithm>
#include <array>
#include <functional>
#include <iostream>
#include <string_view>
 
int main()
{
    std::array<int, 10> s {5, 7, 4, 2, 8, 6, 1, 9, 0, 3};
 
    auto print = [&s](std::string_view const rem)
    {
        for (auto a : s)
            std::cout << a << ' ';
        std::cout << ": " << rem << '\n';
    };
 
    std::sort(s.begin(), s.end());
    print("sorted with the default operator<");
 
    std::sort(s.begin(), s.end(), std::greater<int>());
    print("sorted with the standard library compare function object");
 
    struct
    {
        bool operator()(int a, int b) const { return a < b; }
    }
    customLess;
 
    std::sort(s.begin(), s.end(), customLess);
    print("sorted with a custom function object");
 
    std::sort(s.begin(), s.end(), [](int a, int b)
                                  {
                                      return a > b;
                                  });
    print("sorted with a lambda expression");
}

Вывод:

0 1 2 3 4 5 6 7 8 9 : sorted with the default operator<
9 8 7 6 5 4 3 2 1 0 : sorted with the standard library compare function object
0 1 2 3 4 5 6 7 8 9 : sorted with a custom function object
9 8 7 6 5 4 3 2 1 0 : sorted with a lambda expression

Отчеты об ошибках

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

DR Применён к Поведение, опубликованное Корректное поведение
LWG 713 C++98 сложность по времени O(N·log(N)) требовалась только в среднем она требуется для худшего случая

См. также

partial_sort
сортирует первые N элементов диапазона
(шаблон функции)
stable_sort
сортирует диапазон элементов, сохраняя порядок между равными элементами
(шаблон функции)
ranges::sort
(C++20)
сортирует диапазон в порядке возрастания
(niebloid)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/algorithm/sort

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API