Что такое значение итератора по умолчанию?

по соглашению "нулевой итератор" для контейнеров, который используется для указания отсутствия результата, сравнивается с результатом container.end().

 std::vector<X>::iterator iter = std::find(my_vec.begin(), my_vec.end(), x);
 if (iter == my_vec.end()) {
     //no result found; iter points to "nothing"
 }

однако, поскольку построенный по умолчанию итератор контейнера не связан с каким-либо конкретным контейнером, нет никакого хорошего значения, которое он мог бы принять. Поэтому это просто неинициализированная переменная, и единственная законная операция, связанная с ней, - это назначить ей действительный итератор.

 std::vector<X>::iterator iter;  //no particular value
 iter = some_vector.begin();  //iter is now usable

---

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