6.26 Составные литералы

ISO C99 поддерживает составные литералы. Составной литерал выглядит как преобразование, содержащее инициализатор. Его значение — это объект, тип которого указан в преобразовании, содержащий элементы, указанные в инициализаторе; это lvalue. В качестве расширения GCC поддерживает составные литералы в режиме C90 и в C++, хотя семантика несколько отличается в C++.

Обычно, указанный тип — это структура. Предположим, что struct foo и structure объявлены, как показано:

struct foo {int a; char b[2];} structure;

Вот пример создания struct foo с помощью составного литерала:

structure = ((struct foo) {x + y, 'a', 0});

Это эквивалентно записи следующего:

{
  struct foo temp = {x + y, 'a', 0};
  structure = temp;
}

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

char **foo = (char *[]) { "x", "y", "z" };

Составные литералы для скалярных типов и типов объединений также разрешены, но в этом случае составной литерал эквивалентен преобразованию.

В качестве расширения GNU, GCC позволяет инициализировать объекты со статической продолжительностью хранения составными литералами (что невозможно в ISO C99, так как инициализатор не является константой). Он обрабатывается так, как если бы объект был инициализирован только списком в квадратных скобках, если типы составного литерала и объекта совпадают. Список инициализаторов составного литерала должен быть константным. Если объект, который инициализируется, имеет массивный тип неизвестного размера, размер определяется размером составного литерала.

static struct foo x = (struct foo) {1, 'a', 'b'};
static int y[] = (int []) {1, 2, 3};
static int z[] = (int [3]) {1};

Вышеприведенные строки эквивалентны следующему:

static struct foo x = {1, 'a', 'b'};
static int y[] = {1, 2, 3};
static int z[] = {1, 0, 0};

В C составной литерал обозначает неопределенный объект со статической или автоматической продолжительностью хранения. В C++ составной литерал обозначает временный объект, который существует только до конца своего полного выражения. В результате корректный код C, который берет адрес подобъекта составного литерала, может быть неопределён в C++, поэтому компилятор C++ отклоняет преобразование временного массива в указатель. Например, если пример массива составного литерала выше появляется внутри функции, любое последующее использование «foo» в C++ имеет неопределённое поведение, потому что срок жизни массива заканчивается после объявления «foo».

В целях оптимизации компилятор C++ иногда предоставляет составным литералам массивов более длительный срок жизни: когда массив либо появляется вне функции, либо имеет тип с квалификатором const. Если «foo» и его инициализатор имели элементы типа «char *const», а не «char *», или если «foo» была глобальной переменной, массив имел бы статическую продолжительность хранения. Но, вероятно, безопаснее просто избегать использования составных литералов массивов в коде, скомпилированном как C++.

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