名前付き要件:LegacyInputIterator

 

C++

言語

標準ライブラリヘッダ

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

名前付き要件

言語サポートライブラリ

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

診断ライブラリ

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

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

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

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

名前付き要件

基本
DefaultConstructible CopyAssignable CopyConstructible	MoveAssignable (C++11) MoveConstructible (C++11) Destructible
型の性質
TrivialType (C++11) TriviallyCopyable (C++11)	StandardLayoutType (C++11) PODType
ライブラリ全体
EqualityComparable LessThanComparable Swappable (C++11) 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
乱数
SeedSequence (C++11) RandomNumberEngine (C++11)	RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11) RandomNumberEngineAdaptor (C++11)
並行処理
BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11)	Mutex (C++11) TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14)
その他
CharTraits RegexTraits (C++11) BitmaskType NumericType LiteralType (C++11)	UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11) Clock (C++11) TrivialClock (C++11)

 

LegacyInputIterator はその指す先の要素から読み込むことができる LegacyIterator です。 LegacyInputIterator はシングルパスアルゴリズムに対する有効性を保証するだけです。 LegacyInputIteratori がいったんインクリメントされると、その以前の値の全てのコピーは無効化される可能性があります。

要件

以下の内容を満たす場合、型 It は LegacyInputIterator を満たします。

• 型 It が LegacyIterator を満たす。
• 型 It が EqualityComparable を満たす。

さらに、

• It または const It 型の値 i, j
• std::iterator_traits<It>::reference によって表される型 reference
• std::iterator_traits<It>::value_type によって表される型 value_type

が与えられたとき、以下の式が有効でなければならず、指定された効果を持たなければなりません。

式	戻り値	同等な式	注釈
i != j	bool に文脈的に変換可能	!(i == j)	事前条件: (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;

ノート

「== の領域内である」は、2つのイテレータの間で等しさの比較が定義されているという意味です。 入力イテレータの場合、等しさの比較はすべての値に対して定義されている必要はなく、 == の領域内である値の集合は時間と共に変化しても構いません。

LegacyForwardIterator でない入力イテレータに対する reference 型は、参照型である必要はありません。 入力イテレータの逆参照はプロキシオブジェクトを返したり、 (std::istreambuf_iterator の場合のように) value_type それ自身を値返ししても構いません。

コンセプト std::iterator_traits の定義のために、以下の説明専用コンセプトが定義されます。 template<class I> concept __LegacyInputIterator =   __LegacyIterator<I>&& std::equality_comparable<I>&& requires(I i){     typename std::incrementable_traits<I>::difference_type;     typename std::readable_traits<I>::value_type;     typename std::common_reference_t<std::iter_reference_t<I>&&,                                      typename std::readable_traits<I>::value_type&>;     *i++;     typename std::common_reference_t<decltype(*i++)&&,                                      typename std::readable_traits<I>::value_type&>;     requires std::signed_integral<typename std::incrementable_traits<I>::difference_type>;   }; 説明専用コンセプト __LegacyIterator は LegacyIterator#Concept で説明されています。

(C++20以上)

関連項目

InputIterator

型が入力イテレータである、つまり、その参照先の値を読み込むことができ、前置または後置インクリメントができることを表します (コンセプト)

• イテレータライブラリ