According to the standard, it should be legal to compare two value initialized forward_iterator objects, and hence two value initialized random_access_ite
forward_iterator
random_access_ite