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