std:: partition_copy
|
Определено в заголовочном файле
<algorithm>
|
||
|
template
<
class
InputIt,
class
OutputIt1,
class
OutputIt2,
class
UnaryPred
>
|
(1) |
(начиная с C++11)
(constexpr начиная с C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
ForwardIt3,
class
UnaryPred
>
|
(2) | (начиная с C++17) |
[
first
,
last
)
в два различных диапазона в зависимости от значения, возвращаемого предикатом
p
.
- Элементы, удовлетворяющие предикату p , копируются в диапазон, начинающийся с d_first_true .
- Остальные элементы копируются в диапазон, начинающийся с d_first_false .
|
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 не является записываемым в d_first_true или d_first_false , программа является некорректной.
Среди входного диапазона и двух выходных диапазонов, если любые два диапазона перекрываются, поведение не определено.
Содержание |
Параметры
| first, last | - | пара итераторов, определяющих исходный диапазон элементов для копирования |
| d_first_true | - | начало выходного диапазона для элементов, удовлетворяющих p |
| d_first_false | - | начало выходного диапазона для элементов, не удовлетворяющих p |
| policy | - | политика выполнения для использования |
| p | - |
унарный предикат, который возвращает
true
если элемент должен быть помещен в d_first_true.
Выражение
p
(
v
)
должно быть преобразуемо в
bool
для каждого аргумента
|
| Требования к типам | ||
-
InputIt
должен удовлетворять требованиям
LegacyInputIterator
.
|
||
-
OutputIt1, OutputIt2
должен удовлетворять требованиям
LegacyOutputIterator
.
|
||
-
ForwardIt1, ForwardIt2, ForwardIt3
должен удовлетворять требованиям
LegacyForwardIterator
.
|
||
-
UnaryPred
должен удовлетворять требованиям
Predicate
.
|
||
Возвращаемое значение
Пара std::pair , созданная из итератора на конец диапазона d_first_true и итератора на конец диапазона d_first_false .
Сложность
Ровно std:: distance ( first, last ) применений p .
Для перегрузки
(2)
может возникнуть снижение производительности, если тип значения
ForwardIt
не является
CopyConstructible
.
Исключения
Перегрузка с параметром шаблона с именем
ExecutionPolicy
сообщает об ошибках следующим образом:
-
Если выполнение функции, вызванной как часть алгоритма, выбрасывает исключение и
ExecutionPolicyявляется одним из стандартных политик , std::terminate вызывается. Для любой другойExecutionPolicyповедение определяется реализацией. - Если алгоритму не удается выделить память, std::bad_alloc выбрасывается.
Возможная реализация
| partition_copy (1) |
|---|
template<class InputIt, class OutputIt1, class OutputIt2, class UnaryPred> constexpr //< since C++20 std::pair<OutputIt1, OutputIt2> partition_copy(InputIt first, InputIt last, OutputIt1 d_first_true, OutputIt2 d_first_false, UnaryPred p) { for (; first != last; ++first) { if (p(*first)) { *d_first_true = *first; ++d_first_true; } else { *d_first_false = *first; ++d_first_false; } } return std::pair<OutputIt1, OutputIt2>(d_first_true, d_first_false); } |
Пример
#include <algorithm> #include <iostream> #include <utility> void print(auto rem, const auto& v) { for (std::cout << rem; const auto& x : v) std::cout << x << ' '; std::cout << '\n'; } int main() { int arr[10] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}; int true_arr[5] = {0}; int false_arr[5] = {0}; std::partition_copy(std::begin(arr), std::end(arr), std::begin(true_arr), std::begin(false_arr), [](int i) { return 4 < i; }); print("true_arr: ", true_arr); print("false_arr: ", false_arr); }
Вывод:
true_arr: 5 6 7 8 9 false_arr: 0 1 2 3 4
Отчеты о дефектах
Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Применяется к | Поведение в опубликованной версии | Корректное поведение |
|---|---|---|---|
| P0896R4 |
C++11
C++17 |
1. тип значения
InputIt
(C++11)/
ForwardIt1
(C++17)
требовал соответствия CopyAssignable 2. выходные диапазоны могли пересекаться |
1. требование отсутствует
2. в этом случае поведение не определено |
Смотрите также
|
разделяет диапазон элементов на две группы
(шаблон функции) |
|
|
разделяет элементы на две группы, сохраняя их относительный порядок
(шаблон функции) |
|
|
(C++11)
|
копирует диапазон элементов в новое место
(шаблон функции) |
|
копирует диапазон элементов, исключая те, которые удовлетворяют определённым критериям
(шаблон функции) |
|
|
(C++20)
|
копирует диапазон, разделяя элементы на две группы
(функциональный объект алгоритма) |