Здравствуйте, MTD, Вы писали:

MTD>Это почему? А если память, например, не удалось выделить?
бросать исключение. это нарушение инварианта. поломанный assert короче говоря.

MTD>На практике это неудобно, например, я не хочу сдвигать итератор, просто хочу проверить, что есть куда сдвигать.
логика на исключениях? мне вас жаль (с)

MTD>А MoveNext невалидному итератору? Ты уверен, что стоит так замаскировать баг?
бросать исключение. это нарушение инварианта. поломанный assert короче говоря.