I membri della struct non inizializzati sono sempre impostati su zero?

Question

consideri una struct C:

struct T { 
    int x; 
    int y; 
}; 

Quando questo è parzialmente inizializzato come in

struct T t = {42}; 

è t.y garantiti per essere 0 o si tratta di una decisione implementazione del compilatore?

Answer 1

punto 8.5.1.7 del progetto di norma:

-7- Se ci sono meno inizializzatori nella lista che ci sono membri nell'aggregato , poi ognuno di me mber not inizializzato esplicitamente deve essere inizializzato in modo predefinito (dcl.init). [Esempio:

struct S { int a; char* b; int c; }; 
S ss = { 1, "asdf" }; 

ss.a inizializza con 1, ss.b con "asdf", e ss.c con il valore di una espressione della forma int(), cioè, 0 .]

Answer 2

No. è garantito a 0.

Answer 3

È garantito essere 0 se è parzialmente inizializzato, come inizializzatori matrice. Se non è inizializzato, sarà sconosciuto.

struct T t; // t.x, t.y will NOT be initialized to 0 (not guaranteed to) 

struct T t = {42}; // t.y will be initialized to 0. 

Allo stesso modo:

int x[10]; // Won't be initialized. 

int x[10] = {1}; // initialized to {1,0,0,...} 

Esempio:

// a.c 
struct T { int x, y }; 
extern void f(void*); 
void partialInitialization() { 
    struct T t = {42}; 
    f(&t); 
} 
void noInitialization() { 
    struct T t; 
    f(&t); 
} 

// Compile with: gcc -O2 -S a.c 

// a.s: 

; ... 
partialInitialzation: 
; ... 
; movl $0, -4(%ebp)  ;;;; initializes t.y to 0. 
; movl $42, -8(%ebp) 
; ... 
noInitialization: 
; ... ; Nothing related to initialization. It just allocates memory on stack.