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
The result is undefined by the C++ Standard.