Initialization

Una declaración de un objeto puede proporcionar su valor inicial mediante el proceso conocido como inicialización .

Para cada declarador , el inicializador, si no se omite, puede ser uno de los siguientes:

donde initializer-list es una lista no vacía separada por comas de initializer s (con una coma final opcional), donde cada initializer tiene una de tres formas posibles:

Explicación

El inicializador especifica el valor inicial almacenado en un objeto.

Inicialización explícita

Si se proporciona un inicializador, consulte

• inicialización escalar para la inicialización de tipos escalares
• inicialización de arreglos para la inicialización de tipos de arreglos
• inicialización de estructuras para la inicialización de tipos de estructuras y uniones.

Inicialización implícita

Si no se proporciona un inicializador:

• los objetos con duración de almacenamiento automática se inicializan con valores indeterminados (que pueden ser representaciones trampa )
• los objetos con duración de almacenamiento estática y local de hilo se inicializan vacíos

Inicialización vacía

En algunos casos, un objeto se inicializa vacío si no se inicializa explícitamente, es decir:

• los punteros se inicializan a valores de puntero nulo de sus tipos
• los objetos de tipos integrales se inicializan a cero sin signo
• los objetos de tipos flotantes se inicializan a cero positivo
• todos los elementos de arrays, todos los miembros de structs, y los primeros miembros de unions se inicializan vacíos, recursivamente, además todos los bits de relleno se inicializan a cero

(en plataformas donde los valores de puntero nulo y los ceros flotantes tienen representaciones de todos los bits en cero, esta forma de inicialización para estáticos normalmente se implementa asignándolos en la sección .bss de la imagen del programa)

Notas

Al inicializar un objeto de duración de almacenamiento estática o local al hilo, cada expresión en el inicializador debe ser una expresión constante o un literal de cadena .

Los inicializadores no pueden utilizarse en declaraciones de objetos de tipo incompleto, VLA y objetos de ámbito de bloque con vinculación.

Los valores iniciales de los parámetros de función se establecen como si fuera por asignación desde los argumentos de una llamada a función , en lugar de por inicialización.

Si un valor indeterminado se utiliza como argumento para cualquier llamada de la biblioteca estándar, el comportamiento es indefinido. De lo contrario, el resultado de cualquier expresión que involucre valores indeterminados es un valor indeterminado (por ejemplo, int n ; , n podría no compararse igual a sí mismo y podría parecer cambiar su valor en lecturas posteriores)

Ejemplo

#include <stdlib.h>
int a[2]; // inicializa a a {0, 0}
int main(void)
{
    int i;          // inicializa i a un valor indeterminado
    static int j;   // inicializa j a 0
    int k = 1;      // inicializa k a 1
    // inicializa int x[3] a 1,3,5
    // inicializa int* p a &x[0]
    int x[] = { 1, 3, 5 }, *p = x;
    // inicializa w (un array de dos structs) a
    // { { {1,0,0}, 0}, { {2,0,0}, 0} }
    struct {int a[3], b;} w[] = {[0].a = {1}, [1].a[0] = 2};
    // una expresión de llamada a función puede usarse para una variable local
    char* ptr = malloc(10);
    free(ptr);
//  Error: los objetos con duración de almacenamiento estático requieren inicializadores constantes
//  static char* ptr = malloc(10);
//  Error: VLA no puede ser inicializado
//  int vla[n] = {0};
}

Referencias

Véase también