Speicherzuweisung in C++

Question

Ich lese denken in C++ Kapitel 6 Initialisierung & Bereinigung. Der Autor sagte, dass:

Es ist eigentlich wahrscheinlicher, dass der Compiler der Praxis in C von Zuteilung aller Speicher für einen Bereich an der Öffnung Klammer des dass Umfangs folgen. Es spielt keine Rolle, denn als Programmierer können Sie nicht auf den Speicher zugreifen, bis er definiert wurde. Obwohl der Speicher am Anfang des Blocks zugewiesen ist, tritt der Konstruktoraufruf nicht vor dem Sequenzpunkt auf, an dem das Objekt definiert ist, da der Bezeichner erst dann verfügbar ist. Der Compiler überprüft sogar stellen Sie sicher, dass Sie die Objektdefinition nicht dort setzen, wo die Sequenz Punkt nur bedingt durchläuft, wie in einem Schalter Anweisung oder irgendwo ein Goto kann darüber überspringen.

Und dann der Autor gibt ein Beispiel, wie folgend:

class X { 
public: 
    X(); 
}; 

X::X() {} 

void f(int i) { 
    if(i < 10) { 
    //! goto jump1; // Error: goto bypasses init 
    } 
    X x1; // Constructor called here 
jump1: 
    switch(i) { 
    case 1 : 
     X x2; // Constructor called here 
     break; 
    // case 2 : // Error: case bypasses init 
     X x3; // Constructor called here 
     break; 
    } 
} 

int main() { 
    f(9); 
    f(11); 
}///:~ 

Ich verstehe nicht, warum der obige Code in Ordnung ist? Nach meinem Verständnis, x2 kann Initialisierung umgangen werden, wenn i nicht 1 ist.

Supplement: „It'a eigentlich wahrscheinlicher, dass der Compiler der Praxis in C von Zuteilung aller Speicher für einen Bereich an der Öffnung Klammer dieses Bereichs folgen“

Dieser Satz verwirrte mich auch.

Laut der Beschreibung des Autors hat der Compiler bei der Eröffnung der switch bereits Platz für x2 und reserviert. Wenn dies der Fall ist, besteht die Möglichkeit, dass x2 nicht initialisiert wird (Fall 1 ist nicht erfüllt).

Answer 1

C++ Objektinitialisierung und Destruktionssemantik sind vollständig sprungsicher (Exception-, Goto-, Switch- und Loop-Konstrukte enthalten).

(die einzige Ausnahme von der C-Standard-Bibliothek vererbt wird (setjmp/longjmp))

6,6 Sprunganweisungen

beim Ausgang aus einem Rahmen (aber erreicht), Objekte mit automatische Speicherdauer (3.7.3), die in diesem Umfang erstellt wurden, werden in umgekehrter Reihenfolge ihrer Konstruktion zerstört. [Hinweis: Für Provisorien siehe 12.2. -end note] Die Übertragung aus einer Schleife, aus einem Block oder hinter einer initialisierten Variablen mit automatischer Speicherdauer umfasst die Zerstörung von Objekten mit automatischer Speicherdauer, die an dem Punkt übertragen werden, der von, aber nicht am Punkt übertragen wird übertragen an. (Siehe 6.7 für die Übertragung in Blöcke). [Hinweis: Das Programm kann jedoch beendet werden (zB durch Aufruf von std :: exit() oder std :: abort() (18.5)), ohne Klassenobjekte mit automatischer Speicherdauer zu zerstören.-Ende note]

Answer 2

Nach meinem Verständnis kann x2 Initialisierung umgangen werden, wenn ich nicht ist 1.

Nein, entweder die case 1 ausgeführt wird, und x2 wird definiert und dann zerstört bei Das Ende des switch Block, oder kein Fall wird ausgeführt und der gesamte switch Block tut nichts, so x2 ist nicht im Bereich, so ist es nicht initialisiert, aber es kann auch nicht bezeichnet werden. Entweder existiert es und ist sicher zu benutzen, oder es existiert nicht.

Answer 3

Das Problem damit ist, dass eine lokale initialisierte Variable zerstört wird, wenn Sie ihren Bereich verlassen. c + + denkt, switch, wenn, während, sind alle ihre eigenen Bereich in Bezug auf die Erstellung von Variablen.

Answer 4

Nein, x2 kann nicht umgangen werden, auch wenn i1 ist. Das Problem mit der goto wäre, dass, wenn es genommen wurde, der Konstruktor für x1 nicht aufgerufen würde (erinnern Sie sich, der Konstruktor wird an der X x1; Anweisung "aufgerufen" - weil der Aufruf des Konstruktors über das Ziel des Sprungs ist und Sie würden an einem Punkt, wo x1 war noch im Rahmen.

Aber man kann nicht springen über die Linie X x2; und endet in einem Punkt, wo x2 ist noch in Umfang, so dass in Ordnung ist.