What happens if I define a 0-size array in C/ C ++?

在 C 和 C++ 中，定义一个长度为0的数组是不合法的，而且它的行为是未定义的（undefined behavior）。具体来说，当你尝试定义一个0大小的数组，可能会遇到编译器错误或警告，因为数组至少应该有一个元素。

C语言中的情况

在 C99 或之前的标准中，尝试定义一个0长度的数组会直接导致编译错误。例如：

c
int arr[0];  // 在大多数C编译器中，这会是编译错误

C++中的情况

在 C++ 中，定义一个0大小的数组同样是非法的，并会在编译时产生错误。例如：

cpp
int arr[0];  // 在C++编译器中，这会是编译错误

可能的警告或错误信息

当你尝试这样做时，编译器可能会给出如下错误或警告信息：

• error: zero-size array 'arr'
• array size cannot be zero
• size of array must be greater than zero

零长度数组的替代方案

尽管直接定义零长度数组是不允许的，但在某些情况下，开发者可能会用到与零长度数组类似的结构，尤其是在动态内存分配中。例如，你可以使用动态分配的内存来模拟零长度数组的行为：

c
int* arr = (int*)malloc(0);  // 分配0字节，但返回的指针通常不为NULL
if (arr != NULL) {
    // 可以用arr做一些操作，但不能解引用，因为没有分配实际的内存
}

free(arr);  // 释放分配的内存

这种方式通过 malloc 分配了0字节，但通常返回的指针不会是 NULL。虽然这种方式能够编译和运行，但由于实际上没有内存被分配，所以任何尝试访问数组元素的操作都是未定义的行为。

结论

定义一个0大小的数组不仅是语法上的错误，而且没有实际的使用场景。如果需要这种类型的行为，最好是使用指针和动态内存分配的方法来实现类似的功能。