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

Question

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

似乎如果枚举计算结果为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的整数常量表达式都应被视为空指针.我认为枚举值被认为是不变的 - 它不是一个你可以改变的值.

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