为什么枚举值可以具有大 (>int) 值？

Question

在我定义了这样的枚举之后：

typedef enum { x = 1ULL<<40 } e;

似乎表达式“x”的计算结果为 1UL

但是，C11 6.4.4.3 说“声明为枚举常量的标识符具有 int 类型。”

顺便说一句，这可以节省我的时间，因为我想要枚举值 > 1如何；编写不符合标准的代码我有点紧张。

我试过这段代码：

int main() {
        printf("%zu %zu %lx\n", sizeof(e), sizeof(x), x);
        return 0;
}

用gcc -std=c11 -Wall（gcc 8.3.1，linux x86_64）编译，输出：8 8 10000000000。

如果我将 %lx 更改为 %llx，我会收到一个编译警告和相同的输出，这表明 x 是长尺寸的。

根据我对规范的阅读，我预计会出现编译警告并输出 4 4 0。

Answer 1

编译器扩展。例如，用叮当声：

$ CFLAGS=-Weverything make example && ./example
cc -Weverything    example.c   -o example
example.c:3:16: warning: ISO C restricts enumerator values to range of 'int'
      (1099511627776 is too large) [-Wpedantic]
typedef enum { x = 1ULL<<40 } e;
               ^   ~~~~~~~~
1 warning generated.
8 8 10000000000

使用 gcc：

$ CFLAGS='-Wall -pedantic' make example && ./example
cc -Wall -pedantic    example.c   -o example
example.c:3:20: warning: ISO C restricts enumerator values to range of ‘int’ [-Wpedantic]
 typedef enum { x = 1ULL<<40 } e;
                    ^~~~
8 8 10000000000