Wie ist der dynamischen Speicher verwaltet, die in std::vector?

Es nutzt die Zuweisung gegeben wurde, ihn als zweiten template-parameter. Wie diese dann. Sagen, es ist in push_back, lassen t werden, die das Objekt geschoben werden:

...
if(_size == _capacity) { //size is never greater than capacity
    //reallocate
    T * _begin1 = alloc.allocate(_capacity * 2, 0);
    size_type _capacity1 = _capacity * 2;

    //copy construct items (copy over from old location).
    for(size_type i=0; i<_size; i++)
        alloc.construct(_begin1 + i, *(_begin + i));
    alloc.construct(_begin1 + _size, t);

    //destruct old ones. dtors are not allowed to throw here. 
    //if they do, behavior is undefined (17.4.3.6/2)
    for(size_type i=0;i<_size; i++)
        alloc.destroy(_begin + i);
    alloc.deallocate(_begin, _capacity);

    //set new stuff, after everything worked out nicely
    _begin = _begin1;
    _capacity = _capacity1;
} else { //size less than capacity
    //tell the allocator to allocate an object at the right
    //memory place previously allocated
    alloc.construct(_begin + _size, t);
}
_size++; //now, we have one more item in us
...

Sowas. Die Zuweisung kümmert sich um Zuweisung von Speicher. Er hält die Schritte der allokierung von Speicher und dem Bau-Objekt an, in das Gedächtnis auseinander, so kann es preallocate Speicher, aber noch nicht rufen Konstruktoren. Während der Umprogrammierung, der Vektor hat Sorge zu tragen, über Ausnahmen wird ausgelöst, indem Sie copy-Konstruktoren, das erschwert die Sache etwas. Das obige ist nur einige pseudo-code-snippet - nicht real code und enthält wahrscheinlich viele bugs. Wenn die Größe wird über die Kapazität, es fordert die Zuweisung zuweisen eine neue größerer block von Speicher, wenn nicht dann ist es nur Konstrukte, die mit dem zuvor zugewiesenen Speicherplatz.

Die genaue Semantik dieser hängt von der Zuweisung. Wenn es die standard-Zuweisung, konstruieren tun

new ((void*)(_start + n)) T(t); //known as "placement new"

Und die Zuweisung allocate wird nur erhalten Speicher aus ::operator new. destroy ruft den Destruktor

(_start + n)->~T();

Alle, die abstrahiert hinter der Zuweisung und der Vektor nur verwendet es. Ein Stapel-oder pooling-Zuweisung könnten komplett unterschiedlich arbeiten. Einige wichtige Punkte zur vector wichtig sind

• Nach einem Aufruf reserve(N) Sie können bis zu N Elemente eingefügt, die in dem Vektor ohne die Gefahr einer Umverteilung. Bis dann, das ist, solange size() <= capacity(), Referenzen und Iteratoren auf Elemente der it bleiben weiterhin gültig.
• Vector-Speicher zusammenhängend ist. Sie können die Behandlung &v[0] ist ein Puffer, wie viele Elemente Sie haben derzeit in Ihrem Vektor.

Den Speicher verwaltet std::vector ist garantiert kontinuierliche, so dass Sie behandeln können &vec[0] als einen Zeiger auf den Anfang des dynamischen Arrays.

Angesichts dieser, wie es tatsächlich gelingt es Umschichtungen ist die Umsetzung-spezifisch.