Question

以下程序编译时没有警告（这是不可取的，因为省略第19行和第21行的数组索引会有效地破坏数组）。如果使用-D CHECK_NONZERO进行编译，您将看到第23行在没有警告的情况下将无法编译，因为枚举BBB的计算结果为1，其中AAA和aaa的计算结果为0。

如果enum的计算结果为0，gcc会将其无缝地转换为NULL指针。

这应该被视为错误吗？

编辑：我认为我没有像我认为的那样明确这个问题。在我看来，在将枚举解析为常量值之前，为了警告目的而对枚举进行类型检查是没有害处的，但这不是gcc目前的工作方式。但是，我不确定这是否值得对gcc项目进行错误报告或功能请求。

#include <stdio.h>
#include <stdlib.h>

typedef enum {
    AAA,
    BBB,
} alpha_e;

enum {
    aaa,
    bbb,
};

int main(void) {
    alpha_e *alpha_array = malloc(sizeof(*alpha_array) * 2);
    alpha_array[0] = AAA;
    alpha_array[1] = BBB;
    printf("1: alpha_array[0] == %u, alpha_array[1] == %u\n", alpha_array[0], alpha_array[1]);
    alpha_array = AAA;
    printf("2: alpha_array[0] == %u, alpha_array[1] == %u\n", alpha_array[0], alpha_array[1]);
    alpha_array = aaa;
#ifdef CHECK_NONZERO
    alpha_array = BBB;
#endif
    return 1;
}

gcc -v：

Using built-in specs.
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 4.4.3-4ubuntu5.1' --with-bugurl=file:///usr/share/doc/gcc-4.4/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared --enable-multiarch --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.4 --program-suffix=-4.4 --enable-nls --enable-clocale=gnu --enable-libstdcxx-debug --enable-plugin --enable-objc-gc --disable-werror --with-arch-32=i486 --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.4.3 (Ubuntu 4.4.3-4ubuntu5.1)

Answer 1

任何求值为0的整型常量表达式都应被视为空指针。我认为枚举值被认为是不变的 - 它不是你可以改变的值。

将指针设置为任何其他整数值是不合法的。

Answer 2

整数文字0是一个空指针常量。

（C99,6.3.2.3p3指针）：“值为0的整型常量表达式，或类型为void *的表达式，称为空指针常量。”

int *p = 0;   // p is a null pointer

（C99,6.3.2.3p3）“如果将空指针常量转换为指针类型，则保证将结果指针（称为空指针）与指向任何对象或函数的指针进行比较。”

Answer 3

6.3.2.3指针
...
3一个整数常量表达式，其值为0，或者此类表达式强制转换为类型 void *，称为空指针常量。^66）如果将空指针常量转换为a 指针类型，结果指针，称为空指针，保证比较不等指向任何物体或功能的指针。

4将空指针转换为另一种指针类型会产生该类型的空指针。任何两个空指针都应该相等。

5整数可以转换为任何指针类型。除非事先指明，否则结果是实现定义的，可能没有正确对齐，可能不指向引用类型的实体，可能是陷阱表示。^67）
...

66）宏NULL在＆lt; stddef.h＆gt;中定义。（和其他标题）作为空指针常量;见7.19。

67）用于将指向整数或整数的指针转换为指针的映射函数与执行环境的寻址结构一致。

所以，不是错误。

当一个求值为0的整数枚举被用作指针时，gcc会发出警告吗？

3 个答案: