2. Составные типы

Синтаксис:

={<initializer-list>}

Список инициализаторов <initializer-list> - это последовательность инициализаторов, разделенных запятыми. Каждый инициализатор в последовательности- это либо константное выражение, либо список инициализаторов. Поэтому, заключенный в фигурные скобки список, может появиться внутри другого списка инициализации. Эта конструкция используется для инициализации элементов составных конструкций.

Для каждого списка инициализации значения константных вiыражений присваиваются в порядке следования элементов составной переменной. Когда инициализируется совмещение, то список инициализаторов представляет собой единственное константное выражение. Величина константного выражения присваивается первому элементу совмещения.

Если в списке инициализации меньше величин, чем их имеется в составном типе, то оставшиеся памяти инициализируются нулем. Если число инициализирующих величин больше чем требуется, то выдается ошибка.

Эти правила применяются к каждому вложенному списку инициализаторов, точно так же как и ко всей конструкции в целом.

Пример:

int p[4] [3] = {

{ 1, 1, 1 },

{ 2, 2, 2 },

{ 3, 3, 3,},

{ 4, 4, 4,},

};

В примере объявляется массив p размерности 4 строки на 3 столбца. Элементы первой строки инициализируются 1, второй строки 2 и т. д. Заметим, что списки инициализаторов третьей и четвертой строк заканчиваются запятой. Последний список инициализаторов {4, 4, 4,} также заканчивается запятой.

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

int p[4] [3] = {1, 1, 1, 2, 2, 2, 3, 3, 3, 4, 4, 4};

Фигурные скобки могут также появляться вокруг индивидуальных инициализаторов в списке.

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

typedef struct {

int n1, n2, n3;

} triplet;

triplet nlist[2] [3] = {

{ { 1, 2, 3 }, { 4, 5, 6 }, { 7, 8, 9 } }, /* Line 1 */

{ { 10,11,12}, { 13,14,15}, { 15,16,17} } /* Line 2 */

};

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

1. Первая левая фигурная скобка Line 1 информирует компилятор о том, что это начало инициализации первой строки массива nlist(nlist[0]).

2. Вторая левая фигурная скобка означает то, что начинается инициализация первого элемента первой строки массива ( nlist[0] [0] ).

3. Первая правая фигурная скобка сообщает об окончании инициализации первого элемента- структуры nlist[0] [0]. Следующая левая фигурная скобка сообщает о начале инициализации второго элемента первой строки nlist[0] [1].

4. Процесс продолжается до конца Line 1 и заканчивается по последней правой фигурной скобке.

Аналогично, Line 2 назначает величины второй строке массива nlist.

Заметим, что внешние фигурные скобки инициализаторов Line 1 и Line 2 требуются. Следующая конструкция, в которой внешние фигурные скобки опущены будет неверной.

/* THIS CAUSES AN ERROR */

triplet nlist[2] [3] = {

{ 1, 2, 3 }, { 4, 5, 6 }, { 7, 8, 9 }, /* Line 1 */

{ 10,11,12}, { 13,14,15}, {16,17,18 } /* Line 2 */

};

В этом примере первая левая фигурная скобка в Line 1 стартует инициализацию nlist[0], которая является массивом из трех структур. Величины 1, 2, 3 назначаются трем элементам первой структуры. Когда встретится правая фигурная скобка (после величины 3), инициализация nlist[0] закончится и две оставшиеся структуры автоматически инициализируются нулем. Аналогично, { 4, 5, 6} инициализирует первую структуру во второй строке nlist, а оставшиеся две структуры nlist[1] установятся в нуль. Когда компилятор встретит следующий список инициализации { 7, 8, 9 }, то это приведет к попытке инициализировать nlist[2]. Так как nlist содержит только две строки, то будет выдано сообщение об ошибке.

Примеры:

/******************* Example 1 *********************/

struct list {

int i, j, k;

float n[2] [3];

} x = {

1,

2,

3,

{4.0, 4.0, 4.0}

};

/******************* Example 2 *********************/

union {

char x[2] [3];

int i, j, k;

} y = {

{'1'},

{'4'}

};

В первом примере три элемента int структурной переменной x инициализированы 1, 2, и 3 соответственно. Три элемента первой строки массива m инициализированы как 4.0. Элементы второй строки инициализированы нулем по умолчанию.

Во втором примере инициализируется переменная y типа совмещения. Первым элементом совмещения является массив, для которого требуется составной инициализатор. Список инициализации {'1'} задает величины для первой строки массива. Поскольку в списке всего одна величина, то только первый элемент строки массива инициализируется символом 1 , а оставшиеся два элемента в строке инициализируются нулем (символом \0) по умолчанию. Аналогично, первый элемент второй строки массива x инициализируется символом 4, а оставшиеся два элемента в строке инициализируются нулем.