好奇问一下，如果我在代码中定义一个长度为零的数组int array[0];，会发生什么？GCC没有任何抱怨。
示例程序
#include <stdio.h>
int main() {
int arr[0];
return 0;
}
澄清
我实际上正试图弄清楚以这种方式初始化的零长度数组是否被优化掉，而不是像Darhazer评论中的可变长度那样指向它们。
这是因为我必须将一些代码发布到公众之中，所以我正在努力确定是否必须处理SIZE 定义为0的情况，在某些具有静态定义的int array[SIZE];的代码中会发生这种情况。
我实际上很惊讶GCC没有抱怨，这引发了我的问题。从我得到的答案来看，缺少警告在很大程度上是由于支持未使用新[]语法更新的旧代码。
因为我主要是在想错误问题，所以我将Lundin的回答标记为正确答案（Nawaz的回答最先，但不是很完整）--其他人指出它在尾部填充结构的实际用途，虽然相关，但不完全是我寻找的内容。
一个数组不能有零大小。
ISO 9899:2011 6.7.6.2：
如果表达式是常量表达式，它的值必须大于零。
上述文字对于普通数组（第1段）和可变长度数组（VLA）都是正确的。如果表达式的值小于或等于零，则 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标准的发表）或者结构体hack（感谢Joe Wreschnig指出）。
然而，在C99中，这种语法被规范化了（并且效果得到了保证）。在此之前，需要一个常量大小。
1是可移植的方法，但相当奇怪。0更好地表示意图，但在标准上不合法，并且由一些编译器（包括gcc）支持为扩展。然而，尾部填充的做法依赖于存储空间的可用性（小心使用malloc），因此不适合通常栈的使用。
foo[x]优化为foo[0]，只要foo是单元素数组即可。 - supercatx 必须为 0，或者如果已知 x 不是 0，则不会执行此路径（因为这将是未定义行为）。 - Matthieu M.foo[n>>8][n & 255]中并具有宏定义大小限制的程序，该限制在许多构建中可能小于255），用foo[x]替换为foo[0]将是容易且有用的。某些处理器上的实现也可能针对数组具有上限为两个元素、128字节或256字节的情况进行优化。 - supercat在标准的C和C++中，不允许使用零大小数组。
如果您正在使用GCC，请使用-pedantic选项进行编译。它将会发出警告，并显示：
zero.c:3:6: warning: ISO C forbids zero-size array 'a' [-pedantic]
对于C ++，它也会发出类似的警告。
error C2466: 无法分配大小为 0 的常量大小数组。 - Mark Ransom[BCC32 Error] test.c(3): E2021 数组必须至少有一个元素。 - Lundin-pedantic-errors代替-pedantic -Werror。 - Stephan Dollbergstd::array。（另外：我记得但找不到来源，可变长数组曾被考虑过并明确被拒绝作为C++的一部分。） - user79758这完全是不合法的，一直以来都是如此，但很多编译器忽略了错误信号。我不确定你为什么要这样做。我知道的一个用途是从布尔值中触发编译时错误：
char someCondition[ condition ];
如果condition是假的，则会在编译时出现错误。尽管编译器允许这种情况，但我已经开始使用：
char someCondition[ 2 * condition - 1 ];
这会给出1或-1的大小，我从未找到过接受大小为-1的编译器。
STATIC_ASSERT的实现也采用了这种方法，我不会感到惊讶。 - James Kanze#if 某个条件
#error 错误信息
#endif - Jerfov2零长度数组的另一种用途是用于制作可变长度对象（C99之前）。零长度数组与带有[]但没有0的可变长数组不同。
引自gcc文档：
零长度数组在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 运算符。
一个实际的例子是 kdbus.h（Linux 内核模块）中的“struct kdbus_item”的零长度数组。
void* 以进行算术运算（因此，禁止添加或减去指向零大小对象的指针）。虽然柔性数组成员大多比零大小数组更好，但它们也可以充当一种“联合”，以别名方式而不会在后续内容中添加额外的“语法”间接层次（例如，给定 struct foo {unsigned char as_bytes[0]; int x,y; float z;}，可以访问成员 x..z... - supercatmyStruct.asFoo.x 等方式来访问，而不必多说。此外，如果我没记错的话，在 C 语言中，任何试图在结构体中包含一个灵活数组成员的尝试都会被拒绝，因此无法创建一个包含多个其他已知长度的灵活数组成员的结构体。 - supercatsizeof x->contents是一个错误，而不是在gcc中返回0。不是结构体成员的零大小数组会引入一堆其他问题。 - M.Mstruct {int n; THING dat[];} 的静态或自动变量持续时间的指针并能处理这些数据。 - supercat在GNU C中允许使用零长度数组。
在ISO C90标准中，您需要将内容的长度设置为1。
以及
在3.0版本之前的GCC中，允许像可变数组一样静态初始化零长度数组。除了那些有用的情况外，它还允许在可能破坏后续数据的情况下进行初始化。
所以你可以：
int arr[0] = { 1 };
然后轰隆一声 :-)
a [100000] = 5。但如果你很幸运，你只是会导致你的应用程序崩溃，如果你够幸运的话 :-) - xanatosint a[1]，它有权将 a[i] 视为 a[0]。如果有人试图通过类似以下方式绕过结构体技巧的对齐问题：
typedef struct {
uint32_t size;
uint8_t data[4]; // Use four, to avoid having padding throw off the size of the struct
}
编译器可能会变聪明并假设数组大小确实为四：
; As written foo = myStruct->data[i]; ; As interpreted (assuming little-endian hardware) foo = ((*(uint32_t*)myStruct->data) >> (i << 3)) & 0xFF;这样的优化可能是合理的，特别是如果
myStruct->data 可以在与 myStruct->size 相同的操作中加载到寄存器中。我不知道标准中是否有禁止这种优化的内容，尽管它会破坏可能希望访问第四个元素之外的东西的任何代码。#include <cstdio>
int main() {
struct A {
A() {
printf("A()\n");
}
~A() {
printf("~A()\n");
}
int empty[0];
};
A vals[3];
}
A()
A()
A()
~A()
~A()
~A()
A()
~A()
A()
A()
A()
这完全是奇怪的，所以如果你可以的话，在 C++ 中不要使用空数组是一个很好的理由。
此外，在 GNU C 中有一个扩展，它允许您在 C 中创建零长度数组，但是我正确理解的话，结构体中应该先有至少一个成员，否则如果在 C++ 中使用，就会出现像上面那样非常奇怪的例子。
[]或者在C中""的作用是什么？有时候，你需要一个函数或者宏来要求一个数组，但是你没有任何数据可以放进去。 - dan04