Ist der Vergleich von Iteratoren aus verschiedenen Containern in C definiertes Verhalten?

Vergleich von Iteratoren aus verschiedenen Containern in C

Im Zusammenhang mit der Implementierung benutzerdefinierter Iteratoren stellt sich eine grundlegende Frage: Ist es zulässig, Iteratoren zu vergleichen? aus verschiedenen Behältern? Nehmen Sie zum Beispiel den folgenden Codeausschnitt:

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

// Is this expression valid?
foo.begin() == bar.begin();</code>

Gemäß dem C 11-Standard:

Iteratoren innerhalb derselben Sequenz:

• Iteratoren gelten als voneinander erreichbar, wenn wiederholte Anwendungen des Inkrementoperators ( ) zu Gleichheit führen.
• Iteratoren beziehen sich auf Elemente derselben Sequenz, wenn sie voneinander erreichbar sind.

Vergleich von Iteratoren aus verschiedenen Containern:

• Für Vorwärts-Iteratoren ist der Vergleich von Iteratoren nur dann definiert, wenn sie zur gleichen zugrunde liegenden Sequenz gehören.

Daher wird der Vergleich von Iteratoren aus verschiedenen Containern, wie foo.begin() und bar.begin() im obigen Beispiel, als undefiniertes Verhalten betrachtet.

Dieses undefinierte Verhalten beruht auf der Tatsache, dass Iteratoren auf bestimmte Elemente innerhalb eines Containers verweisen. Wenn Iteratoren zu verschiedenen Containern gehören, kann nicht davon ausgegangen werden, dass sie auf Elemente in derselben zugrunde liegenden Sequenz verweisen, daher führt ihr Vergleich zu undefinierten Ergebnissen.

LWG-Problem Nr. 446:

Um dieses Problem zu klären, schlug LWG Issue #446 vor, den folgenden Text zum Standard hinzuzufügen:

Das Ergebnis der direkten oder indirekten Auswertung einer Vergleichsfunktion oder des Binäroperators mit zwei Iteratorwerten als Argumenten, die von erhalten wurden zwei verschiedene Bereiche... ist undefiniert, sofern nicht ausdrücklich anders beschrieben.

Dieser Zusatz unterstreicht weiter die undefinierte Natur des Vergleichs von Iteratoren aus unterschiedlichen Containern.

Das obige ist der detaillierte Inhalt vonIst der Vergleich von Iteratoren aus verschiedenen Containern in C definiertes Verhalten?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!