Question

您不能拥有具有灵活数组成员的结构数组。

这是this question的TL; DR。考虑一下，这很有道理。

但是，可以使用灵活的阵列成员模拟一组结构 - 让我们称之为 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手动分配其大小。人。 []通常仅在声明初始化数组时使用，这对于struct来说是不可能的，struct本质上是一个定义，而不是声明。立即声明结构类型实例的能力不会改变定义的性质，只是为了方便起见。

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

通用char缓冲区，用作具有灵活阵列成员的结构数组

1 个答案: