Pouvez-vous comparer les itérateurs de différents conteneurs en C ?

Comparaison des itérateurs de différents conteneurs : une mise en garde

En C, les itérateurs fournissent un mécanisme puissant pour parcourir les collections. Cependant, il est important d'être conscient des limitations lors de l'utilisation d'itérateurs provenant de différents conteneurs.

La question de savoir s'il est légal de comparer des itérateurs provenant de différents conteneurs se pose fréquemment. Prenons l'exemple suivant :

<code class="cpp">std::vector<int> foo;
std::vector<int> bar;

std::cout << (foo.begin() == bar.begin());</code>

Cette expression peut sembler inoffensive à première vue, mais elle génère en réalité un comportement indéfini. Selon la norme C 11, les itérateurs ne peuvent être comparés que s'ils font référence à des éléments d'une même séquence. Puisque foo et bar sont deux vecteurs distincts, leurs itérateurs ne sont pas comparables.

Ce comportement est encore souligné dans le numéro 446 du LWG :

"Le résultat de l'évaluation directe ou indirecte d'une fonction de comparaison ou l'opérateur binaire - avec deux valeurs d'itérateur comme arguments qui ont été obtenues à partir de deux plages différentes r1 et r2 (...) qui ne sont pas des sous-plages d'une plage commune n'est pas défini, sauf indication contraire explicite."

Cette restriction a des implications significatives pour la mise en œuvre d’itérateurs personnalisés. Si vous envisagez d'implémenter un Operator== pour votre itérateur personnalisé, vous devez vous assurer qu'il compare uniquement les itérateurs qui se trouvent dans la même plage.

Ne pas respecter cette règle peut entraîner un comportement inattendu et est finalement préjudiciable. à la fiabilité de votre code. Par conséquent, il est crucial de garder à l’esprit que comparer des itérateurs de différents conteneurs est strictement interdit en C .

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!