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

Составной литерал выглядит как приведение типа списка начальных значений, заключенного в фигурные скобки. Его значение — это объект указанного в приведении типа, содержащий элементы, указанные в списке начальных значений. В отличие от результата приведения типа, составной литерал является lvalue. Стандарт ISO C99 и более поздние версии поддерживают составные литералы. В качестве расширения 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" };

Составные литералы для скалярных типов и типов объединений также разрешены. В следующем примере переменная i инициализируется значением 2, результатом инкрементации безымянного объекта, созданного составным литералом.

int i = ++(int) { 1 };

В качестве расширения 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++, поэтому G++ отклоняет преобразование временного массива в указатель. Например, если пример составного литерала массива появляется внутри функции, любое последующее использование foo в C++ будет иметь неопределенное поведение, потому что срок службы массива заканчивается после объявления foo.

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

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