Универсальный буфер символов, используемый как массив структур с гибким элементом массива

Question

У вас не может быть массивов структур с гибкими элементами массива.

Это TL; DR this question. И, думая об этом, это имеет смысл.

Однако, может один имитировать массив структур с гибким элементом массива - назовем их swfam - из фиксированного размера, как показано ниже:

#include <assert.h> 
#include <stdlib.h> 


typedef struct { 
    int foo; 
    float bar[]; 
} swfam_t; // struct with FAM 

typedef struct { // this one also has a FAM but we could have used a char array instead 
    size_t size, // element count in substruct 
      count; // element count in this struct 
    char data[]; 
} swfam_array_t; 


#define sizeof_swfam(size) (sizeof(swfam_t) + (size_t)(size) * sizeof(float)) 


swfam_array_t *swfam_array_alloc(size_t size, size_t count) { 
    swfam_array_t *a = malloc(sizeof(swfam_array_t) + count * sizeof_swfam(size)); 

    if (a) { 
     a->size = size; 
     a->count = count; 
    } 

    return a; 
} 

size_t swfam_array_index(swfam_array_t *a, size_t index) { 
    assert(index < a->count && "index out of bounds"); 
    return index * sizeof_swfam(a->size); 
} 

swfam_t *swfam_array_at(swfam_array_t *a, size_t index) { 
    return (swfam_t *)&a->data[swfam_array_index(a, index)]; 
} 


int main(int argc, char *argv[]) { 
    swfam_array_t *a = swfam_array_alloc(100, 1000); 
    assert(a && "allocation failed"); 

    swfam_t *s = swfam_array_at(a, 42); 

    s->foo = -18; // do random stuff.. 
    for (int i = 0; i < 1000; ++i) 
     s->bar[i] = (i * 3.141592f)/s->foo; 

    free(a); 
    return 0; 
} 

трюк действует C99/C11? Я скрываюсь от неопределенного поведения?

Answer 1

Один из способов сделать это - использовать элемент-указатель вместо гибкого массива. Затем вам придется вручную выделять свой размер через malloc() et. и др. [] обычно используется только тогда, когда массив инициализируется при объявлении, что невозможно для структуры, которая по существу является определением, а не декларацией. Возможность сразу объявить экземпляр типа структуры не изменяет характер определения, это просто для удобства.

typedef struct { 
    int foo; 
    float* bar; } swfam_t; // struct with FAM