Каква е стойността по подразбиране на итератора?

По конвенция "NULL итератор" за контейнери, който се използва за указване на липса на резултат, се сравнява с резултата от 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 на входен поток.

Конструкторът по подразбиране инициализира итератор към единична стойност:

Итераторите могат също да имат единични стойности, които не са свързани с никоя последователност. [ Пример: След декларацията на неинициализиран указател x (както при int* x;), x винаги трябва да се приема, че има единствена стойност на указател. — краен пример ]
Резултатите от повечето изрази са недефинирани за единични стойности [24.2.1 §5]

Итераторът не се инициализира, точно както int x; декларира цяло число, което не е инициализирано. Тя няма правилно дефинирана стойност.

Актуализиран отговор.

До и включително C++11: итератор, инициализиран по подразбиране и стойност, може да съдържа единична стойност. Технически може да не се сравнява, нито да се дереферира. Вижте [iterator.requirements.general]/p5.

По конвенция обаче реализациите на STL се използват за инициализиране на такъв итератор като след края итератор.

Започвайки от C++14: итератор forward с инициализирана стойност се сравнява с итератор past-the-end. Вижте [iterators.forward.iterators]/p2 :

... итераторите с инициализирана стойност могат да се сравняват и трябва да се сравняват равни с други итератори с инициализирана стойност от същия тип. [ Забележка: Итераторите с инициализирана стойност се държат така, сякаш препращат след края на същата празна последователност. — крайна бележка ]

Следователно:

std::list<void*>::iterator iter {}; трябва да работи като итератор след края.

std::list<void*>::iterator iter; е опасно, тъй като iter ще бъде инициализирано само ако човек има нетривиален конструктор по подразбиране. Въпреки че за std::list това вероятно ще е така и също трябва да работи.