1.11 标识符的作用域

标识符的作用域
一个标识符的作用域（scope）指的是“翻译单元的一部分”，并且在此处，标识符是有意义的。或者，让我们换句话说，标识符的作用域是程序中可以“看到”该标识符的代码部分。作用域的类型由“声明标识符的位置”决定（但卷标标识符是例外，卷标一定具有函数作用域）。有四种可能的作用域：
文件作用域
如果声明标识符的地方位于任何语句块和参数列表之外，那么此标识符就拥有文件作用域。可以在声明后的任何地方（且在翻译单元结束之前）使用此标识符。
语句块作用域
在语句块内声明的标识符具有语句块作用域，但标签是例外。这样的标识符只能出现在从“声明处”到“包含此声明的最小语句块的结尾”。最小的包含语句块常常（但不一定要如此）是某个函数的定义。在C99中，声明不一定要放在函数体内所有的语句之前。在一个函数定义的“头部”内出现的“参数名称”，也具有语句块作用域，而且在整个函数体内都有效。
函数原型作用域
函数原型内的参数名称具有函数原型作用域。这些参数名称在原型外面不重要，所以它们只有注释的意义。第7 章会更进一步解释。
函数作用域
一个标签的作用域一定在该标签所处的函数体内，即使它被放在嵌套的语句块内也是一样。换句话说，可以使用goto语句，从任意点跳到同一个函数内的某个标签处（但是，跳进被嵌套的语句块的做法不好，请看第6 章的细节）。标识符的作用域通常从声明之后开始，然而类型名称，或者结构、联合、枚举类型的小标签，以及枚举常量名称，都是例外：当它们出现在声明中，它们的作用域就立刻开始，所以它们可以在声明中再次被引用（在第10 章中会讨论结构和联合；在第2 章中会讨论枚举类型）。比方说，在下面的结构声明中，结构的最后一个成员next 是一个指针，指向正在声明的结构类型本身：

struct Node { /* ... */
struct Node *next; }; // 定义一个结构类型
void printNode( const struct Node *ptrNode); // 声明一个函数
int printList( const struct Node *first ) // 这是一个函数定义
{
struct Node *ptr = first;
while( ptr != NULL ) {
printNode( ptr );
ptr = ptr->next;
}
}    

在这个程序代码片段中，标识符Node、next、printNode、printList都具有文件作用域。参数ptrNode 具有函数原型作用域，而变量first 和ptr 具有语句块作用域。在既有作用域内的一个嵌套的新声明中，可以重复使用一个标识符，只不过这个新的标识符并没有不同的命名空间。如果真的这么做，那么此新的声明一定会具有语句块作用域或者函数原型作用域，而此语句块作用域或者函数原型作用域一定是外面作用域的子集。在这样的例子中，相同标识符的新声明会将外面的声明隐藏起来，而内部的作用域无法看见外面语句块中所声明的变量或函数。例如，下面的声明是可行的：

doublex; // 声明一个变量x，具有文件作用域
long calc( double x ); // 声明一个新的x，具有函数原型作用域
int main( )
{
long x = calc( 2.5 ); // 声明一个long 变量x，具有语句块作用域
if( x < 0 ) // x 是long 变量
{ float x = 0.0F; // 声明一个新的浮点变量x，具有语句块作用域
/*...*/
}
x *= 2; // x 还是long 变量
/*...*/
}