6.29 Определённые инициализаторы

Стандарт C90 требует, чтобы элементы инициализатора появлялись в фиксированном порядке, таком же, как порядок элементов в массиве или структуре, которые инициализируются.

В ISO C99 вы можете указывать элементы в любом порядке, указывая индексы массива или имена полей структуры, к которым они относятся, и GNU C разрешает это в режиме C90 также как расширение. Это расширение не реализовано в GNU C++.

Для указания индекса массива запишите '[индекс] =' перед значением элемента. Например,

int a[6] = { [4] = 29, [2] = 15 };

эквивалентно

int a[6] = { 0, 0, 15, 0, 29, 0 };

Значения индексов должны быть константными выражениями, даже если массив, который инициализируется, является автоматическим.

Альтернативный синтаксис для этого, устаревший с GCC 2.5, но всё ещё принимаемый GCC, заключается в написании '[индекс]' перед значением элемента без '='.

Для инициализации диапазона элементов одним и тем же значением запишите '[начало ... конец] = значение'. Это расширение GNU. Например,

int widths[] = { [0 ... 9] = 1, [10 ... 99] = 2, [100] = 3 };

Если значение в нём имеет побочные эффекты, побочные эффекты происходят только один раз, а не для каждого инициализированного поля с помощью инициализатора диапазона.

Обратите внимание, что длина массива — это наибольшее указанное значение плюс один.

В инициализаторе структуры укажите имя поля для инициализации с помощью '.имя_поля =' перед значением элемента. Например, при заданной следующей структуре,

struct point { int x, y; };

следующая инициализация

struct point p = { .y = yvalue, .x = xvalue };

эквивалентна

struct point p = { xvalue, yvalue };

Другой синтаксис с тем же значением, устаревший с GCC 2.5, это 'имя_поля:', как показано здесь:

struct point p = { y: yvalue, x: xvalue };

Пропущенные поля неявно инициализируются так же, как и для объектов со статической длиной хранения.

'[индекс]' или '.имя_поля' называется спецификатором. Вы также можете использовать спецификатор (или устаревший синтаксис с двоеточием) при инициализации объединения, чтобы указать, какой элемент объединения должен быть использован. Например,

union foo { int i; double d; };

union foo f = { .d = 4 };

преобразует 4 в double для хранения его в объединении, используя второй элемент. В отличие от этого, приведение 4 к типу union foo хранит его в объединении как целое число i, так как это целое число. См. Преобразование к объединению.

Вы можете объединить этот метод именования элементов с обычной C-инициализацией последовательных элементов. Каждый элемент инициализатора, который не имеет спецификатора, относится к следующему последовательному элементу массива или структуры. Например,

int a[6] = { [1] = v1, v2, [4] = v4 };

эквивалентно

int a[6] = { 0, v1, v2, 0, v4, 0 };

Именование элементов инициализатора массива особенно полезно, когда индексы являются символами или относятся к типу enum. Например:

int whitespace[256]
  = { [' '] = 1, ['\t'] = 1, ['\h'] = 1,
      ['\f'] = 1, ['\n'] = 1, ['\r'] = 1 };

Вы также можете написать ряд спецификаторов '.имя_поля' и '[индекс]' перед '=' для указания вложенного подобъекта для инициализации; список берётся относительно подобъекта, соответствующего ближайшей окружающей паре фигурных скобок. Например, с объявлением 'struct point' выше:

struct point ptarray[10] = { [2].y = yv2, [2].x = xv2, [0].x = xv0 };

Если одно и то же поле инициализируется несколько раз или перекрывающиеся поля объединения инициализируются, используется значение последней инициализации. Если поле объединения само по себе является структурой, используется вся структура из последнего инициализированного поля. Если какой-либо предыдущий инициализатор имеет побочный эффект, не определено, произойдёт ли побочный эффект или нет. В настоящее время GCC отбрасывает выражения инициализаторов с побочным эффектом и выводит предупреждение.

Далее: Диапазоны значений, Предыдущее: Составные литералы, Вверх: Расширения C [Оглавление][Индекс]