Обьявление битовых полей Опции

[msalov]

Имею конструкцию:

Код

typedef union {
    struct {
        unsigned langID        :2;
        unsigned unitsID    :1;
        unsigned ED_Level1    :1;
        unsigned ED_Level2    :1;
        unsigned EDR_Level1    :1;
        unsigned EDR_Level2    :1;
        unsigned        :0;

        unsigned Al_Sound    :2;
        unsigned Al_Light    :1;
        unsigned Al_Vibro    :1;
        unsigned        :0;

        unsigned Display    :2;
        unsigned Backlight    :2;
        unsigned Contrast    :3;
        unsigned        :0;
    };
    unsigned char all[3];
} Settings_t;
Settings_t settings;
settings.all[0] = 0x00;
settings.all[1] = 0x01;
settings.all[2] = 0x02;

Имеется стандарт:

6.7.2.1 Structure and union specifiers
11. A bit-field declaration with no declarator, but only a colon and a width, indicates an
unnamed bit-field.105) As a special case, a bit-field structure member with a width of 0
indicates that no further bit-field is to be packed into the unit in which the previous bit-field, if any, was placed.

Если я правильно понял стандарт, то байты будут начинаться с полей langID, Al_Sound и Display. Но это оказывается не так

Обьясните где я ошибся пожалуйста.

[Baser]

А почему вы решили, что "unit" это один байт? На мой взгляд, unit это вся структура с битовыми полями. И нулевое битовое поле может находится только последним, чтобы не нужно было вычислять длину оставшейся части.
А в вашем случае, все внутренние нулевые поля компилятор просто отбросил.
А поле (Al_Sound :2;) расположил в следующем байте, потому что поля не могут пересекать границы машинного слова.

[msalov]

А почему вы решили, что "unit" это один байт? На мой взгляд, unit это вся структура с битовыми полями.

Я так не решал.

И нулевое битовое поле может находится только последним, чтобы не нужно было вычислять длину оставшейся части.
А в вашем случае, все внутренние нулевые поля компилятор просто отбросил.
А поле (Al_Sound :2;) расположил в следующем байте, потому что поля не могут пересекать границы машинного слова.

Вот тут ка-раз и возникает вопрос. поле нулевой длинны может быть последним (тогда в чём его смысл?) или оно заполняет текущее слово до конца (следующее поле будет в начале следующего байта)?

[Baser]

Вот тут ка-раз и возникает вопрос. поле нулевой длинны может быть последним (тогда в чём его смысл?) или оно начинает новое слово (следующий байт)?

Посмотрел Кернигана, там действительно сказано, что:
"Особая ширина, равная нулю, используется, когда требуется выйти на границу следующего слова."

А какой компилятор и процессор?

[msalov]

Посмотрел Кернигана, там действительно сказано, что:
"Особая ширина, равная нулю, используется, когда требуется выйти на границу следующего слова."

А какой компилятор и процессор?

Компилятор MCC18 v3.16 не студенческая, процессор PIC18F65J50

[Сергей Борщ]

Компилятор MCC18 v3.16 не студенческая, процессор PIC18F65J50

А занесите в Al_Sound число 3 и посмотрите, в какие биты оно попадет. Судя по вашему рисунку этот компилятор просто не знает о специальном назначении битового поля нулевой ширины. Если биты попадут один в нулевой байт и второй в первый байт - так оно и есть - бага компилятора (если это не описано в его документации, тогда - фича). Остается только вручную сосчитать биты и заменить нулевую ширину поля на конкретную. Еще меня смущает размер этой структуры - unsigned - это unsigned int, int это обычно 2 байта, значит размер структуры должен бы быть или 2 или 4 байта, но три?