名前付き要件:LegacyBidirectionalIterator

LegacyBidirectionalIterator は双方向に移動できる (つまりインクリメントとデクリメントができる) LegacyForwardIterator です。

式	戻り値	同等な式	注釈
--a	It&		事前条件: `a` がデクリメント可能 (a ==++b であるような `b` が存在する) 事後条件: `a` が逆参照可能 --(++a)== a --a ==--b の場合に a == b が成り立つ a と --a が同じイテレータオブジェクトを指し示す
a--	const It& に変換可能	It temp = a; --a; return temp;
*a--	`reference`

可変な LegacyBidirectionalIterator は LegacyOutputIterator の要件を追加で満たす LegacyBidirectionalIterator です。

begin イテレータはデクリメント可能ではありません。 --container.begin() が評価された場合、動作は未定義です。

任意の双方向イテレータが逆参照可能である必要やデクリメント可能である必要はありません (特に、 end イテレータは逆参照可能ではありませんがデクリメントは可能です)。

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

template<class I> concept __LegacyBidirectionalIterator = __LegacyForwardIterator<I>&& requires(I i){ { --i }-> std::same_as<I&>; { i--}-> std::convertible_to<const I&>; {*i--}-> std::same_as<std::iter_reference_t<I>>; };

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

(C++20以上)

ForwardIterator が後方移動をサポートする双方向イテレータであることを指定します
(コンセプト)[edit]

目次