Comparación de iteradores construidos por defecto con operator ==

Question

¿El Estándar C++ dice que debería poder comparar dos iteradores AWL construidos por defecto para la igualdad? ¿Los iteradores construidos por defecto son equivalentes a la igualdad?

quiero lo siguiente, usando std :: lista, por ejemplo:

void foo(const std::list<int>::iterator iter) { 
    if (iter == std::list<int>::iterator()) { 
     // Something 
    } 
} 

std::list<int>::iterator i; 
foo(i); 

Lo que quiero aquí es algo así como un valor NULL para iteradores, pero no estoy seguro de si es legal. En la implementación de STL incluida con Visual Studio 2008, incluyen aserciones en el operador std :: list ==() que impiden este uso. (Comprueban que cada iterador es "propiedad" del mismo contenedor y los iteradores construidos por defecto no tienen contenedor). Esto daría a entender que no es legal, o quizás que están siendo demasiado celosos.

Answer 1

Bien, daré una puñalada. The Standard ++ C, Sección 24.1/5:

iteradores también puede tener singulares valores que no están asociados con cualquier contenedor. [Ejemplo: después de la declaración de un puntero x no inicializado (como con int * x;), siempre se debe suponer que x tiene un valor singular de un puntero. ] Los resultados de la mayoría de las expresiones no están definidos para los valores singulares ; la única excepción es una asignación de un valor no singular a un iterador que contiene un valor singular de .

Entonces, no, no se pueden comparar.

Answer 2

Creo que debe pasar rango a la función.

void fun(std::list<int>::iterator beg, std::list<int>::iterator end) 
{ 
    while(beg != end) 
    { 
     // do what you want here. 
     beg++; 
    } 
} 

Answer 3

La especificación dice que la condición posterior del constructor predeterminado es que el iterador es singular. La comparación de igualdad no está definida, por lo que puede ser diferente en alguna implementación.

Answer 4

Esto va a cambiar en C++ 14. [Forward.iterators] 24.2.5p2 de N3936 dice

Sin embargo, los iteradores de valor inicializado puede compararse y se compara igual a otros iteradores de valor inicializado del mismo tipo.