为什么允许在结构中使用未定义的大小数组？

Question

当我编写以下代码时，我得到了预期的错误错误：“data”中缺少数组大小。

int main()
{
    unsigned char data[];

    return 0;
}

然而，当我运行相同的代码，但将违规行包装在结构中时，不会有错误。

typedef struct credit_card_s
{
  unsigned char is_valid;

  unsigned char data[];

} credit_card_t;

有人能解释一下为什么允许这样做吗？




Answer 1

这在C中是不合法的。在结构之外，声明数组时需要一个大小，因为以后无法设置大小：

int main()
{
  unsigned char data[100];

  return 0;
}

这是C语言中的合法操作，允许您在为结构分配内存时为数组分配内存。灵活数组成员必须是结构中的最后一个元素。

以下是一个基于GCC文档的示例：

struct line
{
  int length;
  char contents[]; // Flexible array member
};

struct line *myline = malloc(sizeof(struct line) + 100); // 100 bytes for the array
myline->length = 100;

Answer 2

后者称为“柔性阵列成员”，这是结构的特例。结构的最后一个成员不允许有大小。

作为一种特殊情况，具有多个命名成员的结构的最后一个元素可能具有不完整的数组类型；这称为灵活数组成员。在大多数情况下，将忽略灵活数组成员。特别是，结构的大小就像省略了柔性数组成员一样，只是它可能具有比省略所暗示的更多的尾部填充。然而，当一个。（或-

另请参见示例20。

前者是普通数组，不允许大小为零。请参见6.7.6.2阵列声明器。

如果它们分隔表达式（指定数组的大小），则表达式应具有整数类型。如果表达式是常量表达式，则其值应大于零。换句话说，语言标准是这么说的。