Comparación de iteradores de diferentes contenedores: aclarar el comportamiento indefinido

Al trabajar con iteradores en C, es importante comprender las limitaciones de comparar iteradores de diferentes contenedores. Este artículo profundiza en la cuestión de si la expresión foo.begin() == bar.begin() produce un comportamiento falso o indefinido, donde foo y bar son dos contenedores std::vector separados.

Según el Estándar C 11 (n3337), los iteradores de diferentes contenedores no se pueden comparar directamente. La sección 24.2.5 establece que el dominio del operador de igualdad == para iteradores directos solo se define para iteradores sobre la misma secuencia subyacente. Dado que diferentes contenedores se consideran secuencias separadas, comparar iteradores de ellos es un comportamiento indefinido.

Además, el número 446 de LWG aborda específicamente esta pregunta. La propuesta tiene como objetivo agregar texto explícito al estándar que aclare que la comparación de iteradores de diferentes rangos, a menos que se defina explícitamente lo contrario, no está definida. Esto enfatiza que incluso comparar indirectamente iteradores de distintos rangos, como el uso de funciones como std::find, puede dar como resultado un comportamiento indefinido.

Por lo tanto, es esencial evitar comparar iteradores de diferentes contenedores o subrangos de diferentes contenedores. Hacerlo podría generar resultados impredecibles y debe evitarse mediante prácticas de código sólidas.