ISO/IEC 9899:2011 条款6.2.1——标识符的作用域

6.2.1 标识符的作用域

1、一个标识符可以表示一个对象；一个函数；一个结构体、联合体或枚举的一个标签或一个成员，一个typedef名；一个标签名；一个宏名；或一个宏形参。相同的标识符可以在程序中不同的点表示不同的实体。一个枚举的一个成员被称为一个枚举常量。宏名以及宏形参在这里不再进一步考虑，因为在程序翻译的语义阶段之前，任一源文件中宏名的发生用组成它们宏定义的预处理符记序列来代替。

2、对于一个标识符所指派的每个不同的实体，该标识符只有在程序文本的一个区域内是可见的（即，可以被使用），这个区域称为其作用域。由同一个标识符所指派的不同实体，要么具有不同的作用域，要么在不同的名字空间中。有四种类型的作用域：函数，文件，语句块，以及函数原型。（一个函数原型是对一个函数的声明，它声明了函数形参的类型。）

3、一个标签名仅仅是具有函数作用域的一种标识符。它可以被用在（在一个goto语句中）它所出现的函数中的任何地方，并且通过其语法出现的地方（跟在一个:和一条语句后面）隐式地声明。

4、每个其它标识符具有由其声明的位置所确定的作用域（在一个声明符或类型说明符（specifier）中）。如果声明该标识符的声明符或类型说明符出现在形参列表的任一语句块的外部，那么该标识符具有文件作用域，这终结在此翻译单元的末尾。如果声明符或类型说明符出现在一个语句块内或一个函数定义的形参声明列表内，那么该标识符具有语句块作用域，这终结在其所关联的语句块的末尾处。如果声明该标识符的声明符或类型说明符出现在一个函数原型（不作为一个函数定义的一部分）中的形参声明列表内，那么该标识符具有函数原型作用域，这终结在函数声明符的末尾处。如果一个标识符在同一名字空间指派了两个不同的实体，那么这两个作用域可能会重叠。如果重叠，俺么一个实体的作用域（内部作用域）将会严格地在另一个实体的作用域（外部作用域）之前结束。在内部作用域中，标识符指派了在内部作用域中声明的实体；在外部作用域所声明的实体在内部作用域中被隐藏（并且不可见）。

5、除非显式地声明，本国际标准使用术语“标识符”来引用某些实体（与语法构造对照起来），它在相关的名字空间中引用该实体，其声明在标识符发生的那点处可见。

6、两个标识符具有相同的作用域，当且仅当它们的作用域在同一点处终结。

7、结构题、联合体以及枚举标签具有就在该标签出现处（在声明此标签的一个类型标识符中）之后开始的作用域。每个枚举常量具有就在一个枚举符列表中其定义枚举符的出现处开始的作用域。任一其它的标识符具有就在其声明符完成之后开始的作用域。

8、作为一个特殊的例子，一个类型名（它不是一个标识符的一个声明）被认作为具有一个作用域，就在此类型名内部的地方开始，此处缺省的标识符会出现，就好比它没有被缺省。