Wird der Destruktor eines lokalen Objekts in einer Schleife garantiert vor der nächsten Iteration aufgerufen?

Wenn ich eine Schleife habe und innerhalb dieser Schleife eine neue Stapelvariable erstelle (ohne sie auf dem Heap zuzuweisen und die Variable, die sie im Schleifenkörper deklariert hält), wird der Destruktor dieses Objekts garantiert aufgerufen, bevor die nächste Iteration beginnt oder möglicherweise Schleife Abwickeln durch den Compiler etwas daran ändern?

Von n4800:

§6.3.3 Block - Scope :

Ein in einem Block (8.3) deklarierter Name ist lokal für diesen Block. es hat Blockumfang. Sein potenzieller Geltungsbereich beginnt am Deklarationspunkt (6.3.2) und endet am Ende seines Blocks. Eine im Blockbereich deklarierte Variable ist eine lokale Variable.

§10.3.6 Zerstörer :

Ein Destruktor wird implizit aufgerufen, [...] wenn der Block, in dem ein Objekt erstellt wird, beendet wird (8.7).

§4.1.1 Abstrakte Maschine :

Diese Bestimmung wird manchmal als "Als-ob" -Regel bezeichnet, da es einer Implementierung freigestellt ist, eine Anforderung dieses Dokuments zu ignorieren, solange das Ergebnis so ist, als ob die Anforderung eingehalten worden wäre, soweit dies aus dem beobachtbaren Verhalten von bestimmt werden kann das Programm .

[Hervorhebung von mir]

Also ja. Ihre Variable verlässt am Ende der Schleife (die ein Block ist) den Gültigkeitsbereich und daher wird ihr Destruktor aufgerufen , soweit jeder, der das Verhalten des Programms beobachtet, dies beurteilen kann .

Ja. Es ist einfacher zu visualisieren, wenn Sie die "Blöcke" betrachten, in denen Sie eine Variable deklarieren, dh zwischen welchen Klammern. Die Schleife ist ein Block für sich, und wenn sie vor der nächsten Iteration die schließende Klammer erreicht, werden alle Destruktoren der in der Schleife deklarierten automatischen Speichervariablen aufgerufen.

Könnte das Abrollen der Schleife durch den Compiler etwas daran ändern?

Als Faustregel sollten Sie nicht darüber nachdenken, was der Compiler optimieren wird, da er weiterhin das Verhalten Ihres Programms gewährleisten muss, unabhängig davon, was es zur Optimierung tut. In diesem Fall ändert das Abrollen der Schleife nichts in diesem Sinne, wenn dies geschieht.

Der Destruktor wird für jede Iteration aufgerufen. In einigen Fällen ist es daher schneller, eine Variable außerhalb der Schleife als in der Schleife zu deklarieren . Angenommen, der folgende Fall:

std::string temp;
for(int i = 0; i < 10; ++i){
    temp = arr[i];
    doSomething(temp);
}

Der Destruktor wird nicht aufgerufen, wenn die Verwendung der Schleife ausgeführt wird. Es überschreibt nur temp.

Wenn Sie jedoch std::string temp = arr[i]den Konstruktor verwenden, wird der Destruktor für jede Iteration aufgerufen. Ich denke, dies fügt ein bisschen Laufzeit hinzu, falls Sie eine Schleife haben, die sehr oft ausgeführt wird.

Der Destruktor wird vor der nächsten Iteration aufgerufen

Natürlich wird dtor am Ende der Iteration aufgerufen, und das Abrollen der Schleife sollte dieses Verhalten nicht ändern, wie jede andere Optimierung (eine Optimierung sollte das Programmverhalten nicht ändern), außer einer Art RVO und dergleichen, die einige semantisch falsche Objekterstellungen eliminieren kann .