C++ 名前付き要件： LegacyInputIterator

 

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)

 

LegacyInputIterator は、ポインタ先の要素を読み取ることができる LegacyIterator です。LegacyInputIterator は、単一パスアルゴリズムでの有効性のみを保証します。一度 LegacyInputIterator i がインクリメントされると、その以前の値のすべてのコピーは無効になる可能性があります。

要件

型	定義
X	入力イテレータ型
T	X の 値型（すなわち std::iterator_traits<X>::value_type）
R	std::iterator_traits<X>::reference
値	定義
i, j	X または const X 型の値
r	X& 型の値
その他	定義
m	データメンバーまたはメンバー関数を可能性として示す識別子

X は、以下のすべての条件を満たす場合、LegacyInputIterator を満たす。

• X は LegacyIterator を満たす。
• X は EqualityComparable を満たす。
• 以下の式はwell-formedであり、指定された意味を持つ。

式	型	セマンティクス
i != j	BooleanTestable を満たす型 (C++20まで) boolean-testable をモデリングする型 (C++20以降)	事前条件	i と j は == の ドメイン 内にある。
		効果	!(i == j) と同等。
*i	T に変換可能な R	事前条件	i は dereferenceable である。
		効果	式 (void)*i, *i は *i と同等である。 もし i と j が == のドメイン内にあり、かつ i == j ならば、 *i は *j と同等である。
i->m		事前条件	i は dereferenceable である。
		効果	(*i).m と同等。
++r	X&	事前条件	r は dereferenceable である。
		事後条件	r は dereferenceable であるか、または r は past-the-end である。 r の以前の値のいかなるコピーも、もはや dereferenceable であること、または == のドメイン内にあることは要求されない。
(void)r++		効果	(void)++r と同等。
*r++	T に変換可能	効果	T x = *r; ++r; return x; と同等。

等価性ドメイン

== のドメインという用語は、通常の数学的な意味で、== を使用して比較できる値の集合を指すために使用される。この集合は時間とともに変化する可能性がある。

各アルゴリズムは、それが使用するイテレータ値の等価性ドメインに対して追加の要件を課す。これらの要件は、アルゴリズムが == および != をどのように使用するかから推測できる。

ノート

LegacyForwardIterator ではない入力イテレータ X について、 std::iterator_traits<X>::reference は参照型である必要はない。入力イテレータのデリファレンスは、プロキシオブジェクトを返すか、 std::iterator_traits<X>::value_type そのものを値で返すことがある（std::istreambuf_iterator の場合など）。

コンセプト std::iterator_traits の定義のために、以下の exposition-only コンセプトが定義されています。 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>; }; ここで、 exposition-only concept __LegacyIterator は LegacyIterator で説明されている。

(C++20以降)

欠陥報告

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 98	C++98	*i++ の戻り値の型は T であることが要求されていた	T に変換可能な任意の型でよい
LWG 2114 (P2167R3)	C++98	bool への変換可能性が弱すぎた 実装の期待を反映するために	要件が強化された

関連項目

input_iterator (C++20)	型が入力イテレータであること、すなわち、参照先の値を読み取ることができ、前置および後置インクリメントの両方が可能であることを規定する (コンセプト)
イテレータライブラリ	イテレータ、イテレータ特性、アダプタ、およびユーティリティ関数の定義を提供します。