std:: inplace_merge
|
Определено в заголовке
<algorithm>
|
||
|
template
<
class
BidirIt
>
void inplace_merge ( BidirIt first, BidirIt middle, BidirIt last ) ; |
(1) | (constexpr начиная с C++26) |
|
template
<
class
ExecutionPolicy,
class
BidirIt
>
void
inplace_merge
(
ExecutionPolicy
&&
policy,
|
(2) | (начиная с C++17) |
|
template
<
class
BidirIt,
class
Compare
>
void
inplace_merge
(
BidirIt first, BidirIt middle, BidirIt last,
|
(3) | (constexpr начиная с C++26) |
|
template
<
class
ExecutionPolicy,
class
BidirIt,
class
Compare
>
void
inplace_merge
(
ExecutionPolicy
&&
policy,
|
(4) | (начиная с C++17) |
Объединяет два последовательных отсортированных диапазона
[
first
,
middle
)
и
[
middle
,
last
)
в один отсортированный диапазон
[
first
,
last
)
.
[
first
,
middle
)
или
[
middle
,
last
)
не являются
отсортированными
относительно
operator
<
(до C++20)
std::
less
{
}
(начиная с C++20)
, поведение не определено.
[
first
,
middle
)
или
[
middle
,
last
)
не отсортирован относительно
comp
, поведение не определено.
|
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,middle)или[middle,last)не является допустимым диапазоном .
|
(до C++11) |
|
(начиная с C++11) |
Содержание |
Параметры
| first | - | начало первого отсортированного диапазона |
| middle | - | конец первого отсортированного диапазона и начало второго |
| last | - | конец второго отсортированного диапазона |
| policy | - | политика выполнения, которая будет использоваться |
| comp | - |
функция сравнения (т.е. объект, удовлетворяющий требованиям
Compare
), которая возвращает
true
если первый аргумент
меньше
второго (т.е. упорядочен
перед
вторым).
Сигнатура функции сравнения должна быть эквивалентна следующей: bool cmp ( const Type1 & a, const Type2 & b ) ;
Хотя сигнатура не обязана содержать
const
&
, функция не должна модифицировать передаваемые ей объекты и должна быть способна принимать все значения типа (возможно const)
|
| Требования к типам | ||
-
BidirIt
должен удовлетворять требованиям
LegacyBidirectionalIterator
.
|
||
-
Compare
должен удовлетворять требованиям
Compare
.
|
||
Сложность
Дано N как std:: distance ( first, last ) :
Исключения
Перегрузки с параметром шаблона с именем
ExecutionPolicy
сообщают об ошибках следующим образом:
-
Если выполнение функции, вызванной как часть алгоритма, выбрасывает исключение и
ExecutionPolicyявляется одним из стандартных политик , std::terminate вызывается. Для любой другойExecutionPolicyповедение определяется реализацией. - Если алгоритму не удается выделить память, std::bad_alloc выбрасывается.
Возможная реализация
Смотрите реализации в libstdc++ и libc++ .
Примечания
Эта функция пытается выделить временный буфер. Если выделение завершается неудачей, выбирается менее эффективный алгоритм.
| Макрос тестирования возможностей | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_constexpr_algorithms
|
202306L
|
(C++26) | constexpr inplace слияние ( 1 ) , ( 3 ) |
Пример
Следующий код представляет реализацию сортировки слиянием.
#include <algorithm> #include <iostream> #include <vector> template<class Iter> void merge_sort(Iter first, Iter last) { if (last - first > 1) { Iter middle = first + (last - first) / 2; merge_sort(first, middle); merge_sort(middle, last); std::inplace_merge(first, middle, last); } } int main() { std::vector<int> v{8, 2, -2, 0, 11, 11, 1, 7, 3}; merge_sort(v.begin(), v.end()); for (const auto& n : v) std::cout << n << ' '; std::cout << '\n'; }
Вывод:
-2 0 1 2 3 7 8 11 11
Смотрите также
|
объединяет два отсортированных диапазона
(шаблон функции) |
|
|
сортирует диапазон в порядке возрастания
(шаблон функции) |
|
|
сортирует диапазон элементов, сохраняя порядок между равными элементами
(шаблон функции) |
|
|
(C++20)
|
объединяет два упорядоченных диапазона на месте
(функциональный объект алгоритма) |