It should be optimized out. The keyword is should. It may not for all iterators (especially custom stuff) and it may not at all optimization levels (important for debugging)

So it becomes "why depend on maybes?"