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

Приведение к типу объединения выглядит аналогично другим приведениям, за исключением того, что указанный тип является типом объединения. Вы можете указать тип с помощью ключевого слова union или с помощью имени typedef, которое ссылается на объединение. Приведение к типу объединения фактически создает составную литерал и возвращает lvalue, а не rvalue, как при настоящих приведениях. См. Составные литералы.

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

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

обе x и y могут быть приведены к типу union foo.

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

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