Является объединением структур, разделяющих неопределенное поведение первого элемента?

Question

SDL_Event является объединением 8-битного типа без знака и многими структурами, чей первый элемент представляет собой неподписанный 8-битный тип. Рекомендуемое использование - это доступ к элементу Uint8 союза для определения типа события, а затем доступа к объединению элементом, соответствующим этому типу.

Это, очевидно, зависит от всех типов в союзе, имеющих одинаковое пространство, зарезервированное для идентификатора типа. Можем ли мы быть уверенными, что это так, или это неопределенное поведение?

Редактировать: сделал заголовок более наглядным.

Answer 1

Первый элемент структуры гарантированно находится в «смещении 0» от начала структуры. Так что это должно быть безопасно.

Answer 2

Я нашел его в стандарте C99.

6.5.2.3.5:

Особая гарантия делаются для того, чтобы упростить использование союзов: если объединение содержит несколько структур, которые имеют общую исходную последовательность (см ниже), и если объединение В настоящее время объект содержит одну из этих структур, разрешается проверять общую начальную часть любого из них в любом месте, где видна декларация полного типа объединения . Две структуры имеют общую начальную последовательность, если соответствующие члены имеют совместимые типы (и для бит-полей, одинаковые ширины) для последовательности из одного или нескольких начальных элементов .

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