Initialisierung der lokalen statischen Variablen nach Ausnahme wiederholen

Question

Was ist im Kontext einer lokal definierten statischen Variablen das erwartete Verhalten, wenn eine Ausnahme bei der Variableninitialisierung ausgelöst wird und wir versuchen, die Variable zu instanziieren?

Z. B .:

void someFunc() 
{ 
    bool initialized=false; 
    do 
    { 
     try 
     { 
      static SomeType throwingConstructor; //it throws the first time! 
      initialized=true; 
     } 
     catch(...) 
     { 
      //some other code 
     } 
    } 
    while(!initialized); 
} 

Ich würde erwarten, da der Stapel wegen der Ausnahme abgewickelten ist, dass das zweite Mal, wenn die Schleife der Variable ausgeführt wird, versucht es erneut initialisiert werden. Dennoch werden lokale statische Variablen nur einmal initialisiert, also riecht es irgendwie undefiniertes Verhalten. Was ist das erwartete Verhalten dieses Codefragments? Gewährleistet der Standard in diesem Fall ein definiertes Verhalten?

Answer 1

Gewährleistet der Standard in diesem Fall ein definiertes Verhalten?

Ja. Dieser Fall wird im Standard genau erwähnt. Nach $6.7/4 Declaration statement [stmt.dcl] (von mir hervorgehoben):

... alles Block-scope Variablen mit statischer Speicherdauer (3.7.1) oder Fadenspeicher Dauer (3.7.2) ...

Andernfalls Eine solche Variable ist initialisiert das erste Mal, dass die Steuerung ihre Deklaration durchläuft; Eine solche Variable gilt als initialisiert auf der Abschluss seiner Initialisierung. Wenn die Initialisierung durch Auslösen einer Ausnahme beendet wird, ist die Initialisierung nicht abgeschlossen. Daher wird sie beim nächsten Eingeben der Deklaration erneut versucht.

Answer 2

Wenn während des Initialisierers eine Ausnahme ausgelöst wird, wird die statische Variable nicht initialisiert.

Es wird beim nächsten Durchlauf des Codes initialisiert.

Dies wird durch den Standard garantiert.