'空' C 数组的解释（int a = {};）

Question

我有一段代码定义（我认为是）一个空数组，即一个不包含元素的数组：

int a[] = {};

我用gcc编译sn-p没有问题

一位试图在 MSVS 下编译相同代码的同事进行了修改：

int* a = NULL;

不，他显然认为这是 MSVS 编译器可以接受的等效语句。

但是，稍后在代码中我检索到编号。数组中的元素使用以下宏：

#define sizearray(a)  (sizeof(a) / sizeof((a)[0]))

这样做时：

sizearray({}) returns 0

正如我所期望的那样，我认为这是一个空数组的定义

sizearray(NULL) returns 1 

我认为sizeof(NULL)/sizeof((NULL)[0])) 实际上是4/4 == 1

作为NULL == (void*)0

我的问题是：

int a[] = {}; 

是表达空数组的有效方式，还是它的编程习惯不好。

另外，您是否不能在 MSVS 编译器中使用这样的表达式，即这是某种 C99 兼容性问题？

更新：

刚刚编译了这个：

#include <stdio.h>

#define sizearray(a)  (sizeof(a) / sizeof((a)[0]))

int main()
{
    int a[] = {};
    int b[] = {0};
    int c[] = {0,1};

    printf("sizearray a = %lu\n", sizearray(a));
    printf("sizearray b = %lu\n", sizearray(b));
    printf("sizearray c = %lu\n", sizearray(c));

    return 0;
}

使用这个 Makefile：

array: array.c
    gcc -g -o array array.c

我的编译器是：

gcc version 5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.9) 

编译没有任何问题，输出如下：

bph@marvin:~/projects/scratch/c/array$ ./array
sizearray a = 0
sizearray b = 1
sizearray c = 2

很好奇？会不会偷偷是C++编译器，而不是C编译器？

尝试了 John Bodes 对其他编译器标志的建议，并且可以确认编译确实失败了：

gcc --std=c11 --pedantic -Wall -g -o array array.c
array.c: In function ‘main’:
array.c:7:15: warning: ISO C forbids empty initializer braces [-Wpedantic]
     int a[] = {};
               ^
array.c:7:9: error: zero or negative size array ‘a’
     int a[] = {};
         ^
Makefile:2: recipe for target 'array' failed
make: *** [array] Error 1

Answer 1

空初始化器在 C 中是无效的。所以

int a = {};

格式不正确。见6.7.9 Initialization。

sizearray(NULL) 也无效。因为sizearray 宏会扩展为：

sizeof 0 /sizeof 0[0])

如果NULL 定义为0。这是无效的，因为 0[0] 无效，因为不涉及指针或数组（根据指针运算的要求 - 请记住 a[b] 等效于 *(a + b)）。

或者，它会扩展为：

(sizeof(((void *)0)) / sizeof((((void *)0))[0]))

如果 NULL 与 ((void*)0) 相同。这是无效的，因为在 void 指针上不允许指针算术。请参阅 6.5.6, 2 和 void* 是不完整的类型。无论NULL 的定义在实现中如何，都存在类似的问题（C 标准对空指针常量的定义很灵活，即NULL。参见7.19, 3）。

因此，在这两种情况下，您看到的是非标准代码的编译器特定行为。

Answer 2

这不是一个数组，但也不是一个标量：这是一个语法错误。

C11 草案在 §6.7.9.11（初始化语义）中说：

标量的初始值设定项应为单个表达式，可选 括在大括号中。对象的初始值是 表达式（转换后）；相同的类型约束和转换 对于简单的赋值应用，将标量的类型作为 其声明类型的非限定版本。

但大括号之间必须有东西，不能为空。

所以我认为这个问题缺少一些东西，这不是实际的代码。

Answer 3

不是数组，是大括号初始化语法。

简而言之，你可以这样写：

int a = {1234};

它不会用数组初始化a，它只是分配1234。如果有2个或更多值，那就是错误。

大括号初始化禁用值截断，所以：

char b = 258; // Valid, same as b = 2
char b = {258}; // Wrong, can't truncate value in braces

空括号只是零初始化器，所以int a = {} 等价于int a = {0}