Ist es nicht möglich, Instanzen in einer Schleife ohne Zeiger zu konstruieren?

Question

Dieser Code wird explodieren, oder? Sobald die Schleife beendet wird, werden die ursprünglichen Instanzen mit allen ihren inneren Elementen abstürzen, wenn sie also keine PODs sind, wird jede Methode wie do_stuff, die Zugriff auf Mitglieder von B erfordert, einen Segmentierungsfehler auslösen, richtig?

void foo() { 
    std::vector<B> bar; 
    for (int i = 0; i < 7; i++) 
    bar.push_back(B(i, i, i)); 
    bar[3].do_stuff(); 
} 

Also, gibt es eine Möglichkeit, dies zu tun, ohne einen Zeiger zu verwenden? Oder haben Sie, dies zu tun haben:

void foo() { 
    std::vector<B*> bar; 
    for (int i = 0; i < 7; i++) 
    bar.push_back(new B(i, i, i)); 
    bar[3]->do_stuff(); 
    for (int i = 0; i < 7; i++) 
    delete bar[i]; 
} 

Answer 1

Der erste Code ist besser als der zweite.

Die B Instanzen moved^{since C++11}/^{Pre-C++ 11} in den Vektor kopiert werden, damit sie nicht nach der Schleife außerhalb des Bereichs fallen - erst nach dem Vektor aus Anwendungsbereich fällt.

---

Wenn Sie die absolut optimale Leistung erhalten möchten, dann tun Sie dies:

void foo() { 
    std::vector<B> bar; 
    bar.reserve(7); 
    for (int i = 0; i < 7; i++) 
    bar.emplace_back(i, i, i); 
    bar[3].do_stuff(); 
} 

Dies garantiert nur eine Umverteilung, und die Elemente werden direkt in den Vektor konstruiert (statt verschieben oder kopieren sie dort) laut Marc Glisses Kommentare.

Answer 2

Das erste Codebeispiel gilt.

std::vector wird eine Kopie der Objekte übergeben Sie sie mit push_back (oder werden bewegen sie an Ort und Stelle mit C 11 ++, wenn Sie eine temporäre sind drängen), und es wird lebendig alle Instanzen halten solange der Vektor selbst lebt.

Die Zerstörung tritt auf, wenn Sie die Funktion beenden, nicht wenn Sie die Schleife verlassen.

Answer 3

Nein, std::vector übernimmt die Eigentümerschaft seiner Mitglieder, so dass der ursprüngliche Code funktioniert.

Answer 4

std::vector kopiert die ihm zur Verfügung gestellten Objekte (zB durch push_back()) und behält sie bei, bis der Vektor selbst zerstört wird.

Also der erste Code ist völlig in Ordnung, solange der Kopierkonstruktor von B (B(const B&)) richtig implementiert ist.