¿Los miembros de estructura no inicializados siempre se establecen en cero?

Question

Considérese una estructura C:

struct T { 
    int x; 
    int y; 
}; 

Cuando esto se ha inicializado parcialmente como en

struct T t = {42}; 

se t.y garantiza que sea 0 o se trata de una decisión de ejecución del compilador?

Answer 1

artículo 8.5.1.7 del borrador de la norma:

-7- Si hay menos inicializadores en la lista que hay miembros en el agregado , entonces cada uno de mí mber no explícitamente inicializado será inicializado por defecto (dcl.init). [Ejemplo:

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

inicializa ss.a con 1, ss.b con "asdf", y ss.c con el valor de una expresión de la forma int(), es decir, 0 .]

Answer 2

No. que se garantiza que sea 0.

Answer 3

Está garantizado que ser 0 si está parcialmente inicializado, al igual que inicializadores de matriz. Si no está inicializado, será desconocido.

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. 

mismo modo:

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

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

muestra:

// 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.