Question

I am implementing decrement operator for my custom bidirectional iterator. Is decrementing iterator pointing at 1st element of Range is defined behavior? Does it have some special value after decrementing, like Range.end()?

Answer 1

The iterator requirements are rather clear: In 24.2.6 [bidirectional.iterators], Table 110:

--r (Expression) X& (Return type) pre: there exists s such that r == ++s.

Since there is no such s for c.begin(), it can’t be decremented without violating the precondition.