C++ 名前付き要件： LegacyIterator

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

C++ 名前付き要件

基本 DefaultConstructible MoveConstructible (C++11) CopyConstructible CopyAssignable MoveAssignable (C++11) Destructible 型のプロパティ ScalarType PODType TriviallyCopyable (C++11) TrivialType (C++11) StandardLayoutType (C++11)   ImplicitLifetimeType ライブラリワイド BooleanTestable EqualityComparable LessThanComparable Swappable ValueSwappable (C++11) NullablePointer (C++11) Hash (C++11) アロケータ FunctionObject Callable Predicate BinaryPredicate Compare

コンテナ コンテナ ReversibleContainer AllocatorAwareContainer SequenceContainer ContiguousContainer (C++17) AssociativeContainer UnorderedAssociativeContainer (C++11)   コンテナ要素 DefaultInsertable (C++11) CopyInsertable (C++11) MoveInsertable (C++11) EmplaceConstructible (C++11) Erasable (C++11) イテレータ LegacyIterator LegacyInputIterator LegacyOutputIterator LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator (C++17) ConstexprIterator (C++20) ストリームI/O FormattedInputFunction UnformattedInputFunction FormattedOutputFunction UnformattedOutputFunction フォーマッタ BasicFormatter (C++20) フォーマッタ (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) Ranges RangeAdaptorObject (C++20) RangeAdaptorClosureObject (C++20) 多次元ビュー LayoutMapping (C++23) LayoutMappingPolicy (C++23) AccessorPolicy (C++23) その他 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。イテレータはポインタの抽象化と考えることができます。

すべてのカテゴリのイテレータは、定数時間（償却）で実現可能な関数のみを要求します。したがって、イテレータの要件テーブルおよびコンセプト定義(C++20以降)では、複雑さは指定されていません。

要件

型 It は、以下の場合に LegacyIterator を満たします。

• 型 It は CopyConstructible を満たし、
• 型 It は CopyAssignable を満たし、
• 型 It は Destructible を満たし、
• 型 It は Swappable を満たし、
• std::iterator_traits<It> はメンバ typedef value_type (C++20まで)、difference_type、reference、pointer、および iterator_category を持ち、
• It 型の左辺値 r が与えられた場合、以下の式は有効であり、指定された効果を持つ必要があります。

Expression	返り値の型	事前条件
*r	unspecified	r は間接参照可能です。
++r	It&	r はインクリメント可能です（式 ++r の動作は定義されています）。

コンセプト std::iterator_traits の定義のために、以下の exposition-only コンセプトが定義されています。 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++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 2437	C++98	*r は reference である必要があります。	出力イテレータには要求されません。
LWG 3420	C++20	提示専用コンセプトはまず copyable をチェックします。	copyable は、requires 式が true を返した場合にのみチェックされます。

関連項目

input_or_output_iterator (C++20)	ある型のオブジェクトがインクリメントおよび間接参照できることを規定する (コンセプト)
イテレータライブラリ	イテレータ、イテレータ特性、アダプタ、およびユーティリティ関数の定義を提供します。