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

 

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)

 

LegacyIterator требования описывают типы, которые могут быть использованы для идентификации и обхода элементов контейнера.

LegacyIterator это базовый набор требований, используемых другими типами итераторов: LegacyInputIterator, LegacyOutputIterator, LegacyForwardIterator, LegacyBidirectionalIterator, и LegacyRandomAccessIterator. Итераторы можно рассматривать как абстракцию указателей.

Требования

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

• Тип It удовлетворяет CopyConstructible, и
• Тип It удовлетворяет CopyAssignable, и
• Тип It удовлетворяет Destructible, и
• lvalues типа It удовлетворяютSwappable, и
• std::iterator_traits<It> имеют определения типов членов value_type, difference_type, reference, pointer, и iterator_category , и
• Дано r, левостороннее значение типа It, следующие выражения должны быть валидными и иметь указанные эффекты:

Выражение	Возвращаемое значение	Предусловие
*r	unspecified	r является «разыменовываемым» (см. ниже)
++r	It&	r является «инкрементируемым» (поведение выражения ++r определено)

Разыменовываемый итератор

Итераторы, для которых определно поведение *i называются «разыменовываемыми».

Итераторы не являются разыменовываемыми если

• они past-the-end iterators (включая указатель за концом массива) или before-begin iterators. Подобные итераторы могут быть разыменовываемыми в конкретной реализации, но библиотека никогда не предположит, что этого.
• это «сингулярные» итераторы, то есть итераторы, не связанные ни с какой последовательностью. Нулевой указатель, так-же, как и указатель, созданный конструктором по умолчанию (содержащий неопределенное значение) является сингулярным
• они являются invalidated одной из операций, аннулирующих итератор, над последовательностью, на которую они ссылаются.

Concept Для определения std::iterator_traits, следующий (только для объяснения) концепт определен. <tbody> </tbody> template<class I> concept __LegacyIterator = requires(I i) { { *i } -> __Referenceable; { ++i } -> std::same_as<I&>; { *i++ } -> __Referenceable; } && std::copyable<I>; где (только для объяснения) концепт __Referenceable<T> удовлетворяется если и только если T& является валидным (в частном случае, T должен бытьvoid).

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

Отчеты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

Номер	Применён	Поведение в стандарте	Корректное поведение
LWG 3420	C++20	the концепт (только для объяснения) проверяет copyable first	copyable проверяется толькое если выражение-требование дает истинный ответ

Смотри также

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