Логика тут такая: любые два итератора никогда не равны, кроме случаев если они не указывают ни на какие данные.