caxapa.ru :: Все же тут похоже на глюк компилятора. PACKED это такой же модификатор структуры как volatile или const которые должны распространяться на все члены структуры. Соответственно, когда делается &a.b на выходе должен получаться указатель с соответствующим модификатором. А тут модификатор PACKED потерялся, остальное последствия. Но я не большой знаток.

AlexBi (24.07.2020 09:53, просмотров: 510) ответил fk0 на Говнокода. И не такие уж и тысячи. Практически всё что завелось не на x86 такого говнокода не содержит. Потому, что и MIPS, и ARM -- это аппаратное исключение при невыравненном обращении и дальше либо фиксация ошибки, либо программная эмуляция команды с невыравненным чтением-записью (очень не быстро...) И даже на современном x86 словить исключение при невыравненном обращении -- запросто (векторные инструкции). Ещё раз, повторю, упакованные структуры -- НЕ СТАНДАРТНАЯ ХЕРНЯ.

Все же тут похоже на глюк компилятора. PACKED это такой же модификатор структуры как volatile или const которые должны распространяться на все члены структуры. Соответственно, когда делается &a.b на выходе должен получаться указатель с соответствующим модификатором. А тут модификатор PACKED потерялся, остальное последствия. Но я не большой знаток.

Ответить

- А какой тип будут иметь по-твоему тогда члены структуры? Если в структуры положить структуры и их тоже сделать packed -- получится. А если в структуре уже лежит обычный int? Явно ж записано, что такое-то поле -- int и с ним могут что-то делать и нельзя неявно подменить тип -- работать перестанет (программист может начать где-то сравнивать типы, например). Сама идея упакованных структур -- не продуманная, в ней есть логические противоречия. - fk0(24.07.2020 11:46)
  - В данном случае члены структуры должны становиться packed. А как, по-твоему, работает (должно работать) volatile структура? Будут ее члены каждый раз перечитываться? Указатель на члена структуры будет volatile? AlexBi(405 знак., 24.07.2020 13:50)
    - С чего ты решил, что они кому-то что-то должны? Где это написано? Тип поля, если это не вновь определяемая на месте структура, уже определён ранее и измениться никак не может (иначе это другой, новый тип должен быть). А выравнивание и размер -- это атрибуты, свойства, типа. Поэтому если ты в упакованную структуру положишь ранее определённый тип, то он сохранит свои свойства. Структура останется с "дырками" для выравнивания, обычный int сохранится с alignas(4). Что мы и fk0(263 знак., 24.07.2020 14:34, ссылка)
- В студии не хватает кода. Там запросто может быть два определения структуры -- с packed и без. - SciFi(24.07.2020 09:59)
  - Вот суть: Гyдвин(1541 знак., 24.07.2020 10:24)

ARM, RISC-V контроллеры