Ist es gültig, Iteratoren aus verschiedenen Containern in C zu vergleichen?

Vergleich von Iteratoren aus verschiedenen Containern

Bei der Arbeit mit Containern ist es wichtig, die Auswirkungen des Vergleichs von Iteratoren aus verschiedenen Containern zu verstehen. Es stellt sich die Frage: Ist es zulässig, Iteratoren zu vergleichen, die zu unterschiedlichen Containern gehören?

Bedenken Sie den folgenden Code:

<code class="cpp">std::vector<int> foo;
std::vector<int> bar;
std::cout << (foo.begin() == bar.begin());</code>

Wird der Ausdruck foo.begin() == bar.begin() ergibt falsch oder führt zu undefiniertem Verhalten?

Eine genauere Betrachtung des C 11-Standards (n3337) kann Licht in dieses Dilemma bringen:

Iteratoren innerhalb derselben Sequenz

• Abschnitt 24.2.1 besagt, dass zwei Iteratoren, i und j, als erreichbar gelten, wenn es eine endliche Folge von i Operationen gibt, die i gleich j macht.
• Wenn j von i aus erreichbar ist , sie verweisen auf Elemente aus derselben Sequenz.

Vergleich von Iteratoren aus verschiedenen Containern

• ForwardIteratoren, zu denen RandomAccessIterators gehören, unterliegen Abschnitt 24.2. 5.
• In diesem Abschnitt wird angegeben, dass == nur zum Vergleichen von Iteratoren über dieselbe zugrunde liegende Sequenz verwendet werden kann.

Angesichts dieser Anforderungen ist der Vergleich von Iteratoren aus verschiedenen Containern ein undefiniertes Verhalten.

LWG Issue #446

LWG Issue #446 geht explizit auf diese Frage ein und schlägt folgende Ergänzung zum Standard vor:

„Das Ergebnis von direkt oder Die indirekte Auswertung einer Vergleichsfunktion oder des Binäroperators mit zwei Iteratorwerten als Argumenten, die aus zwei verschiedenen Bereichen r1 und r2 erhalten wurden [...], die keine Unterbereiche eines gemeinsamen Bereichs sind, ist undefiniert, sofern nicht ausdrücklich anders beschrieben >

Das obige ist der detaillierte Inhalt vonIst es gültig, Iteratoren aus verschiedenen Containern in C zu vergleichen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!