名前付き要件: LegacyForwardIterator

LegacyForwardIterator はその指す先の要素からデータを読み込むことができる LegacyIterator です。

LegacyInputIterator や LegacyOutputIterator と異なり、マルチパスアルゴリズムで使用することができます。

a と b が等しい (a == b が文脈的に true に変換できる) 場合、それらがどちらも逆参照可能でないか、 *a と *b が同じオブジェクトに束縛される参照であるかの、いずれかです。
*a と *b が同じオブジェクトを参照している場合は、 a == b です。
可変な ForwardIterator イテレータを通した代入はイテレータを無効化しません (reference が真の参照として定義されることによる暗黙の事柄です)。
a のコピーをインクリメントしても a から読み込まれる値は変わりません (形式的には、 It が生のポインタ型であるか、式 (void)++It(a), *a が式 *a と同等であるかの、いずれかです)。
a == b であれば ++a == ++b が暗黙に成り立ちます。

値初期化された LegacyForwardIterator は何らかの未規定な空のコンテナの終端イテレータであるかのように動作します。同じ型の値初期化されたすべての LegacyForwardIterator は等しく比較されます。

(C++14以上)

std::iterator_traits の定義のために、以下の説明専用コンセプトが定義されます。

template<class I> concept __LegacyForwardIterator = __LegacyInputIterator<I> && std::constructible_from<I> && std::is_lvalue_reference_v<std::iter_reference_t<I>> && std::same_as< std::remove_cvref_t<std::iter_reference_t<I>>, typename std::readable_traits<I>::value_type> && requires(I i) { { i++ } -> std::convertible_to<const I&>; { *i++ } -> std::same_as<std::iter_reference_t<I>>; };

説明専用コンセプト __LegacyInputIterator<T> は LegacyInputIterator#Concept で説明されています。

(C++20以上)

InputIterator が等しさの比較とマルチパスをサポートする前進イテレータであることを指定します
(コンセプト) [edit]

目次

式	戻り値の型	同等な式	注釈
i++	It	It ip=i; ++i; return ip;
*i++	reference