1

下面的程序编译时没有警告（这是不可取的，因为省略第 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)
4

3 回答 3

5

任何计算结果为 0 的整型常量表达式都应被视为空指针。我认为枚举值被认为是恒定的——它不是你可以改变的值。

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

于 2012-05-03T19:17:52.140 回答
0

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

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

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

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

于 2012-05-03T19:25:48.777 回答
0
6.3.2.3 指针
...
3 值为 0 的整数常量表达式，或转换为 type 的这种表达式 void *，称为空指针常量。66)如果将空指针常量转换为指针类型，则生成的指针（称为空指针）保证与指向任何对象或函数的指针不相等。

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

5 整数可以转换为任何指针类型。除非前面指定，结果是实现定义的，可能没有正确对齐，可能不指向引用类型的实体，并且可能是陷阱表示。67)
...
66) 宏 NULL 在 <stddef.h> （和其他头文件）中定义为空指针常量；见 7.19。

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

所以，不是错误。

于 2012-05-03T19:28:08.363 回答