C语言的存储类别

摘自：http://c.biancheng.net/cpp/html/63.html

动态存储方式与静态动态存储方式

前面已经介绍了，从变量的作用域（即从空间）角度来分，可以分为全局变量和局部变量。

从另一个角度，从变量值存在的作时间（即生存期）角度来分，可以分为 静态存储方式 和动 态存储方式 。

• 静态存储方式：是指在程序运行期间分配固定的存储空间的方式。
• 动态存储方式：是在程序运行期间根据需要进行动态的分配存储空间的方式。

用户存储空间可以分为三个部分：

1. 程序区；
2. 静态存储区；
3. 动态存储区。

全局变量全部存放在静态存储区，在程序开始执行时给全局变量分配存储区，程序行完毕就释放。在程序执行过程中它们占据固定的存储单元，而不动态地进行分配和释放。

动态存储区存放以下数据：

1. 函数形式参数；
2. 自动变量（未加static声明的局部变量）；
3. 函数调用实的现场保护和返回地址。

对以上这些数据，在函数开始调用时分配动态存储空间，函数结束时释放这些空间。

在C语言中，每个变量和函数有两个属性：数据类型和数据的存储类别。

auto变量

函数中的局部变量，如不专门声明为static存储类别，都是动态地分配存储空间的，数据存储在动态存储区中。

函数中的形参和在函数中定义的变量（包括在复合语句中定义的变量），都属此类，在调用该函数时系统会给它们分配存储空间，在函数调用结束时就自动释放这些存储空间。 这类局部变量称为自动变量。自动变量用关键字auto作存储类别的声明。 例如：

1. int f(int a){ /* 定义f函数，a为参数 */
2. auto int b,c=3; /*定义b，c自动变量*/
3. /* …… */
4. }

a是形参，b，c是自动变量，对c赋初值3。执行完f函数后，自动释放a，b，c所占的存储单元。

关键字auto可以省略，auto不写则隐含定为“自动存储类别”，属于动态存储方式。

用static声明局部变量

有时希望函数中的局部变量的值在函数调用结束后不消失而保留原值，这时就应该指定局部变量为“静态局部变量”，用关键字static进行声明。

【例8-15】考察静态局部变量的值。

1. #include
3. int f(int a){
4.     auto int b=0;
5.     static int c=3;
6.     b=b+1;
7.     c=c+1;
8.     return (a+b+c);
9. }
11. int main(void){
12.     int a=2,i;
13.     for(i=0;i<3;i++)
14.         printf("%d\n",f(a));
15. return 0;
16. }

对静态局部变量的说明：

1. 静态局部变量属于静态存储类别，在静态存储区内分配存储单元。在程序整个运行期间都不释放。而自动变量（即动态局部变量）属于动态存储类别，占动态存储空间，函数调用结束后即释放。
2. 静态局部变量在编译时赋初值，即只赋初值一次；而对自动变量赋初值是在函数调用时进行，每调用一次函数重新给一次初值，相当于执行一次赋值语句。
3. 如果在定义局部变量时不赋初值的话，则对静态局部变量来说，编译时自动赋初值0（对数值型变量）或空字符（对字符变量）。而对自动变量来说，如果不赋初值则它的值是一个不确定的值。

【例8-16】打印1到5的阶乘值。

1. #include
3. int fac(int n){
4.     static int f=1;
5.     f=f*n;
6.     return f;
7. }
9. int main(void){
10.     int i;
11.     for(i=1;i<=5;i++)
12.         printf("%d!=%d\n",i,fac(i));
13.     return 0;
14. }

register变量

为了提高效率，C语言允许将局部变量得值放在CPU中的寄存器中，这种变量叫“寄存器变量”，用关键字register作声明。

【例8-17】使用寄存器变量。

1. #include
3. int fac(int n){
4. register int i,f=1;
5. for(i=1;i<=n;i++)
6. f=f*i;
7. return f;
8. }
10. int main(void){
11. int i;
12. for(i=0;i<=5;i++)
13. printf("%d!=%d\n",i,fac(i));
14. return 0;
15. }

对寄存器变量的几点说明：

• 只有局部自动变量和形式参数可以作为寄存器变量；
• 一个计算机系统中的寄存器数目有限，不能定义任意多个寄存器变量；
• 局部静态变量不能定义为寄存器变量。

用extern声明外部变量

外部变量（即全局变量）是在函数的外部定义的，它的作用域为从变量定义处开始，到本程序文件的末尾。如果外部变量不在文件的开头定义，其有效的作用范围只限于定义处到文件终了。 如果在定义点之前的函数想引用该外部变量，则应该在引用之前用关键字extern对该变量作“外部变量声明”。 表示该变量是一个已经定义的外部变量。有了此声明，就可以从“声明”处起，合法地使用该外部变量。

【例8-18】用extern声明外部变量，扩展程序文件中的作用域。

1. #include
3. int max(int x,int y){
4. int z;
5. z=x>y?x:y;
6. return z;
7. }
9. int main(void){
10. extern A,B;
11. printf("%d\n",max(A,B));
12. return 0;
13. }
15. int A=13, B=-8;

说明：在本程序文件的最后1行定义了外部变量A、B，但由于外部变量定义的位置在函数main之后，因此本来在main函数中不能引用外部变量A、B。现在我们在main函数中用extern对A和B进行“外部变量声明”，就可以从“声明”处起，合法地使用该外部变量A和B。