为什么 gcc 不允许 const int 作为 case 表达式？

Question

我在看这个SO question 并开始考虑 const ints 与 #defines 并意识到我实际上并不明白为什么编译器不能处理这个问题。有人可以解释一下为什么下面的代码

const int FOO = 10;

int main(int argc, char** argv)
{
    switch(argc)
    {
        case FOO: { printf("foo\n"); }
        default:  { printf("default\n"); }
    }
}

结果

error: case label does not reduce to an integer constant

我阅读了 ISO-C99 规范，该规范在 6.8.4.2.3 中声明

每个case标签的表达 应该是一个整数常量 表达和没有两种情况 相同的常量表达式 switch 语句应具有相同的 转化后的价值。

我明白为什么 case 表达式必须是常量，但不明白为什么只有文字才能让编译器 (gcc 4.2.1) 满意。

Answer 1

常量表达式与 const 限定类型值不同，尽管从技术上讲，编译器在 case 语句的位置知道该值。

想象一下，如果另一个文件声明 extern const int FOO 并尝试以相同的方式使用它会发生什么。编译器不知道FOO 是什么，因为它是在另一个文件中定义的。即使它有一个常量值，它也不是一个常量表达式。