std::is_partitioned

 

C++

Язык

Понятия

Утилиты библиотеки

Струны библиотеки

Контейнеры библиотеки

Алгоритмы библиотеки

Итераторы библиотеки

Numerics библиотеки

Библиотеки ввода / вывода

Локализация библиотеки

Библиотеки регулярных выражений (C++11)

Атомная библиотеке операций (C++11)

Библиотека тему поддержки (C++11)

 

Алгоритмы

Функции
Немодифицирующие линейные операции
all_of any_of none_of (C++11) (C++11) (C++11) for_each count count_if mismatch equal	find find_if find_if_not (C++11) find_end find_first_of adjacent_find search search_n
Модифицирующие линейные операции
copy copy_if (C++11) copy_n (C++11) copy_backward move (C++11) move_backward (C++11) fill fill_n transform generate generate_n remove remove_if remove_copy remove_copy_if	replace replace_if replace_copy replace_copy_if swap swap_ranges iter_swap reverse reverse_copy rotate rotate_copy random_shuffle shuffle   (C++11) unique unique_copy
Разделение
is_partitioned (C++11) partition partition_copy (C++11)	stable_partition partition_point (C++11)
Сортировка (на отсортированных промежутках)
is_sorted (C++11) is_sorted_until (C++11) sort	partial_sort partial_sort_copy stable_sort nth_element
Бинарный поиск (на отсортированных промежутках)
lower_bound upper_bound	binary_search equal_range
Множества (на отсортированных промежутках)
merge inplace_merge includes	set_difference set_intersection set_symmetric_difference set_union
Куча
is_heap is_heap_until (C++11) make_heap	push_heap pop_heap sort_heap
Минимум/максимум
max max_element min min_element minmax (C++11) minmax_element (C++11)	lexicographical_compare is_permutation (C++11) next_permutation prev_permutation
Числовые операции
iota (C++11) accumulate inner_product	adjacent_difference partial_sum
Библиотека C
qsort	bsearch

 

Заголовочный файл <algorithm>
template< class InputIt, class UnaryPredicate > bool is_partitioned( InputIt first, InputIt last, UnaryPredicate p );		(начиная с C++11)

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

Original:

Returns true if all elements in the range [first, last) that satisfy the predicate p appear before all elements that don't. Also returns true if [first, last) is empty.

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

Параметры

first, last	-	диапазон элементов для проверки Original: the range of elements to check The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions.
p	-	unary predicate which returns ​true для элементов, как ожидается, будет найден в начале диапазона Original: for the elements expected to be found in the beginning of the range The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. . The signature of the predicate function should be equivalent to the following: bool pred(const Type &a); The signature does not need to have const &, but the function must not modify the objects passed to it. The type Type must be such that an object of type InputIt can be dereferenced and then implicitly converted to Type. ​
Type requirements
- InputIt must meet the requirements of InputIterator.

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

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

Original:

true if the range [first, last) is empty or is partitioned by p. false otherwise.

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

Сложность

В большинстве std::distance(first, last) применения p.

Original:

At most std::distance(first, last) applications of p.

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

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

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

Вывод:

false true false

См. также

partition	делит диапазон элементов на две группы Original: divides a range of elements into two groups The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. (шаблон функции)
partition_point (C++11)	locates the partition point of a partitioned range (шаблон функции)