6.28 Приведение к типу Объединения

Приведение к типу объединения аналогично другим приведениям, за исключением того, что указанный тип — это тип объединения. Вы можете указать тип либо с помощью union tag, либо с помощью имени псевдонима типа. Приведение к типу объединения фактически является конструктором, а не приведением, и поэтому не порождает 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);