Союзы, содержащие элемент atype

Если каждый из типов событий имеет Uint8 в качестве своего первого члена данных, то член type union просто удобен.

Общее правило для объединений заключается в том, что вы можете получить доступ к данным в объединении только с помощью последнего члена данных, в который вы записали. Итак, если вы в последний раз писали active, вы не сможете в следующий раз прочитать key.

Исключением из этого правила является то, что если несколько членов объединения используют один и тот же префикс (если их первые элементы данных совпадают), вы можете получить доступ к этому префиксу через любой из элементов данных объединения, которые имеют общий префикс. Итак, здесь вы можете ссылаться на active.type или key.type, независимо от того, какой член данных объединения активен, и это сработает.

Член type SDL_Event - это просто удобный ярлык, который позволяет вам получить доступ к этому полю type, не определяя его как event_object.active.type или event_object.key.type. Вы можете просто использовать event_object.type.

Давайте посмотрим, как объединение раскладывается в памяти:

Address:    Uint8    MouseButtonEvent   KeyboardEvent
x+0x0       type     type               type
x+0x1       -        button             ?
x+0x2       -        state              ?
...

Так уж получилось, что все члены type выстраиваются в линию, поэтому независимо от того, какой это тип, доступ к объединению как Uint8 даст фактический тип события.

Если первая пара байтов каждой из этих структур SDL_xyz является их собственным полем типа, это означает, что, когда объединение содержит один из этих объектов, первая пара байтов объединения - это та же первая пара байтов, что и структура SDL, то есть поле типа .

Объединение не содержит и того, и другого, оно просто содержит объект SDL, первый член которого совпадает по типу, размеру и расположению с полем «тип».

Стандарт требует, чтобы союзы в C / C ++ были выровнены по самому строгому типу, который они содержат. Кроме того, поскольку элементы структур не могут быть переупорядочены и из-за требований текущих стандартов (изменяющихся в C ++ 0x), что объединения содержат только типы POD, идея состоит в том, что член типа объединения отображается на член типа в структура колоды, которые она содержит.

Что касается объединения, то реальной разницы между структурой и примитивным типом нет. Структура SDL_MouseButtonEven - это просто набор типов, один за другим.
Член объединения type занимает место члена type структур событий. графически это выглядит так:

SDL_Event union:
  type:    |--------|
  motion:  |--type--|-button-|--state-|-------x--------|-------y--------|  
  active:  |--type--|----------something-else-of-another-event--|          
  key:     |--type--|--maybe-a-smaller-event-|                             
  ... etc'

[Отредактировано благодаря комментарию Джеймса.]

Стандарт дает некоторые особые гарантии для профсоюзов, чтобы подобные вещи были безопасными.

Важное правило состоит в том, что если две структуры POD в объединении начинаются с одних и тех же типов членов, вам разрешается использовать «общую начальную последовательность» общих членов. Таким образом, если установлено key.type, можно читать button.type, и оно будет иметь то же значение.

Кроме того, простой член данных (фундаментального типа) type непосредственно в объединении должен быть размещен в памяти, как если бы он находился в struct, содержащем только этот член. Другими словами, type также эквивалентно key.type, button.type и т. Д.