C和指针 3.9做用域、存储类型示例

 1 int             a = 5;
 2 extern int      b;
 3 static int      c;
 4 
 5 int d( int e )
 6 {
 7     int             f = 15;
 8     register int    b;
 9     static int      g = 20;
10     extern int      a;
11     ...
12     {
13         int         e;
14         int         a;
15         extern int  h;
16         ...
17     }
18     ...
19     {
20         int         x;
21         int         e;
22         ...
23     }
24     ...
25 }
26 static int i()
27 {
28     ...
29 }
30 ...

　　属于文件做用域的声明在缺省状况下为external连接属性，因此第1行的a的连接属性为external。

　　若是b的定义在其余地方，第2行的external关键字在技术上并不是必需，但在风格上倒是圆环这个关键字为好。

　　第3行的static关键字修改了c的缺省连接属性，把它改成为internal。

　　声明了变量a和b（具备external连接属性）的其余源文件在使用这两个变量时实际所访问的是声明于此处的两个变量。可是变量c只能由这个源文件访问，由于它具备internal连接属性。

　　变量a、b、c的存储类型为静态，表示它们并非存储于堆栈中。所以，这些变量在程序执行以前建立，并一块儿保持它们的值，直到程序结束。它程序开始执行时，这是a将初始化为5。

　　这些变量的做用域一直延伸到这个源文件结束为止，但第7行和第13行声明的局部变量a和b在那部分程序中将隐藏同名的静态变量。所以，这3个变量的做用域为：

　　a 第1到12行， 第17到29行

　　b 第2到第6行， 第25到29行

　　c 第3到第29行

　　第4行声明了2个标识符。d的做用域从第4行直到文件结束。函数d的定义对于这个源文件中任何之后想要调用 它的函数而言直到了函数原型的做用。做为函数名，d在缺省状况下具备external连接属性，因此其余源文件只有在文件上存在d的原型，就能够调用d。若是咱们将函数声明为static，就能够把它的连接属性从external为改成internal，但这样作将使其余源文件不能访问这个函数。对于函数而言，存储类型并非问题，由于代码老是存储于静态内存中。

　　参数e不具备连接属性，因此咱们只能从函数内部经过名字访问它。它具备自动存储类型，因此它在函数被调用时被创到建，当函数返回时消失。因为局部变量冲突，它的做用域限于第6到11行，第17到19行以及第23到24行。

　　第6到8行声明局部变量，因此它们的做用域到函数结束为止。它们不具备连接属性，因此它们不能在函数的外部经过名字访问（这是它们称为局部变量的缘由）。f的存储类型是自动，当函数每次被调用时，它经过隐匿赋值被初始化为。b的存储类型是寄存器类型，因此它的初始值是垃圾。g的存储类型是静态，因此它在程序的整个执行过程当中一直存在。当程序开始执行时，它被初始化为20。当函数每次被调用时，它并不会被从新初始化。

　　第9行的声明并不须要。这个代码块位于第1行声明的做用域以内。

　　第12 和 13行为代码块声明局部变量。它们都具备自动存储类型，不具备连接属性，它们的做用域延伸到第16行。这些变量和先前声明的a和e不一样，并且因为名字冲突，在这个代码块中，之前声明的同名变量是不能被访问的。

　　第14行使全局变量h在这个代码块内能够被访问。它具备external连接属性，存储于静态内存中。这是惟一一个必须使用external关键字的声明，若是没有它，h将变成另外一个局部变量。

　　第19行和20行用于建立局部变量（自动、无连接属性、做用域限于本代码块）。这个e和参数e是不一样的变量，它和第12行声明的e也不相同。在这个代码块中，从第11行到18行并没有嵌套，因此编译器可使用相同的内存来存储两个代码块中不一样的变量e。若是你想让这两个代码块的的有表示同一个变量，那么你就不该该把它声明为局部变量。

　　最后，第25行声明了函数i，它具备静态连接属性。静态连接属性能够它防止它被这个源文件以外的任何函数调用。事实上，其余的源文件也可能声明它本身的函数i，它与这个源文件的i是不一样的函数。i的做用域从它声明的位置直到这个源文件结束。函数d不能够调用函数i，由于d以前不存在i的原型。

 

　　具备external连接属性的实体在其余语言的术语里称为全局实体，因此源文件中的全部函数都可以被访问它。只要变量并不是声明于代码块或函数定义内部，它在缺省状况下的连接属性即为external。若是一个变量声明于代码块内部，在它前面添加external关键字将使它所引用的是全局变量而非局部变量。

　　具备external连接属性的实体老是具备静态存储类型。全局变量在程序开始执行前建立，并在程序整个执行过程当中始终存在。从属于函数的局部变量在函数开始执行时建立，在函数执行完毕后销毁，但用于执行函数的机器指令在程序的生命周期内一直存在。

　　局部变量由函数内部使用，不能被其余函数经过名字引用。它在缺省状况下的存储类型为自动，这是基于两个缘由：其一，当这些变量须要时才为它们分配存储，这样能够减小内存的总需求量。其二，在堆栈上为它们分配存在可能有效地实现递归。若是你以为让变量的值在函数的屡次调用中始终保持原先的值很是重要的话，你能够修改它的存储类型，把它从自动变量改成静态变量。

做用域、连接属性和存储类型总结

变量类型	声明的位置	是否存于堆栈	做用域	若是声明为static
全局	全部代码块以外	否	从声明处到文件尾	不容许从其余源文件访问
局部	代码块起始处	是	整个代码块	变量不存储于堆栈中，它的值在程序整个执行期一块儿保持
形式参数	函数头部	是	整个函数	不容许