Quando viene rilasciata la memoria in relazione a variabili statiche?

Question

Mi chiedevo se qualcuno potesse far luce sui processi di deallocazione della memoria in C++.

Se ho una struct che dichiaro statica, in modo tale che di costruttore è la prima cosa da eseguire e suo distruttore è l'ultima cosa da eseguire:

struct initializer execute_before_and_after_main { 
    initializer() { init(); } 
    ~initializer() { cleanup(); } 
} 
static initializer execute_around_main; 

E poi ho qualcosa di simile:

class my_class { 
    my_object objects[100]; 
} 
extern my_class gobal_my_class; 
my_class global_my_class; 

e principale non è importante qui:

int main (int argc, char* argv[]) { 
    .... 
} 

Quando cleanup() viene chiamato, l'array objects contiene ora una memoria deallocated/invalid? Esiste una sequenza standard di inizializzazione/distruzione che C++ implementa qui a cui qualcuno potrebbe indirizzarmi?

Grazie

EDIT: Capisco che questo tipo di codice non è forse la migliore pratica, ma sto ancora chiedendo se il comportamento è definito.

Answer 1

Le variabili statiche e globali hanno entrambi static storage duration, ovvero vengono liberate al termine del programma. Dalla lettura di uno dei duplicati ho scoperto che se il codice è tutto nella stessa unità di traduzione (che è il tuo), gli oggetti con memoria statica vengono distrutti nell'ordine inverso di costruzione. Se gli oggetti sono in diverse unità di traduzione, non puoi garantire nulla.

Quando cleanup() viene chiamato, l'array di oggetti contiene ora la memoria deallocated/invalid?

Sì, ma non ha molta importanza in quanto è chiamato solo una volta che l'oggetto è fuori portata

È global_my_class distrutto prima execute_around_main?

sì, la mia classe mondiale è distrutto in primo luogo perché è inizializzato ultima