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

Приведение к типу объединения — это расширение 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);