解释'空'C数组(int a = {};)

Question

我有一段代码,它定义了(我相信的)一个空数组,即一个不包含任何元素的数组:

int a[] = {};

我用gcc编译了代码片段没有问题

试图在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初始化.

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(初始化语义)中说:

标量的初始值设定项应为单个表达式,可选择用大括号括起来.对象的初始值是表达式的初始值(转换后); 与简单赋值相同的类型约束和转换适用,将标量的类型作为其声明类型的非限定版本.

但是大括号之间必须有一些东西,它不能是空的.

所以我认为问题是缺少某些东西,这不是实际的代码.