Problema con std :: Mapa :: iterador después de llamar borrado()

Question

// erasing from map 
#include <iostream> 
#include <map> 
using namespace std; 

int main() 
{ 
    map<char,int> mymap; 
    map<char,int>::iterator it(mymap.begin()); 

    // insert some values: 
    mymap['a']=10; 
    mymap['b']=20; 
    mymap['c']=30; 
    mymap['d']=40; 
    mymap['e']=50; 
    mymap['f']=60; 

    it=mymap.find('a'); 
    mymap.erase (it);     // erasing by iterator 

    // show content: 
    for (; it != mymap.end(); it++) 
    cout << (*it).first << " => " << (*it).second << endl; 
    return 0; 
} 

¿Por qué esto da una salida como

a => 10 
b => 20 
c => 30 
d => 40 
e => 50 
f => 60 

no debería "a => 10" se eliminarán de todos modos, pero si me declaro en el it = mymap.begin() de bucle, todo es perfecto. ¿por qué?

programa adaptado de: http://www.cplusplus.com/reference/stl/map/erase/

Answer 1

Al borrar un elemento de map se invalidan los iteradores que apuntan a ese elemento (después de que se haya eliminado todo ese elemento). No deberías reutilizar ese iterador. En lugar de ello, avanzar en el repetidor al siguiente elemento antes de la eliminación se lleva a cabo, por ejemplo, así:

mymap.erase(it++); 

Un bucle suprimiendo elementos podría tener este aspecto:

it = mymap.begin(); 
while (it != mymap.end()) { 
    if (something) 
     mymap.erase(it++); 
    else 
     it++; 
} 

Answer 2

Calling erase() invalida el iterador. En este caso, lo que está sucediendo es que el iterador apunta al valor residual que queda en la memoria (¡pero no confíe en este comportamiento indefinido!). Restablezca el iterador con it=mymap.begin() antes del bucle para obtener los resultados deseados.

http://codepad.org/zVFRtoV5

This answer muestra cómo borrar elementos, mientras que la iteración en una std::map:

for(map<T, S*>::iterator it = T2pS.begin(); it != T2pS.end(); T2pS.erase(it++)) { 
    // wilhelmtell in the comments is right: no need to check for NULL. 
    // delete of a NULL pointer is a no-op. 
    if(it->second != NULL) { 
     delete it->second; 
      it->second = NULL; 
    } 
} 

Answer 3

Esto tiene que ver con cómo se implementa el map. Digamos que es un árbol de algún tipo, como:

class map_node { 
    char key; 
    int value; 
    map_node* next; 
    ... 
}; 

Cuando erase() el iterador, se quita el nodo del árbol y desasignar su espacio. Pero hasta que se sobrescriba esa ubicación de memoria, los contenidos del nodo todavía están en la memoria. Es por eso que puede obtener no solo el valor, sino también el siguiente elemento en el árbol. Por lo tanto, su resultado es completamente esperado.

Answer 4

it ya no es válido después de mymap.erase(it). Esto significa que puede hacer lo que quiera.

Answer 5

"it" sigue apuntando a la misma ubicación, borrar no actualiza el iterador por sí mismo, tiene que hacerlo, restableciendo el iterador. En efecto, "eso" apunta a la ubicación anterior que ha sido borrada del vector pero aún contiene los datos antiguos.