Переменный и постоянный с таким же именем

Question

У меня есть фрагмент кода C следующим образом:

const int x = 5; 
void main() 
{ 
    int x[x]; 
    int y = sizeof(x)/sizeof(int); 
    printf("%d",y); 
} 

фрагмент кода будет компилироваться и работать правильно. Но я не понимаю, как различать x 'variable' и x 'const'.

Answer 1

Для C++ это рассматривается в draft C++ standard разделе 3.3.2Точка декларации:

Точка декларации на имя сразу после его полного описателя (раздел 8) и до его инициализаторе (если любой), за исключением , указанных ниже. [Пример:

int x = 12; 
{ int x = x; } 

Здесь второй x инициализируется собственным (неопределенным) значением. -end пример]

и:

[Примечание: имя из внешней области остается видимым до точки декларации имя, которое скрывает его [Пример:.

const int i = 2; 
{ int i[i]; } 

объявляет массив блоков с двумя целыми числами. -end пример] -end отметить ]

Так что в вашем случае:

int x[x]; 

сопзЬ Intx видна до закрытия ]. Для того, чтобы обратиться к сопзЬ междунарx после этого момента вы можете использовать qualified identifer:

::x 

Конечно возникает вопрос, почему бы не просто использовать различные имена и не приходится иметь дело с этими крайними случаями?

С

Эквивалентные котировки образуют draft C99 standard бы из раздела 6.2.1Области применения идентификаторов (курсив мой):

структуры, объединения и перечисления метки имеют область действия, начинается только после появления тега в спецификаторе типа, который объявляет тег . Каждая константа перечисления имеет область действия, которая начинается сразу после появления нулевого определителя в списке перечислителей . Любой идентификатор имеет область действия, которая начинается сразу после заполнения его декларатором.

и:

[...] В пределах внутреннего объема, идентификатор обозначает объект объявленных во внутреннем объеме; объект, объявленный во внешней области, является скрытым (и не видимым) во внутренней области.

нет никакого способа, чтобы сделать x в внешней области видимого в С.