C++ именованные требования: Compare

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

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

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

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

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Именованные требования в C++

Основные
DefaultConstructible CopyAssignable	CopyConstructible MoveAssignable (C++11)	MoveConstructible (C++11) Destructible
Свойства типа
ScalarType TriviallyCopyable (C++11)	StandardLayoutType (C++11) PODType	TrivialType (C++11) ImplicitLifetimeType
В масштабах библиотеки
EqualityComparable LessThanComparable Swappable ValueSwappable (C++11)	NullablePointer (C++11) Hash (C++11) Allocator FunctionObject	Callable Predicate BinaryPredicate Compare
Контейнер
Container SequenceContainer ContiguousContainer (C++17)	ReversibleContainer AssociativeContainer AllocatorAwareContainer	UnorderedAssociativeContainer (C++11)
Элементы контейнера
DefaultInsertable (C++11) CopyInsertable (C++11)	MoveInsertable (C++11) EmplaceConstructible (C++11)	Erasable (C++11)
Итератор
LegacyIterator LegacyOutputIterator LegacyInputIterator	LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator	LegacyContiguousIterator (C++17) ConstexprIterator (C++20)
Потоковый Ввод/Вывод
FormattedInputFunction UnformattedInputFunction	FormattedOutputFunction	UnformattedOutputFunction
Форматтеры
BasicFormatter (C++20)	Formatter (C++20)
Случайные Числа
SeedSequence (C++11) RandomNumberEngine (C++11)	RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11)	RandomNumberEngineAdaptor (C++11)
Конкуренция
BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11)	SharedLockable (C++14) SharedTimedLockable (C++14) Mutex (C++11)	TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14)
Диапазоны
RangeAdaptorObject (C++20)	RangeAdaptorClosureObject (C++20)
Другое
CharTraits RegexTraits (C++11) BitmaskType LiteralType (C++11)	NumericType UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11)	Clock (C++11) TrivialClock (C++11)

 

Compare является набором требований, ожидаемых некоторыми средствами стандартной библиотеки от предоставляемых пользователем типов объектов функций.

Возвращаемое значение вызова функции применительно к объекту типа, удовлетворяющего Compare, когда contextually converted к bool, возвращает true если первый аргумент вызова появляется перед вторым вstrict weak ordering relation вызванные этим типом и false иначе.

Как и любой BinaryPredicate, вычисление этого выражения не позволяет вызывать не константные функции через разыменование итераторов и, синтаксически, операция вызова функции должна принимать аргументы объекта const с одинаковым поведением независимо от того, являются ли аргументы const или не const (начиная с C++20).

Требования

Тип T удовлетворяет Compare если

• Тип T удовлетворяет BinaryPredicate, и

Даны

• comp, объект типа T
• equiv(a, b), выражение, равнозначное !comp(a, b) && !comp(b, a)

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

Выражение	Возвращаемое значение	Требования
comp(a, b)	implicitly convertible к bool	Устанавливает strict weak ordering отношение со следующими свойствами Для всех a, comp(a,a)==false Если comp(a,b)==true, тогда comp(b,a)==false если comp(a,b)==true и comp(b,c)==true тогда comp(a,c)==true
equiv(a, b)	bool	Устанавливает отношение эквивалентности со следующими свойствами Для всех a, equiv(a,a)==true Если equiv(a,b)==true, тогда equiv(b,a)==true Если equiv(a,b)==true и equiv(b,c)==true, тогда equiv(a,c)==true

Неообходимо заметить: comp вызывает strict total ordering на классах эквивалентности, определяемых equiv

Стандартная библиотека

Следующие стандартные библиотечные средства предполагают наличие Compare.

set	коллекция уникальных ключей, отсортированная по ключам (шаблон класса)
map	коллекция пар ключ-значение, отсортированных по ключам, ключи уникальны (шаблон класса)
multiset	коллекция ключей, отсортированная по ключам (шаблон класса)
multimap	коллекция пар ключ-значение, отсортированных по ключам (шаблон класса)
priority_queue	адаптирует контейнер для предоставления очереди с приоритетами (шаблон класса)
sort	сортирует диапазон в порядке возрастания (шаблон функции)
sort (C++11)	сортирует элементы (public функция-элемент std::forward_list)
sort	сортирует элементы (public функция-элемент std::list)
stable_sort	сортирует диапазон элементов, сохраняя порядок между равными элементами (шаблон функции)
partial_sort	сортирует первые N элементов диапазона (шаблон функции)
partial_sort_copy	копирует и частично сортирует диапазон элементов (шаблон функции)
is_sorted (C++11)	проверяет, отсортирован ли диапазон по возрастанию (шаблон функции)
is_sorted_until (C++11)	находит наиболее длинный отсортированный префиксный поддиапазон (шаблон функции)
nth_element	частично сортирует заданный диапазон, убедившись, что он разделён заданным элементом (шаблон функции)
lower_bound	возвращает итератор на первый элемент не меньший, чем заданное значение (шаблон функции)
upper_bound	возвращает итератор на первый элемент, который больше определённого значения (шаблон функции)
binary_search	определяет, существует ли элемент в частично упорядоченном диапазоне (шаблон функции)
equal_range	возвращает диапазон элементов, соответствующих определённому ключу (шаблон функции)
merge	объединяет два отсортированных диапазона (шаблон функции)
merge (C++11)	сливает два отсортированных списка (public функция-элемент std::forward_list)
merge	сливает два отсортированных списка (public функция-элемент std::list)
inplace_merge	объединяет два упорядоченных диапазона на месте (шаблон функции)
includes	возвращает true, если одна последовательность является подпоследовательностью другой (шаблон функции)
set_difference	вычисляет разницу между двумя наборами (шаблон функции)
set_intersection	вычисляет пересечение двух множеств (шаблон функции)
set_symmetric_difference	вычисляет симметричную разницу между двумя наборами (шаблон функции)
set_union	вычисляет объединение двух множеств (шаблон функции)
push_heap	добавляет элемент в максимальную кучу (шаблон функции)
pop_heap	удаляет наибольший элемент из максимальной кучи (шаблон функции)
make_heap	создаёт максимальную кучу из диапазона элементов (шаблон функции)
sort_heap	превращает максимальную кучу в диапазон элементов, отсортированных в порядке возрастания (шаблон функции)
is_heap	проверяет, является ли указанный диапазон максимальной кучей (шаблон функции)
is_heap_until (C++11)	находит самый большой поддиапазон, который составляет максимальную кучу (шаблон функции)
max	возвращает большее из заданных значений (шаблон функции)
max_element	возвращает наибольший элемент в диапазоне (шаблон функции)
min	возвращает меньшее из заданных значений (шаблон функции)
min_element	возвращает наименьший элемент в диапазоне (шаблон функции)
minmax (C++11)	возвращает меньший и больший из двух элементов (шаблон функции)
minmax_element (C++11)	возвращает наименьший и наибольший элементы в диапазоне (шаблон функции)
lexicographical_compare	возвращает true, если один диапазон лексикографически меньше другого (шаблон функции)
next_permutation	генерирует следующую большую лексикографическую перестановку диапазона элементов (шаблон функции)
prev_permutation	генерирует следующую меньшую лексикографическую перестановку диапазона элементов (шаблон функции)

Смотри также

strict_weak_order (C++20)	указывает, что relation налагает строгий слабый порядок (концепт)
Comparison operators	<, <=, >, >=, ==, !=, and <=> (C++20), compare the arguments