名前付き要件: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