Лексическая область действия

Лексическая область действия идентификаторов, описанных

во внешних определениях, простирается от определения до кон-

ца исходного файла, в котором он находится. Лексическая об-

ласть действия идентификаторов, являющихся формальными пара-

метрами, распространяется на ту функцию, к которой они отно-

сятся. Лексическая область действия идентификаторов, описан-

ных в начале блока, простирается до конца этого блока. Лек-

сической областью действия меток является та функция, в ко-

торой они находятся.

Поскольку все обращения на один и тот же внешний иденти-

фикатор обращаются к одному и тому же объекту (см. П. 19.2),

Компилятор проверяет все описания одного и того же внешнего

идентификатора на совместимость; в действительности их об-

ласть действия распространяется на весь файл, в котором они

находятся.

Во всех случаях, однако, есть некоторый идентификатор,

явным образом описан в начале блока, включая и блок, который

образует функцию, то действие любого описания этого иденти-

фикатора вне блока приостанавливается до конца этого блока.

Напомним также (п. 16.5), Что идентификаторы, соответст-

вующие обычным переменным, с одной стороны, и идентификато-

ры, соответствующие членам и ярлыкам структур и объединений,

с другой стороны, формируют два непересекающихся класса, ко-

торые не вступают в противоречие. Члены и ярлыки подчиняются

тем же самым правилам определения областей действия, как и

другие идентификаторы. Имена, специфицируемые с помощью

TYPEDEF, входят в тот же класс, что и обычные идентификато-

ры. Они могут быть переопределены во внутренних блоках, но

во внутреннем описании тип должен быть указан явно:

TYPEDEF FLOAT DISTANCE;

...

\(

AUTO INT DISTANCE;

...

Во втором описании спецификатор типа INT должен присутство-

вать, так как в противном случае это описание будет принято

за описание без описателей с типом DISTANCE (прим. Автора:

согласитесь, что лед здесь тонок.).