6.31 Приведение к типу объединения ¶

Приведение к типу объединения — это расширение языка C, недоступное в C++. Оно выглядит точно так же, как обычные приведения, с ограничением, что указанный тип — тип объединения. Вы можете указать тип с помощью ключевого слова union или с помощью имени typedef, которое относится к объединению. Результатом приведения к типу объединения является временное значение типа объединения с членом, тип которого соответствует типу операнда, инициализированного значением операнда. Действие приведения к типу объединения аналогично составной литеральной константе, за исключением того, что оно возвращает правое значение, как и стандартные приведения. См. Составные литералы.

Выражения, которые могут быть приведены к типу объединения, — это те, тип которых соответствует хотя бы одному из членов объединения. Таким образом, при заданном объединении и переменных:

union foo { int i; double d; };
int x;
double y;
union foo z;

оба x и y могут быть приведены к типу union foo, и следующие присваивания

z = (union foo) x;
z = (union foo) y;

являются сокращенными эквивалентами этих

z = (union foo) { .i = x };
z = (union foo) { .d = y };

Однако (union foo) FLT_MAX; не является допустимым приведением, потому что в объединении нет члена типа float.

Использование приведения в правой части присваивания переменной типа объединения эквивалентно хранению в члене объединения с тем же типом

union foo u;
/* … */
u = (union foo) x  ≡  u.i = x
u = (union foo) y  ≡  u.d = y

Вы также можете использовать приведение к типу объединения в качестве аргумента функции:

void hack (union foo);
/* … */
hack ((union foo) x);