Namespaces
Variants

std:: is_partitioned

From cppreference.net
C++
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)
(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
is_partitioned
(C++11)
(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
(C++20)
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
Определено в заголовочном файле <algorithm>
template < class InputIt, class UnaryPred >
bool is_partitioned ( InputIt first, InputIt last, UnaryPred p ) ;
(1) (начиная с C++11)
(constexpr начиная с C++20)
template < class ExecutionPolicy, class ForwardIt, class UnaryPred >

bool is_partitioned ( ExecutionPolicy && policy,

ForwardIt first, ForwardIt last, UnaryPred p ) ;
(2) (начиная с C++17)
1) Проверяет, разделён ли диапазон [ first , last ) предикатом p : все элементы, удовлетворяющие p , расположены перед элементами, которые не удовлетворяют.
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, last - пара итераторов, определяющих диапазон элементов для проверки
policy - политика выполнения для использования
p - унарный предикат, который возвращает ​ true для элементов, ожидаемых в начале диапазона.

Выражение p ( v ) должно быть преобразуемо в bool для каждого аргумента v типа (возможно const) VT , где VT - тип значения InputIt , независимо от категории значения , и не должно изменять v . Следовательно, параметр типа VT & не допускается , как и VT , если для VT перемещение не эквивалентно копированию (since C++11) . ​

Требования к типам
-
InputIt должен удовлетворять требованиям LegacyInputIterator .
-
ForwardIt должен удовлетворять требованиям LegacyForwardIterator , и его тип значения должен быть преобразуем в тип параметра UnaryPred .
-
UnaryPred должен удовлетворять требованиям Predicate .

Возвращаемое значение

true если элементы e из диапазона [ first , last ) являются разделёнными относительно выражения p ( e ) . false в противном случае.

Сложность

Не более std:: distance ( first, last ) применений p .

Исключения

Перегрузка с параметром шаблона с именем ExecutionPolicy сообщает об ошибках следующим образом:

  • Если выполнение функции, вызванной как часть алгоритма, выбрасывает исключение и ExecutionPolicy является одним из стандартных политик , std::terminate вызывается. Для любой другой ExecutionPolicy поведение определяется реализацией.
  • Если алгоритму не удается выделить память, std::bad_alloc выбрасывается.

Возможная реализация 

template<class InputIt, class UnaryPred>
bool is_partitioned(InputIt first, InputIt last, UnaryPred p)
{
    for (; first != last; ++first)
        if (!p(*first))
            break;
    for (; first != last; ++first)
        if (p(*first))
            return false;
    return true;
}

Пример

Запустить этот код 
#include <algorithm>
#include <array>
#include <iostream>
int main()
{
    std::array<int, 9> v {1, 2, 3, 4, 5, 6, 7, 8, 9};
    auto is_even = [](int i) { return i % 2 == 0; };
    std::cout.setf(std::ios_base::boolalpha);
    std::cout << std::is_partitioned(v.begin(), v.end(), is_even) << ' ';
    std::partition(v.begin(), v.end(), is_even);
    std::cout << std::is_partitioned(v.begin(), v.end(), is_even) << ' ';
    std::reverse(v.begin(), v.end());
    std::cout << std::is_partitioned(v.cbegin(), v.cend(), is_even) << ' ';
    std::cout << std::is_partitioned(v.crbegin(), v.crend(), is_even) << '\n';
}

Вывод: 

false true false true

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

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