Одним из элементов массива в структурах

Question

Почему некоторая структура использует один массив элементов, например следующим образом:

typedef struct Bitmapset 
{ 
int nwords; 
uint32 words[1]; 
} Bitmapset; 

Чтобы сделать его удобным для последнего динамического выделения?

Answer 1

Одним словом, да.

В принципе, как C99, чтобы сделать это с flexible array member:

uint32 words[]; 

Некоторые компиляторы предварительно C99 позволяют уйти с:

uint32 words[0]; 

Но путь, чтобы гарантировать ее работу по всем компиляторам:

uint32 words[1]; 

И тогда, независимо от того, как это объявлено, вы можете выделить объект wit ч:

Bitmapset *allocate(int n) 
{ 
    Bitmapset *p = malloc(offsetof(Bitmapset, words) + n * sizeof(p->words[0])); 
    p->nwords = n; 
    return p; 
} 

Хотя для достижения наилучших результатов следует использовать size_t вместо int.

Answer 2

Обычно это разрешает идиоматический доступ к экземплярам структур переменной длины. Учитывая ваш пример, во время выполнения, вы можете иметь Bitmapset, который заложен в памяти, как это:

----------------- 
| nwords | 3 | 
| words[0] | 10 | 
| words[1] | 20 | 
| words[2] | 30 | 
----------------- 

Таким образом, вы в конечном итоге с выполнения переменной числа uint32 «висит от» конца вашей структуры, но доступны так, как если бы они были определены внутри структуры. Это в основном (ab), используя тот факт, что C не проверяет границы массива во время выполнения, чтобы вы могли писать код:

for (int i = 0; i < myset.nwords; i++) { 
    printf("%d\n", myset.words[i]); 
}