名前付き要件:LegacyRandomAccessIterator

LegacyRandomAccessIterator は定数時間で任意の要素を指す位置に移動できる LegacyBidirectionalIterator です。

配列要素へのポインタは LegacyRandomAccessIterator のすべての要件を満たします。

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

さらに、

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

式	戻り値の型	操作的意味論	注釈
r += n	It&	difference_type m = n; if(m >=0)while(m--)++r; elsewhile(m++)--r; return r;	`n` は正でも負でも構いません計算量は定数時間です (つまり、実装は操作的意味論に示されている while ループを実際に実行してはなりません)
a + n n + a	It	It temp = a; return temp += n;	`n` は正でも負でも構いません a + n == n + a
r -= n	It&	return r +=-n;	`n` の絶対値は `difference_type` の表現可能な値の範囲内でなければなりません
i - n	It	It temp = i; return temp -= n;
b - a	`difference_type`	return n;	事前条件: a+n==b であるような `difference_type` 型の値 `n` が存在する事後条件: b == a +(b - a)
i[n]	`reference` に変換可能	*(i + n)
a < b	文脈的に bool に変換可能	b - a >0	狭義全順序関係: `!(a < a)` `a < b` であれば `!(b < a)` が成り立つ `a < b` かつ `b < c` であれば `a < c` が成り立つ `a < b` または `b < a` または `a == b` (これらの式のいずれかひとつだけが真である)
a > b	文脈的に bool に変換可能	b < a	a < b と逆の全順序関係
a >= b	文脈的に bool に変換可能	!(a < b)
a <= b	文脈的に bool に変換可能	!(a > b)

上記のルールは LegacyRandomAccessIterator が LessThanComparable も実装することを暗に示します。

可変な LegacyRandomAccessIterator は LegacyOutputIterator の要件を追加でサポートする LegacyRandomAccessIterator です。

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

template<class I> concept __LegacyRandomAccessIterator = __LegacyBidirectionalIterator<I>&& std::totally_ordered<I>&& requires(I i, typename std::incrementable_traits<I>::difference_type n){ { i += n }-> std::same_as<I&>; { i -= n }-> std::same_as<I&>; { i + n }-> std::same_as<I>; { n + i }-> std::same_as<I>; { i - n }-> std::same_as<I>; { i - i }-> std::same_as<decltype(n)>; { i[n] }-> std::convertible_to<std::iter_reference_t<I>>; };

説明専用コンセプト __LegacyBidirectionalIterator は LegacyBidirectionalIterator#Concept で説明されています。

(C++20以上)

BidirectionalIterator が定数時間の前進と添字アクセスをサポートするランダムアクセスイテレータであることを指定します
(コンセプト)[edit]