Я всегда думал, что «единственным» итератором был тот, который был инициализирован по умолчанию, и они могли бы служить сопоставимымистраж значения сортов:

typedef std::vector<Elem>::iterator I;
I start = I();

std::vector<Elem> container = foo();

for (I it = container.begin(), end = container.end(); it != end; ++it) {
   if ((start == I()) && bar(it)) {
      // Does something only the first time bar(it) is satisfied

      // ...

      start = it;
   }
}

Ноэтот ответ предполагает не только то, что моё определение «единственного числа» неверно, но и то, что моё сравнение выше абсолютно незаконно

Это?