В данном случае члены структуры должны становиться packed. А как,
по-твоему, работает (должно работать) volatile структура? Будут ее
члены каждый раз перечитываться? Указатель на члена структуры будет
volatile? Противоречий в упакованных структурах не больше чем в volatile или const. Там так же идет усиление требований, т.е. переход не const -> const проходит автоматически, а наоборот только всякими трюками. Поэтому, если что-то объявлено const, то попадая в структуру, в любом виде, оно остается const. А не const, попадая в структуру, может стать const. С packed аналогично, только рост уровня пакнутости.