Namespaces
Variants

std:: partition_copy

From cppreference.net
Algorithm library
Constrained algorithms and algorithms on ranges (C++20)
Constrained algorithms, e.g. ranges::copy , ranges::sort , ...
Execution policies (C++17)
Non-modifying sequence operations
Batch operations
(C++17)
Search operations
Modifying sequence operations
Copy operations
(C++11)
(C++11)
Swap operations
Transformation operations
Generation operations
Removing operations
Order-changing operations
(until C++17) (C++11)
(C++20) (C++20)
Sampling operations
(C++17)

Sorting and related operations
Partitioning operations
partition_copy
(C++11)
Sorting operations
Binary search operations
(on partitioned ranges)
Set operations (on sorted ranges)
Merge operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Lexicographical comparison operations
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
Определено в заголовочном файле <algorithm>
template < class InputIt, class OutputIt1,

class OutputIt2, class UnaryPred >
std:: pair < OutputIt1, OutputIt2 >
partition_copy ( InputIt first, InputIt last,
OutputIt1 d_first_true, OutputIt2 d_first_false,

UnaryPred p ) ;
(1) (начиная с C++11)
(constexpr начиная с C++20)
template < class ExecutionPolicy, class ForwardIt1, class ForwardIt2,

class ForwardIt3, class UnaryPred >
std:: pair < ForwardIt2, ForwardIt3 >
partition_copy ( ExecutionPolicy && policy,
ForwardIt1 first, ForwardIt1 last,
ForwardIt2 d_first_true, ForwardIt3 d_first_false,

UnaryPred p ) ;
(2) (начиная с C++17)
1) Копирует элементы из диапазона [ first , last ) в два различных диапазона в зависимости от значения, возвращаемого предикатом p .
  • Элементы, удовлетворяющие предикату p , копируются в диапазон, начинающийся с d_first_true .
  • Остальные элементы копируются в диапазон, начинающийся с d_first_false .
2) То же, что и (1) , но выполняется в соответствии с 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 не является записываемым в 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 для каждого аргумента v типа (возможно const) VT , где VT - тип значения InputIt , независимо от категории значения , и не должно изменять v . Таким образом, тип параметра VT & не допускается , как и VT , если для VT перемещение не эквивалентно копированию (since C++11) . ​

Требования к типам
-
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. в этом случае поведение
не определено

Смотрите также

разделяет диапазон элементов на две группы
(шаблон функции)
разделяет элементы на две группы, сохраняя их относительный порядок
(шаблон функции)
копирует диапазон элементов в новое место
(шаблон функции)
копирует диапазон элементов, исключая те, которые удовлетворяют определённым критериям
(шаблон функции)
копирует диапазон, разделяя элементы на две группы
(функциональный объект алгоритма)