Comparando iteradores de contêineres diferentes: esclarecendo o comportamento indefinido

Ao trabalhar com iteradores em C , é importante entender as limitações de comparar iteradores de recipientes diferentes. Este artigo investiga se a expressão foo.begin() == bar.begin() produz um comportamento falso ou indefinido, onde foo e bar são dois contêineres std::vector separados.

De acordo com o Padrão C 11 (n3337), iteradores de contêineres diferentes não podem ser comparados diretamente. A Seção 24.2.5 afirma que o domínio do operador de igualdade == para iteradores diretos é definido apenas para iteradores na mesma sequência subjacente. Como contêineres diferentes são considerados sequências separadas, comparar iteradores deles é um comportamento indefinido.

Além disso, a edição nº 446 do LWG aborda especificamente essa questão. A proposta visa adicionar texto explícito ao padrão, esclarecendo que a comparação de iteradores de intervalos diferentes, a menos que seja explicitamente definido de outra forma, é indefinida. Isso enfatiza que mesmo comparar indiretamente iteradores de intervalos distintos, como usar funções como std::find, pode resultar em comportamento indefinido.

Portanto, é essencial evitar comparar iteradores de contêineres diferentes ou subintervalos de contêineres diferentes. Fazer isso pode levar a resultados imprevisíveis e deve ser evitado em práticas de código robustas.