Размер структуры с двумя указателями void равен 4?

Question

Я не понимаю, почему

struct e{ 
    void * a; 
    void * b[]; 
} 

имеет SizeOf (е) == 4, а

struct f{ 
    void * a; 
    void * b; 
} 

имеет SizeOf (F) == 8.

Answer 1

Второй в первой структуре не является указателем, а FAM - гибким элементом массива. Он используется, когда у вас длинный буфер и помещается e в начале этого буфера. Затем вы можете проиндексировать оставшуюся память, которая следует за объектом e, используя эту FAM и обрабатывать эту память как массив из void*.

Стандарт говорит (акцент мной)

Как частный случай, последний элемент структуры с более чем одним именем элемента может иметь неполный тип массива; это называется гибким элементом массива. В большинстве ситуаций элемент гибкого массива игнорируется. В частности, размер структуры выглядит так, как если бы отсутствовал гибкий элемент массива , за исключением того, что он мог иметь более длинную прокладку, чем .

Например, следующие выходы кода 1 для структуры без, но 4 для структуры с FAM на GCC, потому что для целых чисел доступа сем должны быть надлежащим образом выровнены (по границе 4 байта в этом пример)

struct A { 
    char a; 
}; 

struct B { 
    char a; 
    int flex[]; 
}; 

int main() { 
    printf("sizeof A: %d\nsizeof B: %d\n", 
     (int)sizeof(struct A), 
     (int)sizeof(struct B) 
    ); 

    struct B *b = malloc(sizeof *b + sizeof(int[3])); 
    b->a = 'X'; 
    b->flex[0] = 1; 
    b->flex[1] = 2; 
    b->flex[2] = 3; 
    free(b); 
} 

Answer 2

struct e{ 
    void * a; 
    void * b[]; 
//   ^^ 
} 

[] в struct делает b членом гибкой матрицы C99. Таким образом, sizeof(e) будет рассчитывать размер только a, который 4.

От C99 § 6.7.2.1/16:

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

Однако, если оператор . (или ->) имеет левый операнд, который является (указателем на) структуру с гибким членом массива, а правый операнд - членом, он ведет себя так, как если бы этот элемент был заменен на самый длинный массив (с тем же типом элемента), который не сделает структуру больше, чем объект, к которому обращаются; смещение массива должно оставаться равным элементу гибкого элемента массива, даже если это будет отличаться от размера массива замены. Если этот массив не будет содержать никаких элементов, он будет вести себя так, как если бы у него был один элемент, но поведение не определено, если была предпринята попытка доступа к этому элементу или для создания указателя, который прошел мимо него.

Answer 3

Это потому, что вторая структура использует массив в гибкого элемента.Объяснение результата sizeof находится в Wikipedia.

Answer 4

void * b[]; недействителен в C89, поэтому это означает, что вы используете компилятор C99.

C99 представила средство для определения «STRUCT хак»: она теперь называется «гибкий элемент массива» и до того, как выделяется память, его размер равен 0.

Answer 5

Поскольку первый не объявляя никакого пространства для указатели в «b».