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

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

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

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);