¿Puede un iterador de mapa STL salirse de los límites mediante el incremento?

Question

Para contenedores asociativos, ¿puede el operador ++ enviar un iterador más allá del final de una colección?

Ejemplo:

map<UINT32, UINT32> new_map; 
new_map[0] = 0; 
new_map[1] = 1; 

map<UINT32, UINT32> new_iter = new_map.begin(); 

++new_iter; 
++new_iter; 
++new_iter; 
++new_iter; 
++new_iter; 
++new_iter; 
++new_iter; 

Al final de esto, no new_iter == new_map.end(), o se terminan en el gran desconocido?

Nota: Sé que esto está mal y no es la manera de hacer las cosas. Estoy trabajando con algún código corporativo de la WTF.

Answer 1

Si incrementa el iterador final, el resultado es un comportamiento indefinido. Por lo tanto, podría continuar siendo final, o irse al final, o enviar un correo electrónico a su abuela con un enlace a cabra.

Consulte también: What if I increment an iterator by 2 when it points onto the last element of a vector?

Answer 2

La condición previa para el operador ++ para un iterador hacia adelante es que el iterador es Dereferenceable. Esto implica que no puede haber pasado el final del mapa, por lo que su código proporciona un comportamiento indefinido. Esto se describe en la sección 24.1.3 del Estándar C++.

Answer 3

Como han señalado otros, incrementar el iterador final causa un comportamiento indefinido; sin embargo, vale la pena señalar que Visual Studio 2008 lanzará una aserción de depuración en tiempo de ejecución (debido a su checked iterators) si hace esto.