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

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

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

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