Пространства имён
Варианты
Действия

std::is_partitioned

Материал из cppreference.com
< cpp‎ | algorithm

 
 
Библиотека алгоритмов
Ограниченные алгоритмы и алгоритмы над диапазонами(C++20)
Ограниченные алгоритмы, например ranges::copy, ranges::sort, ...
Политики исполнения (C++17)
Немодифицирующие операции над последовательностями
(C++11)(C++11)(C++11)
(C++17)
Модифицирующие операции над последовательностями
Операции разбиения
is_partitioned
(C++11)
Операции сортировки
Операции двоичного поиска
Операции с наборами (в отсортированных диапазонах)
Операции с кучей
(C++11)
Операций минимума/максимума
(C++11)
(C++17)

Операции перестановки
Числовые операции
Операции с неинициализированной памятью
(C++17)
(C++17)
(C++17)
Библиотека C
 
Определено в заголовочном файле <algorithm>
template<class InputIt, class UnaryPredicate >
bool is_partitioned( InputIt first, InputIt last, UnaryPredicate p );
(начиная с C++11)

Вернёт true, если все элементы в диапазоне [first, last), которые удовлетворяют предикату p находятся перед всеми элементами, которые этого не делают. Также вернёт true если [first, last) не содержит в себе элементов.

Содержание

[править]Параметры

first, last диапазон элементов для проверки
p унарный предикат, который возвращает​true для элементов, которые должны находиться в начале диапазона.

Определение функции предиката должно быть эквивалентно следующему:

 bool pred(const Type &a);

Присутствие const& в определении не обязательно, но функция не должна модифицировать передаваемые ей объекты.
Тип Type должен быть таков, что объект типа InputIt может быть разыменован и затем неявно преобразован в Type. ​

Требования к типам
-
InputIt должен соответствовать требованиям InputIterator.

[править]Возвращаемое значение

true, если диапазон [first, last) пуст или успешно разбивается предикатом p на две части. Иначе false.

[править]Сложность

В худшем случае std::distance(first, last) применений p.

[править]Возможная реализация

template<class InputIt, class UnaryPredicate >bool is_partitioned(InputIt first, InputIt last, UnaryPredicate p){for(; first != last;++first)if(!p(*first))break;for(; first != last;++first)if(p(*first))returnfalse;returntrue;}

[править]Пример

#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.begin(), v.end(), is_even);}

Вывод:

false true false

[править]См. также

делит диапазон элементов на две группы
(шаблон функции)[править]
находит точку раздела разделённого на две группы диапазона
(шаблон функции)[править]
close