std:: sort
|
Определено в заголовке
<algorithm>
|
||
|
template
<
class
RandomIt
>
void sort ( RandomIt first, RandomIt last ) ; |
(1) | (constexpr since C++20) |
|
template
<
class
ExecutionPolicy,
class
RandomIt
>
void
sort
(
ExecutionPolicy
&&
policy,
|
(2) | (since C++17) |
|
template
<
class
RandomIt,
class
Compare
>
void sort ( RandomIt first, RandomIt last, Compare comp ) ; |
(3) | (constexpr since C++20) |
|
template
<
class
ExecutionPolicy,
class
RandomIt,
class
Compare
>
void
sort
(
ExecutionPolicy
&&
policy,
|
(4) | (since C++17) |
Сортирует элементы в диапазоне
[
first
,
last
)
в неубывающем порядке. Порядок равных элементов не гарантируется.
|
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) |
Если выполняется любое из следующих условий, поведение не определено:
|
(до C++11) |
|
(начиная с C++11) |
Содержание |
Параметры
| first, last | - | пара итераторов, определяющих диапазон элементов для сортировки |
| policy | - | политика выполнения, которая будет использоваться |
| comp | - |
функция сравнения (т.е. объект, удовлетворяющий требованиям
Compare
), которая возвращает
true
если первый аргумент
меньше
второго (т.е. упорядочен
перед
вторым).
Сигнатура функции сравнения должна быть эквивалентна следующей: bool cmp ( const Type1 & a, const Type2 & b ) ;
Хотя сигнатура не обязана содержать
const
&
, функция не должна модифицировать передаваемые ей объекты и должна быть способна принимать все значения типов (возможно const)
|
| Требования к типам | ||
-
RandomIt
должен удовлетворять требованиям
LegacyRandomAccessIterator
.
|
||
-
Compare
должен удовлетворять требованиям
Compare
.
|
||
Сложность
Дано N как last - first :
Исключения
Перегрузки с параметром шаблона с именем
ExecutionPolicy
сообщают об ошибках следующим образом:
-
Если выполнение функции, вызванной как часть алгоритма, выбрасывает исключение и
ExecutionPolicyявляется одним из стандартных политик , std::terminate вызывается. Для любой другойExecutionPolicyповедение определяется реализацией. - Если алгоритму не удается выделить память, std::bad_alloc выбрасывается.
Возможная реализация
Смотрите также реализации в libstdc++ и libc++ .
Примечания
До
LWG713
требование к сложности позволяло реализовывать
sort()
только с использованием
Quicksort
, который может требовать
O(N
2
)
сравнений в худшем случае.
Introsort
может обрабатывать все случаи с
O(N·log(N))
сравнениями (без дополнительных накладных расходов в среднем случае), и поэтому обычно используется для реализации
sort()
.
libc++ не реализовала исправленное требование к временной сложности до LLVM 14 .
Пример
#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 | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 713 | C++98 | the O(N·log(N)) time complexity was only required on the average | it is required for the worst case |
Смотрите также
|
сортирует первые N элементов диапазона
(шаблон функции) |
|
|
сортирует диапазон элементов, сохраняя порядок между равными элементами
(шаблон функции) |
|
|
(C++20)
|
сортирует диапазон в порядке возрастания
(функциональный объект алгоритма) |