Ist begin () == end () für einen leeren () Vektor?

Ich habe lange angenommen, dass für jedes leere std::vector V , V.begin() == V.end(). Ich sehe jedoch nichts in der C ++ - Spezifikation, was besagt, dass dies immer wahr ist. Ist es notwendigerweise wahr oder ist es bei den meisten Implementierungen einfach wahr?

Ja, das verlangt der Standard empty()für jeden Container.

§ 23.2.1 In Tabelle 96 des C ++ 11-Standards heißt es:

 +----------+---------------+----------------------+
 |Expression|  Return Type  | Operational Semantics|
 |----------|---------------|----------------------|
 |a.empty() |Convertible    |a.begin() == a.end()  |
 |          |to bool        |                      |
 |          |               |                      |
 +-------------------------------------------------+

23.2.1 Allgemeine Behälter Anforderungen , insbesondere Tabelle 96 Container Anforderungen haben

a.empty()konvertierbar zu bool, operative Semantika.begin() == a.end()

Dann

6 begin()gibt einen Iterator zurück, der auf das erste Element im Container verweist. end()Gibt einen Iterator zurück, der der Endwert für den Container ist. Wenn der Container leer ist, dannbegin() == end();

(Hervorhebung von mir)

http://www.cplusplus.com/reference/vector/vector/end/

Wenn der Container leer ist, ist end () dasselbe wie begin ().

Ja, das ist wahr. Hier ist der Beweis . Und natürlich std::distance(a.begin(), a.end()) == 0für einen leeren Vektor.