当计算结果为0的整数枚举用作指针时，gcc是否应发出警告？

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

如果枚举的计算结果为0，gcc将无缝地将其转换为空指针

这应该被认为是一个bug吗

编辑：我不认为我对我认为的问题有多清楚。在我看来，在将枚举解析为其常量值之前，出于警告目的对枚举进行类型检查并没有什么害处，但这不是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;
}

---

任何计算结果为0的整型常量表达式都应视为空指针。我认为枚举值被认为是常量-它不是一个可以更改的值

---

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

任何计算结果为0的整型常量表达式都应视为空指针。我认为枚举值被认为是常量-它不是一个可以更改的值

---

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

整数文本

0

是空指针常量

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

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

---

整数文本

0

是一个空指针常量

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

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

6.3.2.3指针
…
3值为0的整型常量表达式，或转换为类型的此类表达式

void*

，称为空指针常量。66）如果将空指针常量转换为 指针类型，结果指针称为空指针，保证比较不相等 指向任何对象或函数的指针。

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

5整数可以转换为任何指针类型。除非之前另有规定，否则 结果是定义了实现，可能未正确对齐，可能未指向 引用类型的实体，并且可能是陷阱表示。67）
…

---

66）宏NULL在（和其他标头）中定义为NULL指针常量；参见7.19.

67）用于将指针转换为整数或将整数转换为指针的映射函数旨在 与执行环境的寻址结构保持一致。 所以，不是虫子

6.3.2.3指针
…
3值为0的整型常量表达式，或转换为类型的此类表达式

void*

，称为空指针常量。66）如果将空指针常量转换为 指针类型，结果指针称为空指针，保证比较不相等 指向任何对象或函数的指针。

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

5整数可以转换为任何指针类型。除非之前另有规定，否则 结果是定义了实现，可能未正确对齐，可能未指向 引用类型的实体，并且可能是陷阱表示。67）
…

---

66）宏NULL在（和其他标头）中定义为NULL指针常量；参见7.19.

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

---

因此，这不是一个bug。

我正在尝试考虑一个上下文，在该上下文中，设置指向任何

enum

值的指针将是一个好主意，而且不会有太多运气。有人吗？根据标准，值为0的枚举是一个有效的空指针常量，gcc不需要生成诊断，但启用/禁用警告似乎是明智的。默认情况下，VC++2010会生成以下警告：

警告C4047:“=”：“alpha_e*”与“int”在间接寻址级别上有所不同。

我试图考虑一种上下文，在这种上下文中，设置指向任何

枚举

值的指针将是一个好主意，而且不会有太多运气。有人吗？根据标准，值为0的枚举是一个有效的空指针常量，gcc不需要生成诊断，但启用/禁用警告似乎是明智的。默认情况下，VC++2010生成以下警告：

警告C4047:“=”：“alpha_e*”与“int”在间接寻址级别上不同。

是-枚举常量是一个整型常量表达式。只是不要称它为空指针，它是空指针。NULL在C中有一个非常特殊的含义。gcc也接受以下内容：

0

，

5-5

，

*0

是-枚举常量是一个整型常量表达式。只是不要称它为NULL指针，它是NULL指针。NULL在C的上下文中有一个非常特殊的含义。gcc也接受以下内容：

0

，

5-5

，

*0

问题不是“此代码是否有bug”，而是

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)

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