c - 为什么 'typeof enum constant' 与枚举类型的变量相比会产生警告？

Question

我有以下代码。

typedef enum {FOO, BAR} Baz;

int main()
{
    Baz f1 = FOO;
    typeof(FOO) f2 = FOO;
    return (f1 == f2);
}

我使用 gcc -Wextra foo.c 的编译生成了一条警告信息

foo.c: In function ‘main’:
foo.c:7:13: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
 return (f1 == f2);
             ^

我的 gcc 版本

gcc --version
gcc (Ubuntu 4.9.2-10ubuntu13) 4.9.2

我该如何解决这个问题？

Answer 1

直接引用 C11，章节 §6.7.2.2，枚举说明符，

Each enumerated type shall be compatible with char, a signed integer type, or an unsigned integer type. The choice of type is implementation-defined.

因此，枚举变量的类型 未按标准定义。它可以是以上任何一种。

OTOH，FOO 是一个枚举常量，typeof(FOO) 将按照标准要求为您提供 int

An identifier declared as an enumeration constant has type int.

它被用作 f2 的类型。

现在，如果枚举在您的实现中是 unsigned int，那么 f1 也是 f2 是 int .

接下来，您会收到警告。

How can I fix this problem?

好吧，如果您将 f2 的类型更改为 typeof(Baz)，它给出了枚举的类型，那么 f1< 的两种类型 和 f2 是一样的。编译器会很高兴。

SEE LIVE HERE