c - 在c中定义了一个空数组

Question

在下面的程序中实际发生了什么，我在代码中和 GCC 编译器中定义了一个空数组 int arr[];，但是编译器没有给出错误。成功了。

#include <stdio.h>
#include <stdlib.h>

typedef struct st
{
        int i;
        int arr[];
}ST,*ptr;

int main()
{
        ST s1;
        ptr p1= (ptr)malloc(sizeof(ST)+4*sizeof(int));

        p1->i=10;
        p1->arr[0]=1;
        p1->arr[3] = 1;

        printf("%d\n",p1->arr[3]);
        printf("%ld\n", sizeof(s1));
}

C 语言不允许未定义的数组长度。但 GCC 编译器 允许。为什么？

只是好奇，到底发生了什么？

Answer 1

自C99起有效并允许.它叫做flexible array member - 使结构的最后一个成员变长很有用，如果使用，它必须是结构的最后一个成员。