Comparación de iteradores de diferentes contenedores: una advertencia

En C, los iteradores proporcionan un poderoso mecanismo para atravesar colecciones. Sin embargo, es importante tener en cuenta las limitaciones al utilizar iteradores de diferentes contenedores.

La pregunta de si es legal comparar iteradores de diferentes contenedores surge con frecuencia. Considere el siguiente ejemplo:

std::vector foo;
std::vector bar;

std::cout 
Esta expresión puede parecer inofensiva a primera vista, pero en realidad produce un comportamiento indefinido. Según el estándar C 11, los iteradores sólo se pueden comparar si se refieren a elementos de la misma secuencia. Dado que foo y bar son dos vectores distintos, sus iteradores no son comparables.
Este comportamiento se enfatiza aún más en el número 446 de LWG:
"El resultado de evaluar directa o indirectamente cualquier función de comparación o el operador binario - con dos valores de iterador como argumentos que se obtuvieron de dos rangos diferentes r1 y r2 (...) que no son subrangos de un rango común no está definido, a menos que se describa explícitamente de lo contrario."
Esta restricción tiene implicaciones importantes para la implementación de iteradores personalizados. Si planea implementar un operator== para su iterador personalizado, debe asegurarse de que solo compare iteradores que estén dentro del mismo rango.
No cumplir con esta regla puede generar un comportamiento inesperado y, en última instancia, es perjudicial a la confiabilidad de su código. Por lo tanto, es fundamental tener en cuenta que comparar iteradores de diferentes contenedores está estrictamente prohibido en C.