caxapa.ru :: Сделал так, но дает варниг использование адреса невыровненного члена структуры. Как победить?

IBAH (26.04.2023 12:38, просмотров: 177) ответил IBAH на А существует метод проверки, на этапе компиляции, правильной упаковки структур? То есть, упакованная структура, сдуру написал long по нечетному адресу, а компилятор дает варнинг. Сейчас возле каждого элемента ставлю его смещение в байтах, нутром чую, делаю по колхозному

Сделал так, но дает варниг использование адреса невыровненного члена структуры. Как победить?

№
#pragma pack(push,1) 
typedef struct
  {
  long a;

  short b;

  char c;
  }IntEEPROM_t;
#pragma pack(pop) 
      
#define PROVERKA(var) typedef struct {int var##TmpVar : !(((int)(&(((IntEEPROM_t*)0)->var)))%sizeof((((IntEEPROM_t*)0)->var)));} TmpVar##var;

PROVERKA(a)

PROVERKA(b)
PROVERKA(c)


№№

Ответить

- Ну конечно! Запрашиваете к короткой (short, char) переменной доступ как к нормальной (int). Не делайте так! Ваша проверка проверяет, можно ли к членам обратиться как к int. Разумеется к некоторым нельзя. Вот и предупреждение. - Nikolay_Po(26.04.2023 12:48)
  - с фирменным макросом offsetof, предупреждения не возникает - IBAH(26.04.2023 12:55)
- Убрать pack. - SciFi(26.04.2023 12:39)
  - а если серьезно? если использовать фирменный макрос offsetof варнинг не возникает, отличается использование ключевого слова __INTADDR__, что оно значит не нашел IBAH(71 знак., 26.04.2023 12:53)
    - __INTADDR__, очевидно, нарочно сделана так, чтобы не вызывать предупреждения. Просто вычисляет смещение, и всё, дрступа нет. А для вашего макроса, мало ли, вдруг вы реально обращаетесь - ловите предупреждение. - Nikolay_Po(26.04.2023 13:02)
      - чудеса какие-то... пишу __INTADDR__ ручками все равно варнинг. Этот __INTADDR__ применяется только в макросе offsetof IBAH(1 знак., 26.04.2023 13:41, ссылка)
    - А зачем там pack? Я так и не понял. - SciFi(26.04.2023 12:53)
      - Чтоб структура занимала 32+8+8=48 бит, а не 32+16+16=64 или даже 32*3=96 бит (если чип 32-бит), когда её сохраняют в байтовую EEPROM. - Nikolay_Po(26.04.2023 12:59)
        
        Ну, во-первых, пока EEPROM не кончился, утаптывать эту структуру - пустая трата времени. - SciFi(26.04.2023 13:41)
        
        Может быть критично время, требуемое для записи, например, при пропаже питания. Ещё, я всегда делаю выравнивание износа. Меньше данных - меньше износ, могу чаще писать за время жизни изделия без риска отказа памяти. - Nikolay_Po(26.04.2023 13:44)
        
        Сова на глобусе, так вижу. - SciFi(26.04.2023 13:48)
        
        Лучше ты свое занудство на работу напряги(с) Почему __INTADDR__ то работает то не работает? IBAH(24 знак., 26.04.2023 13:54)
        
        Возьми смещения членов штатно, с помощью offsetof(). И сравни разности между соседними смещениями с sizeof(члена), а сумму offsetof(члена) и sizeof(типа) последнего члена структуры с размером структуры. Если совпало - значит упаковано верно. Правда, как закатать это в макрос препроцессора - я ХЗ. - Nikolay_Po(26.04.2023 14:01)
        
        Я уже победил, вот так отлично работает #define PROVERKA(var) typedef struct {int var##TmpVar : !((offsetof(IntEEPROM_t, var))%sizeof((((IntEEPROM_t*)0)->var)));} TmpVar##var;. Просто непонятки с __INTADDR__, хочу все знать - IBAH(26.04.2023 14:04)
        
        Спасибо. Интересно. Как я понял, проверяется выравнивание положения каждого члена структуры (или вообще, любой переменной) по размеру её типа. Верно? Макрос, правда, получился для конкретного типа струткуры, IntEEPROM_t. Можно сделать универсальный, для любых типов структур? Nikolay_Po(305 знак., 28.04.2023 09:44)
        
        Уж так повелось, максималист я. - Nikolay_Po(26.04.2023 13:49)
      - в данном случае незачем. Я эту структуру заполняю на ходу, понадобилась энергонезависимя переменная дописал - IBAH(26.04.2023 12:57)

Средства и методы разработки