如果在C / C ++中定义一个0大小的数组，会发生什么情况？

只是好奇，如果我int array[0];在代码中定义零长度数组，实际上会发生什么？GCC一点也不抱怨。

样例程序

#include <stdio.h>

int main() {
    int arr[0];
    return 0;
}

澄清度

我实际上是想弄清楚是否以这种方式初始化了零长度数组，而不是像在Darhazer的注释中指出的那样，对可变长度进行了优化。

这是因为我必须向野外发布一些代码，所以我试图确定是否必须处理SIZE定义为的情况0，这在某些静态定义的代码中发生int array[SIZE];

实际上，我很惊讶GCC没有投诉，这引起了我的疑问。从我收到的答案中，我认为缺少警告的主要原因是支持未使用新的[]语法更新的旧代码。

因为我主要是想知道错误，所以我将隆丁的答案标记为正确的（纳瓦兹是第一个，但还不够完整），其他人则指出了它在尾部填充结构中的实际用途是“正确的”。正是我想要的。

数组的大小不能为零。

ISO 9899：2011 6.7.6.2：

如果表达式是一个常量表达式，则其值应大于零。

上面的文本对于纯数组都是正确的（第1段）。对于VLA（可变长度数组），如果表达式的值小于或等于零（第5段），则行为不确定。这是C标准中的规范性文本。不允许编译器以不同的方式实现它。

gcc -std=c99 -pedantic 对非VLA情况发出警告。

按照标准，这是不允许的。

但是，C编译器目前的惯例是将这些声明视为灵活数组成员（FAM）声明：

C99 6.7.2.1，§16：作为特殊情况，结构中具有多个命名成员的最后一个元素可能具有不完整的数组类型；这称为灵活数组成员。

FAM的标准语法为：

struct Array {
  size_t size;
  int content[];
};

这个想法是，然后您将其分配为：

void foo(size_t x) {
  Array* array = malloc(sizeof(size_t) + x * sizeof(int));

  array->size = x;
  for (size_t i = 0; i != x; ++i) {
    array->content[i] = 0;
  }
}

您也可以静态使用它（gcc扩展名）：

Array a = { 3, { 1, 2, 3 } };

这也称为尾部填充结构（此术语早于C99标准的发布）或结构破解（感谢Joe Wreschnig指出）。

但是，这种语法直到最近才在C99中标准化（并保证了效果）。在需要恒定大小之前。

• 1 是便携式的方式，尽管这很奇怪。
• 0 更好地表明了意图，但就标准而言，它不是合法的，并且被某些编译器（包括gcc）作为扩展来支持。

但是，尾部填充练习依赖于以下事实：存储可用（请注意malloc），因此通常不适合堆栈使用。

在标准C和C ++，大小为零的阵列不允许..

如果您使用的是GCC，请使用-pedanticoption进行编译。它会发出警告，说：

zero.c:3:6: warning: ISO C forbids zero-size array 'a' [-pedantic]

对于C ++，它会给出类似的警告。

这是完全非法的，而且一直存在，但是许多编译器忽略了发出错误信号。我不确定为什么要这么做。我知道的一种用法是从布尔值触发编译时错误：

char someCondition[ condition ];

如果condition为假，则出现编译时错误。因为编译器确实允许这样做，所以我开始使用：

char someCondition[ 2 * condition - 1 ];

这给出的大小为1或-1，而我从未找到过接受-1大小的编译器。

我要补充一点，关于该参数，有一整页的gcc在线文档。

一些引号：

GNU C中允许使用零长度数组。

在ISO C90中，您必须将内容长度设置为1

和

3.0之前的GCC版本允许零长度数组进行静态初始化，就好像它们是灵活的数组一样。除了有用的情况外，它还允许在可能损坏以后数据的情况下进行初始化

所以你可以

int arr[0] = { 1 };

和繁荣:-)

零长度数组的另一个用途是制作可变长度的对象（C99之前的版本）。零长度数组是不同从柔性阵列 []无0具有。

从gcc doc引用：

GNU C中允许使用零长度数组。零长度数组作为结构的最后一个元素（实际上是可变长度对象的标头）非常有用：

 struct line {
   int length;
   char contents[0];
 };
 
 struct line *thisline = (struct line *)
   malloc (sizeof (struct line) + this_length);
 thisline->length = this_length;

在ISO C99中，您将使用灵活的数组成员，其语法和语义略有不同：

• 灵活的数组成员写为contents []，不带0。
• 灵活数组成员的类型不完整，因此可能不应用sizeof运算符。

一个真实世界的例子是零长度数组struct kdbus_item中kdbus.h（Linux内核模块）。

如果允许结构中的零尺寸数组声明，并且它们的语义使得（1）它们将强制对齐但不分配任何空间，并且（2）索引数组将被视为结构中的已定义行为，则该结构将非常有用。这种情况下，结果指针将与该结构位于同一块内存中。任何C标准都从未允许过这种行为，但是某些较早的编译器允许这样做，然后才成为标准格式，允许编译器使用不完整的带有空括号的数组声明。

通常使用大小为1的数组来实现的struct hack是狡猾的，我认为编译器没有任何要求不要破坏它。例如，我希望，如果编译器看到的int a[1]，这将是关于其权利范围内a[i]的a[0]。如果有人尝试通过类似的方法来解决struct hack的对齐问题

typedef struct {
  uint32_t大小；
  uint8_t data [4]; //使用四个，以避免填充掉掉结构的大小
}

编译器可能会变得聪明，并假设数组大小确实为四：

; 如写
  foo = myStruct-> data [i];
; 如解释的那样（假设使用little-endian硬件）
  foo =（（（*（uint32_t *）myStruct-> data）>>（i << 3））＆0xFF;

这样的优化可能是合理的，特别是如果myStruct->data可以通过与相同的操作将其加载到寄存器中时myStruct->size。我对标准中没有什么东西会禁止这种优化一无所知，尽管它当然会破坏任何可能期望访问第四个元素之外的代码。