std::ranges:: stable_sort
std::ranges
| Non-modifying sequence operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Modifying sequence operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Partitioning operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Sorting operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Binary search operations (on sorted ranges) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Set operations (on sorted ranges) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Heap operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Minimum/maximum operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Permutation operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Fold operations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Operations on uninitialized storage | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Return types | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Определено в заголовочном файле
<algorithm>
|
||
|
Сигнатура вызова
|
||
|
template
<
std::
random_access_iterator
I,
std::
sentinel_for
<
I
>
S,
class
Comp
=
ranges::
less
,
class
Proj
=
std::
identity
>
|
(1) |
(начиная с C++20)
(constexpr начиная с C++26) |
|
template
<
ranges::
random_access_range
R,
class
Comp
=
ranges::
less
,
class
Proj
=
std::
identity
>
|
(2) |
(начиная с C++20)
(constexpr начиная с C++26) |
Сортирует элементы в диапазоне
[
first
,
last
)
в неубывающем порядке. Порядок эквивалентных элементов
стабилен
, то есть гарантированно сохраняется.
Последовательность отсортирована относительно компаратора
comp
если для любого итератора
it
указывающего на последовательность и любого неотрицательного целого числа
n
такого, что
it + n
является валидным итератором, указывающим на элемент последовательности,
std::
invoke
(
comp,
std::
invoke
(
proj,
*
(
it
+
n
)
)
,
std::
invoke
(
proj,
*
it
)
вычисляется в
false
.
Функциональные сущности, описанные на этой странице, являются алгоритмическими функциональными объектами (неформально известными как niebloids ), то есть:
- Явные списки аргументов шаблона не могут быть указаны при вызове любого из них.
- Ни один из них не видим для поиска, зависимого от аргументов .
- Когда любой из них найден с помощью обычного неквалифицированного поиска как имя слева от оператора вызова функции, поиск, зависимый от аргументов блокируется.
Содержание |
Параметры
| first, last | - | пара итератор-страж, определяющая диапазон элементов для сортировки |
| r | - | диапазон для сортировки |
| comp | - | функция сравнения, применяемая к проецируемым элементам |
| proj | - | проекция, применяемая к элементам |
Возвращаемое значение
Итератор, равный last .
Сложность
\(\scriptsize N\cdot\log{(N)}\) N·log(N) сравнений, если доступна дополнительная память; где \(\scriptsize N\) N это ranges:: distance ( first, last ) . \(\scriptsize N\cdot\log^2{(N)}\) N·log²(N) сравнений в противном случае. Вдвое больше проекций, чем количество сравнений в обоих случаях.
Примечания
| Макрос тестирования возможностей | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_constexpr_algorithms
|
202306L
|
(C++26) | constexpr стабильная сортировка |
Возможная реализация
Эта реализация показывает только более медленный алгоритм, используемый когда дополнительная память недоступна. Смотрите также реализацию в MSVC STL и libstdc++ .
struct stable_sort_fn { template<std::random_access_iterator I, std::sentinel_for<I> S, class Comp = ranges::less, class Proj = std::identity> requires std::sortable<I, Comp, Proj> constexpr //< начиная с C++26 I operator()(I first, S last, Comp comp = {}, Proj proj = {}) const { auto count = ranges::distance(first, last); auto mid = first + count / 2; auto last_it = first + count; if (count <= 1) return last_it; (*this)(first, mid, std::ref(comp), std::ref(proj)); (*this)(mid, last_it, std::ref(comp), std::ref(proj)); ranges::inplace_merge(first, mid, last_it); return last_it; } template<ranges::random_access_range R, class Comp = ranges::less, class Proj = std::identity> requires std::sortable<ranges::iterator_t<R>, Comp, Proj> constexpr //< начиная с C++26 ranges::borrowed_iterator_t<R> operator()(R&& r, Comp comp = {}, Proj proj = {}) const { return (*this)(ranges::begin(r), ranges::end(r), std::move(comp), std::move(proj)); } }; inline constexpr stable_sort_fn stable_sort{}; |
Пример
#include <algorithm> #include <array> #include <functional> #include <iomanip> #include <iostream> void print(const auto& seq) { for (const auto& elem : seq) std::cout << elem << ' '; std::cout << '\n'; } struct Particle { std::string name; double mass; // MeV friend std::ostream& operator<<(std::ostream& os, const Particle& p) { return os << '\n' << std::left << std::setw(8) << p.name << " : " << p.mass; } }; int main() { std::array s{5, 7, 4, 2, 8, 6, 1, 9, 0, 3}; // сортировка с использованием оператора < по умолчанию std::ranges::stable_sort(s); print(s); // сортировка с использованием стандартного объекта функции сравнения std::ranges::stable_sort(s, std::ranges::greater()); print(s); // сортировка с использованием пользовательского объекта функции struct { bool operator()(int a, int b) const { return a < b; } } customLess; std::ranges::stable_sort(s.begin(), s.end(), customLess); print(s); // сортировка с использованием лямбда-выражения std::ranges::stable_sort(s, [](int a, int b) { return a > b; }); print(s); // сортировка с проекцией Particle particles[] { {"Electron", 0.511}, {"Muon", 105.66}, {"Tau", 1776.86}, {"Positron", 0.511}, {"Proton", 938.27}, {"Neutron", 939.57} }; print(particles); std::ranges::stable_sort(particles, {}, &Particle::name); //< сортировка по имени print(particles); std::ranges::stable_sort(particles, {}, &Particle::mass); //< сортировка по массе print(particles); }
Вывод:
0 1 2 3 4 5 6 7 8 9 9 8 7 6 5 4 3 2 1 0 0 1 2 3 4 5 6 7 8 9 9 8 7 6 5 4 3 2 1 0 Electron : 0.511 Muon : 105.66 Tau : 1776.86 Positron : 0.511 Proton : 938.27 Neutron : 939.57 Electron : 0.511 Muon : 105.66 Neutron : 939.57 Positron : 0.511 Proton : 938.27 Tau : 1776.86 Electron : 0.511 Positron : 0.511 Muon : 105.66 Proton : 938.27 Neutron : 939.57 Tau : 1776.86
Смотрите также
|
(C++20)
|
сортирует диапазон в порядке возрастания
(функциональный объект алгоритма) |
|
(C++20)
|
сортирует первые N элементов диапазона
(функциональный объект алгоритма) |
|
(C++20)
|
разделяет элементы на две группы, сохраняя их относительный порядок
(функциональный объект алгоритма) |
|
сортирует диапазон элементов, сохраняя порядок между равными элементами
(шаблон функции) |