Я хочу разобраться в следующем вопросе.
Стандарты C
и C++
трактуют доступ к невыровненным данным, как неопределенное поведение.
Многие компиляторы имеют расширение, которое позволяет объявлять структуру упакованной. И если упакованной структуре задать выравнивание, равное минимальному, то компилятор будет генерировать код, который позволяет с такой структурой работать безопасно.
Мои вопросы следующие:
- Должна ли сама упакованная структура быть выровнена?
- Даже если структура упакована, и компилятор генерирует код доступа к невыровненным полям такой структуры, то остается другая проблема. Согласно Стандарту
C
, неопределенным поведением является запись в указатель адреса, выравнивание которого не соответствует требованиям целевого типа. Компилятор как-нибудь это решает?
C
, в котором только структуры? Тогда почему в тэгах указанc++
? И можно ссылку на те части стандартовС
иC++
, которые трактуют доступ к невыровненным данным, как UB. И пример как добиться UB - пример структуры с выровненными/невыровненными полями – vt-egorov 27 сен '19 в 17:05