c-错误:灵活数组成员的使用无效

Question

我不知道为什么这段代码会出现这个错误。我该怎么办？错误如下：

无效使用灵活阵列成员

在这条线上：

new_buffer->array_msg =array;

如果是较大的代码段：

   typedef struct buffer {
    int size;
    int T;
    int D;
    int msg_presenti;
    pthread_cond_t not_full;
    pthread_cond_t not_empty;
    pthread_mutex_t mutex;
    msg_t * array_msg[];
} buffer_t;
buffer_t * buffer_init(unsigned int maxsize){
    buffer_t * new_buffer = malloc( sizeof(buffer_t) + maxsize * sizeof(msg_t) );
    msg_t * array[maxsize];
    new_buffer->array_msg =array;
    new_buffer->size=maxsize;
    return new_buffer;
}
// deallocazione di un buffer

Answer 1

这一行足以为结构和灵活的数组成员分配空间：

buffer_t * new_buffer = malloc( sizeof(buffer_t) + maxsize * sizeof(msg_t *) );
                                ^                  ^
                                1                  2

1将为结构分配内存，而2将为您的灵活数组成员配置空间，因此您的函数应该如下所示：

buffer_t * buffer_init(unsigned int maxsize)
{
    buffer_t * new_buffer = malloc( sizeof(buffer_t) + maxsize * sizeof(msg_t) );
    new_buffer->size=maxsize;
    return new_buffer;
}

如果我们查看C99标准草案6.7.2.1结构和并集说明符段落17，则会给出以下示例：

示例声明后：

struct s { int n; double d[]; };

结构结构体CCD_ 4具有一个灵活的数组成员CCD_。一种典型的使用方法是：

int m = /* some value */;
struct s *p = malloc(sizeof (struct s) + sizeof (double [m]));

假设对malloc的调用成功，则p所指向的对象在大多数情况下的行为就像p已声明为：

struct { int n; double d[m]; } *p;

（在某些情况下，这种等价性会被破坏；特别是，成员d的偏移量可能不相同）。