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

 

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)

 

LegacyInputIterator это LegacyIterator, который может читать из указателя на элемент. LegacyInputIterator гарантирует адекватность только для алгоритмов одного прохода: как только LegacyInputIterator i был инкрементирован, все копии предыдущего значения могут быть признаны недействительными.

Требования

Тип It удовлетворяет LegacyInputIterator если

• Тип It удовлетворяет LegacyIterator
• Тип It удовлетворяет EqualityComparable

И даны:

• i и j, значения типа It или const It
• reference, тип, обозначенный как std::iterator_traits<It>::reference
• value_type, тип, обозначенный как std::iterator_traits<It>::value_type

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

Выражение	Возвращаемое значение	Равнозначное выражение	Заметки
i != j	является концептуально конвертируемым в bool	!(i == j)	Precondition: (i, j) находится в области ==.
*i	reference, конвертируем в value_type	Если i == j и (i, j) находятся в области == тогда это равнозначно *j.	Предусловие: i возможно разыменовать. Выражение (void)*i, *i равнозначно *i.
i->m		(*i).m	Предусловие: i возможно разыменовать.
++i	It&		Предусловие: i возможно разыменовать. Постусловие: i возможно разыменовать или i находится после конца последовательности. Постусловие: Любые копии предыдущего значения i больше не должны быть как возможными к разыменованию,так и могут не быть в области ==.
(void)i++		(void)++i
*i++	преобразумо к value_type	value_type x = *i; ++i; return x;

Заметки

" В области ==" значит, что проверка равенства определена между двумя значениями итератора. Для итераторов ввода, проверка равенства не обязана быть определена для всех значений, и набор значений в области == могут изменяться в течение времени

reference для итератора ввода, который не является также LegacyForwardIterator не обязан быть ссылочного типа: разыменование входного итератора может вернуть прокси объект value_type сам по себе по значению (как в случае с std::istreambuf_iterator).

Концепт Для определения std::iterator_traits, следующий только для представления концепт определен. <tbody> </tbody> template<class I> concept __LegacyInputIterator = __LegacyIterator<I> && std::equality_comparable<I> && requires(I i) { typename std::incrementable_traits<I>::difference_type; typename std::indirectly_readable_traits<I>::value_type; typename std::common_reference_t<std::iter_reference_t<I>&&, typename std::indirectly_readable_traits<I>::value_type&>; *i++; typename std::common_reference_t<decltype(*i++)&&, typename std::indirectly_readable_traits<I>::value_type&>; requires std::signed_integral<typename std::incrementable_traits<I>::difference_type>; }; где концепт только для представления __LegacyIterator описан в LegacyIterator#Concept.

(начиная с C++20)

Смотри также

input_iterator (C++20)	указывает, что тип является итератором ввода, то есть значения, на которые он ссылается, могут быть прочитаны, и он может быть как пре-инкрементирован, так и пост-инкрементирован (концепт)
Iterator library	предоставляет определения для итераторов, свойств итераторов, адаптеров и служебных функций.