Является ли каждый элемент статического массива инициализированным?

Question

С ISO/IEC 9899: 1999 -> 6.7.8 Инициализация § 10

Если объект, который имеет автоматическую продолжительность хранения не инициализирована явно, его значение неопределенными. Если объект, который имеет статическую длительность хранения, не инициализируется явно, затем:

- если у него есть указатель, он инициализируется нулевым указателем;

- если у него арифметический тип, он инициализируется (положительным или без знака) нулем;

- если это совокупность, каждый член инициализируется (рекурсивно) в соответствии с этими правилами;

- если это объединение, первый именованный элемент инициализируется (рекурсивно) в соответствии с этими правилами .

ли я получить это право, что представить себе этот код:

int main() 
{ 
    static char *szArray[4]; 
    return 0; 
} 

гарантируется, что каждый член szArray[] инициализируется NULL? Или как я могу понять «рекурсивно» в этом контексте?

Answer 1

Да.

szArray представляет собой массив из 4 элементов, каждый из которых является указателем char*. Каждый из этих 4 элементов инициализируется в NULL.

Что «рекурсивно» здесь означает, что, так как типы данных могут быть сколь угодно сложными (массивы внутри структур внутри союзов внутри массивов и т.д.), каждый член из совокупности (массива или структуры) инициализируется следуя той же правила.

• szArray - это совокупность, поэтому «каждый элемент инициализируется (рекурсивно) в соответствии с этими правилами».
• • szArray[0] через szArray[3] все имеют указательный тип, поэтому каждый из них «инициализируется нулевым указателем».

Это (вероятно) не предполагает какую-либо время выполнения рекурсии. В большинстве систем целое число 0, с плавающей запятой 0.0 и нулевые указатели представляются как все-бит-ноль, поэтому статический агрегированный объект может , вероятно, быть правильно инициализирован, просто установив его на все биты-ноль. Это определение , что является рекурсивным; инициализация совокупного объекта определяется в терминах инициализации его элементов/членов и т. д. рекурсивно, пока вы не перейдете к отдельным скалярам.

Answer 2

Каждый элемент szArray действительно инициализирован NULL, один раз, перед его использованием. В main этот «один раз» не имеет значения, но в других функциях, которые можно вызвать много раз, важно.Это особенно важно для кода, защищенного потоком, и кода повторного входа, поскольку для всех вызовов доступно только одно значение.

Answer 3

Да, в этом случае вы получите массив из четырех значений NULL.

«Рекурсивно» в спецификации не применяется к указателям. Это относится к структурам. Так, например.

#include <stdio.h> 

struct Bar { 
    int yada; 
}; 

struct Foo { 
    struct Bar bar; 
    const char* baz; 
}; 

static struct Foo foo; 
static struct Foo* foo_ptr; 

int main() 
{ 

    printf("foo.bar.yada = %d\n", foo.bar.yada); 
    printf("foo_ptr = %p\n", foo_ptr); 

    return 0; 
} 

Запуск выше дает

foo.bar.yada = 0 
foo_ptr = (nil) 

Правило инициализации было применено рекурсивно к Foo, а затем в баре. Указатель просто инициализируется до нуля.