6.26 Композитные литералы

Композитный литерал выглядит как приведение к типу выражения, заключённого в фигурные скобки. Его значение — объект указанного типа, содержащий элементы, указанные в инициализаторе. В отличие от результата приведения, композитный литерал является l-значением. 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 [Содержание][Индекс]