C核心技术手册（十）

 标识符范围

  标识符的范围即程序所能“看到”标识符的部分，范围的类型通常由你声明变量的地方决定（除过标签，它往往具有函数范围），下面是四种可能的范围：

  文件域：

          如果你在所有的程序块和参数列表这外声明了一个标识符，那么它将具有文件域，声明之后在任意地方使用它直到翻译单元结束。

        块域：

          除过标签，在块中声明的标识符具有块域，你只能在声明它的最小块域中使用它，最小块域通常为一个函数的函数体，在C99中，声明不必放在函数块的最前面，在一个函数中定义的参数名也具有块域，在函数体中有效。

        函数原型域：

            函数原型中的参数名具有函数原型域，因为这些参数名在原型外没有意义，它们往往用做注释，可被忽略。

        函数域：

            标签的范围通常为它所出现在函数块，即使它出现在嵌套的块中，换句话说，你可以使用goto语句跳到同一函数中任意具有此标签的地方(跳进一个嵌套的块中是个不好的主意)。

           一个标识符的范围从它定义之后就开始，但是，结构体，标签，联合体、枚举类型和枚举常量是个例外，它们的范围在声明出现后即开始，所以它们可以在声明本身中再次引用，下面的为一个结构体类型的声明，最后一个成员为结构next,是一个刚声明的结构的指针：

 

 

struct Node { /* ... */ struct Node *next; }; // Define a structure type void printNode( const struct Node *ptrNode); // Declare a function int printList( const struct Node *first ) // Begin a function definition { struct Node *ptr = first; while( ptr != NULL ) { printNode( ptr ); ptr = ptr->next; } }   

 

在这个代码段中，标识符node, next, printNode 和printList均有文件域，参数ptrNode具有文件原型域，变量first和ptr具有块域。

  在一个嵌套中，可以声明一个外部已经声明的标识符，，即使新标识符名称相同，如果你这样做，新标识符将有块或函数原型域，且块域或函数原型域将是一外层域的真子集，在这种场景下，内部标识符隐藏了外部的声明，所以外部声明的变量或函数在内部是不可见的，例如，下面的声明是请允许的：

double x; // Declare a variable x with file scope long calc( double x ); // Declare a new x with function prototype scope int main( ) { long x = calc( 2.5 ); // Declare a long variable x with block scope if( x < 0 ) // Here x refers to the long variable { float x = 0.0F; // Declare a new float variable x with block scope /*...*/ } x *= 2; // Here x refers to the long variable again /*...*/ }

在本例中，long类型的变量x声明在main()中，隐藏了double类型的变量x,因此，在main()中没有办法直接访问double类型的变量x，此外，if条件块中，float型变量x又隐藏了long类型的变量x。