suppose you have a random access iterator (eg of std::vector myVector)
std::vector myVector
when iter + someInt is past-end-iterator, iter + someInt == my
iter + someInt
iter + someInt == my
It's undefined behaviour, the standard says nothing about the result of that.