fk0, легенда (26.07.2020 16:26, просмотров: 541) ответил LightElf на Компилятор знает, что в общем случае void* нельзя приводить к int*.
Компилятор либо знает, что тип лежит в упакованной структуре и
должен генерировать правильный код. Либо компилятор не знает, где
лежит данный конкретный int и тогда должен исходить из худшего (раз
уж он поддерживает такие конструкции). А вот это "здесь читаем,
здесь не читаем, а здесь - рыбу заворачивали" есть косяк и бага.[ZX]
-
- Блин. Компилятор поддерживает #pragma pack(). Значит утверждение
"int не может лежать по невыровненному адресу" - для этого
компилятора ложно. Или трусы, или крестик. Или компилятор
поддерживает некую фичу и она работает как положено, или не
поддерживает. А вот это вот: "мы поддерживаем-поддерживаем, но все
никак не держится" - детский сад, штаны на лямках. - LightElf(26.07.2020 23:47)
- Ничего не значит. Int -- это конкретный тип данных, на 32-битном арме с атрибутами sizeof(int) == 4 и alignof(int) == 4. А ты хочешь тип с атрибутом aligof(type) == 1. Не может один тип данных проявлять квантовую запутанность и иметь одновременно два значения alignof! Значит это не int, это, условно, unaligned_int. А если это другой тип, это порождает массу сложностей сразу, бьющих преимущественно по программисту, хотя наверное так сделать можно. А если запутанность и fk0(735 знак., 27.07.2020 00:01)
- Блин. Компилятор поддерживает #pragma pack(). Значит утверждение
"int не может лежать по невыровненному адресу" - для этого
компилятора ложно. Или трусы, или крестик. Или компилятор
поддерживает некую фичу и она работает как положено, или не
поддерживает. А вот это вот: "мы поддерживаем-поддерживаем, но все
никак не держится" - детский сад, штаны на лямках. - LightElf(26.07.2020 23:47)