Почему упаковка не работает в одноуровневых объединениях или структурах

В следующем примере я ожидаю, что размер complex_t будет таким же, как uint16_t: 2 байта, однако это 3 байта.

Удаление второго союза ("proximity_unsafe") уменьшает размер до 2 байт, но не могу разобраться с моделью правил упаковки.

#include <stdint.h>
#include <stdio.h>

typedef union {
    uint16_t unsafe;
    struct {
        uint16_t backwardmotion_unsafe    : 1;
        uint16_t batteryvoltage_unsafe    : 1;
        union {
            uint16_t dropoff_unsafe       : 4;
            struct {
                uint16_t dropofffrontleft_unsafe  : 1;
                uint16_t dropofffrontright_unsafe : 1;
                uint16_t dropoffsideleft_unsafe   : 1;
                uint16_t dropoffsideright_unsafe  : 1;
            }__attribute__((__packed__));
        }__attribute__((__packed__));
        union {
            uint16_t proximity_unsafe     : 3;
            struct {
                uint16_t proximityfront_unsafe    : 1;
                uint16_t proximityleft_unsafe     : 1;
                uint16_t proximityright_unsafe    : 1;
            }__attribute__((__packed__));
        }__attribute__((__packed__));
    } __attribute__((__packed__));
} __attribute__((__packed__)) complex_t;

int main()
{
    printf("sizeof(complex_t): %i", sizeof(complex_t));
    printf("sizeof(uint16_t):  %i", sizeof(uint16_t)); 
}

person Catskul    schedule 26.08.2016    source источник


Ответы (1)


Поскольку разрешено брать адрес любого именованного члена структуры, который не является битовым полем, такие члены, не являющиеся битовыми полями, должны начинаться с границ байтов. Хотя невозможно получить адрес анонимных элементов, и, таким образом, теоретически компилятор может позволить таким объектам начинаться с произвольных битовых границ, это будет означать, что макет структуры будет варьироваться в зависимости от того, являются ли ее члены были названы.

person supercat    schedule 26.08.2016
comment
Отличное объяснение! - person Catskul; 29.08.2016