c - 当计算结果为 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 的整型常量表达式都应被视为空指针。我认为枚举值被认为是常量 - 它不是您可以更改的值。

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