¿Por qué gcc no permite un const int como expresión de caso?

Question

Estaba viendo esto SO question y llegué a pensar en const ints versus #defines y me di cuenta de que realmente no entiendo por qué el compilador no puede lidiar con esto. Podría alguien arrojar alguna luz sobre por qué el siguiente código

const int FOO = 10; 

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

resultados en

error: case label does not reduce to an integer constant 

leí la especificación ISO-C99 que establece en 6.8.4.2.3 que

El la expresión de cada etiqueta de caso será una expresión entera constante y no habrá dos expresiones de expresiones constantes en el mismo interruptor declaración tendrá el mismo valor después de la conversión.

Entiendo por qué la expresión de caso debe ser constante, pero no por qué solo un literal hace feliz al compilador (gcc 4.2.1).

Answer 1

Una expresión constante no es lo mismo que un valor de tipo const-qualified, aunque técnicamente el valor es conocido por el compilador en el punto de la instrucción case.

Imagine qué pasaría si otro archivo declara extern const int FOO y trata de usarlo de la misma manera. El compilador no sabría qué era FOO porque estaba definido en otro archivo. Aunque tiene un valor constante , no es una expresión constante.