Ist garantiert, dass v.begin() + v.size() == v.end() für C++ Vektor v?

Question

Ich versuche, value in C++ Vektor v vor i -ten Element (oder nach Element (i-1)) einzufügen. Der Code ist sehr einfach

v.insert(v.begin() + i, value); 

Ich bin sicher, dass diese Aussage funktioniert, wenn i zwischen 0 einschließend und v.size() ausschließlich ist. Außerdem glaube ich, dass, wenn i streng größer als v.size() oder negativ ist, die Anweisung undefiniertes Verhalten hat. Aber was, wenn i == v.size()? Ist v.begin() + i ein gültiger Iterator? Ist garantiert, dass v.begin() + v.size() == v.end()?

Wenn es garantiert ist, könnten Sie die genauen Teile des Standards referenzieren? Wenn sich die Garantien zwischen Standardversionen ändern, ist es außerdem hilfreich, diese Änderungen zu kennen.

Ohne diese Garantien ich wahrscheinlich den folgenden Code verwenden soll:

if (i == v.size()) { 
    v.insert(v.end(), value); // or just v.push_back(value); 
} else { 
    v.insert(v.begin() + i, value); 
} 

Aber es wäre prägnanter sein nur eine Zeile wie am Anfang dieser Frage zu verwenden. In der Praxis funktioniert der Code von Anfang an, aber ich möchte sicher sein, dass er überall funktioniert. Ich habe versucht, den Standard zu durchsuchen, konnte aber diese Eigenschaft eines Direktzugriffs-Iterators nicht finden.

Answer 1

Wie bereits erwähnt auf documentation

pos - Iterator vor dem der Inhalt eingefügt werden. pos kann das Ende() Iterator

so sein ja Sie end() verwenden können. Wie für Ihre andere Frage:

Ist es garantiert, dass v.begin() + v.size() == v.end()?

ja es ist, sonst diese Schleife:

for(auto it = vec.begin(); it != vec.end(); ++it) ... 

würde nicht richtig funktionieren, wie es ++it genau vec.size() mal ausgeführt werden müssen.