标签：style blog http color 使用 strong
上一节已介绍了变量的一种属性——作用域，作用域是从空间的角度来分析的，分为全局变量和局部变量。
变量还有另一种属性——存储期（storage duration，也称生命期）。存储期是指变量在内存中的存在期间。这是从变量值存在的时间角度来分析的。存储期可以分为静态存储期（static storage duration）和动态存储期（dynamic storage duration）。这是由变量的静态存储方式和动态存储方式决定的。
所谓静态存储方式是指在程序运行期间，系统对变量分配固定的存储空间。而动态存储方式则是在程序运行期间，系统对变量动态地分配存储空间。
先看一下内存中的供用户使用的存储空间的情况。这个存储空间可以分为三部分，即：
数据分别存放在静态存储区和动态存储区中。全局变量全部存放在静态存储区中，在程序开始执行时给全局变量分配存储单元，程序执行完毕就释放这些空间。在程序执行过程中它们占据固定的存储单元，而不是动态地进行分配和释放。
在动态存储区中存放以下数据：
①函数形式参数。在调用函数时给形参分配存储空间。
②函数中的自动变量（未加static声明的局部变量，详见后面的介绍）。
③函数调用时的现场保护和返回地址等。
对以上这些数据，在函数调用开始时分配动态存储空间，函数结束时释放这些空间。在程序执行过程中，这种分配和释放是动态的，如果在一个程序中两次调用同一函数，则要进行两次分配和释放，而两次分配给此函数中局部变量的存储空间地址可能是不相同的。
如果在一个程序中包含若干个函数，每个函数中的局部变量的存储期并不等于整个程序的执行周期，它只是整个程序执行周期的一部分。根据函数调用的情况，系统对局部变量动态地分配和释放存储空间。
在C++中变量除了有数据类型的属性之外，还有存储类别（storage class） 的属性。存储类别指的是数据在内存中存储的方法。存储方法分为静态存储和动态存储两大类。具体包含4种：自动的（auto）、静态的（static）、寄存器的（register）和外部的（extern）。根据变量的存储类别，可以知道变量的作用域和存储期。
函数中的局部变量，如果不用关键字static加以声明，编译系统对它们是动态地分配存储空间的。函数的形参和在函数中定义的变量（包括在复合语句中定义的变量）都属此类。在调用该函数时，系统给形参和函数中定义的变量分配存储空间，数据存储在动态存储区中。在函数调用结束时就自动释放这些空间。如果是在复合语句中定义的变量，则在变量定义时分配存储空间，在复合语句结束时自动释放空间。因此这类局部变量称为自动变量（auto variable）。自动变量用关键字auto作存储类别的声明。例如：
int f（int a） //定义f函数，ａ为形参 {auto int b,c=3; //定义ｂ和ｃ为整型的自动变量 ┆ ｝
存储类别auto和数据类型int的顺序任意。关键字auto可以省略，如果不写auto，则系统把它默认为自动存储类别，它属于动态存储方式。程序中大多数变量属于自动变量。本书前面各章所介绍的例子中，在函数中定义的变量都没有声明为auto，其实都默认指定为自动变量。在函数体中以下两种写法作用相同：
① auto int b,c=3；
② int b,c=3；
有时希望函数中的局部变量的值在函数调用结束后不消失而保留原值，即其占用的存储单元不释放，在下一次该函数调用时，该变量保留上一次函数调用结束时的值。这时就应该指定该局部变量为静态局部变量（static local variable）。
#include <iostream> using namespace std; int f（int a） //定义f函数，a为形参 {auto int b=0; //定义b为自动变量 static int c=3; //定义c为静态局部变量 b=b+1; c=c+1; return a+b+c; } int main（ ） {int a=2,i; for（i=0;i<3;i++） cout<<f（a）<<″ ″; cout<<endl; return 0; }
对静态局部变量的说明：
（1） 静态局部变量在静态存储区内分配存储单元。在程序整个运行期间都不释放。而自动变量（即动态局部变量）属于动态存储类别，存储在动态存储区空间（而不是静态存储区空间），函数调用结束后即释放。
（2） 为静态局部变量赋初值是在编译时进行值的，即只赋初值一次，在程序运行时它已有初值。以后每次调用函数时不再重新赋初值而只是保留上次函数调用结束时的值。而为自动变量赋初值，不是在编译时进行的，而是在函数调用时进行，每调用一次函数重新给一次初值，相当于执行一次赋值语句。
(3） 如果在定义局部变量时不赋初值的话，对静态局部变量来说，编译时自动赋初值0（对数值型变量）或空字符（对字符型变量）。而对自动变量来说，如果不赋初值，则它的值是一个不确定的值。这是由于每次函数调用结束后存储单元已释放，下次调用时又重新另分配存储单元，而所分配的单元中的值是不确定的。
（4） 虽然静态局部变量在函数调用结束后仍然存在，但其他函数是不能引用它的，也就是说，在其他函数中它是“不可见”的。
在什么情况下需要用局部静态变量呢？
（1） 需要保留函数上一次调用结束时的值。例如可以用下例中的方法求ｎ！。
例 : 输出１~５的阶乘值（即1！,2！,3！,4！,5！）。
#include <iostream> using namespace std; int fac（int）; //函数声明 int main（ ） {int i; for（i=1;i<=5;i++） cout<<i<<″!=″<<fac（i）<<endl; return 0; } int fac（int n） {static int f=1; //f为静态局部变量，函数结束时f的值不释放 f=f*n; //在f原值基础上乘以n return f; }
运行结果为
1!=1 2!=2 3!=6 4!=24 5!=120
每次调用fac（i），就输出一个i，同时保留这个i！的值，以便下次再乘（i+1）。
（2） 如果初始化后，变量只被引用而不改变其值，则这时用静态局部变量比较方便，以免每次调用时重新赋值。
但是应该看到，用静态存储要多占内存，而且降低了程序的可读性，当调用次数多时往往弄不清静态局部变量的当前值是什么。因此，如不必要，不要多用静态局部变量。
一般情况下，变量的值是存放在内存中的。当程序中用到哪一个变量的值时，由控制器发出指令将内存中该变量的值送到CPU中的运算器。经过运算器进行运算，如果需要存数，再从运算器将数据送到内存存放。如图 所示。
为提高执行效率，C++允许将局部变量的值放在CPU中的寄存器中，需要用时直接从寄存器取出参加运算，不必再到内存中去存取。这种变量叫做寄存器变量，用关键字register作声明。例如，可以将例 中的fac函数改写如下：
int fac（int n） {register int i,f=1; //定义i和f是寄存器变量 for（i=1;i<=n;i++） f=f*i; return f; }
定义f和i是存放在寄存器的局部变量，如果n的值大，则能节约许多执行时间。
在程序中定义寄存器变量对编译系统只是建议性（而不是强制性）的。当今的优化编译系统能够识别使用频繁的变量，自动地将这些变量放在寄存器中。
全局变量（外部变量）是在函数的外部定义的，它的作用域为从变量的定义处开始，到本程序文件的末尾。在此作用域内，全局变量可以为本文件中各个函数所引用。编译时将全局变量分配在静态存储区。
有时需要用extern来声明全局变量，以扩展全局变量的作用域。
1. 在一个文件内声明全局变量
如果外部变量不在文件的开头定义，其有效的作用范围只限于定义处到文件终了。如果在定义点之前的函数想引用该全局变量，则应该在引用之前用关键字extern对该变量作外部变量声明，表示该变量是一个将在下面定义的全局变量。有了此声明，就可以从声明处起，合法地引用该全局变量，这种声明称为提前引用声明。
例 用extern对外部变量作提前引用声明，以扩展程序文件中的作用域。
1 #include <iostream> 2 using namespace std; 3 int max（int,int）; //函数声明 4 void main（ ） 5 {extern int a,b; //对全局变量a,b作提前引用声明 6 cout<<max（a,b）<<endl; 7 } 8 int a=15,b=-7; //定义全局变量a,b 9 int max（int x,int y） 10 {int z; 11 z=x>y?x：y; 12 return z; 13 }
运行结果如下：
15
在main后面定义了全局变量a，b，但由于全局变量定义的位置在函数main之后，因此如果没有程序的第5行，在main函数中是不能引用全局变量a和b的。现在我们在main函数第2行用extern对a和b作了提前引用声明，表示a和b是将在后面定义的变量。这样在main函数中就可以合法地使用全局变量a和b了。如果不作extern声明，编译时会出错，系统认为a和b未经定义。一般都把全局变量的定义放在引用它的所有函数之前，这样可以避免在函数中多加一个extern声明。
如果一个程序包含两个文件，在两个文件中都要用到同一个外部变量num，不能分别在两个文件中各自定义一个外部变量num。正确的做法是：在任一个文件中定义外部变量num，而在另一文件中用extern对num作外部变量声明。即
extern int num;
编译系统由此知道num是一个已在别处定义的外部变量，它先在本文件中找有无外部变量num，如果有，则将其作用域扩展到本行开始（如上节所述），如果本文件中无此外部变量，则在程序连接时从其他文件中找有无外部变量num，如果有，则把在另一文件中定义的外部变量num的作用域扩展到本文件，在本文件中可以合法地引用该外部变量num。
分析下例：
file1.cpp file2.cpp extern int a,b; int a=3,b=4; int main（ ） ┆ {cout<<a<<″,″<<b<<endl; return 0; }
用extern扩展全局变量的作用域，虽然能为程序设计带来方便，但应十分慎重，因为在执行一个文件中的函数时，可能会改变了该全局变量的值，从而会影响到另一文件中的函数执行结果。
有时在程序设计中希望某些外部变量只限于被本文件引用，而不能被其他文件引用。这时可以在定义外部变量时加一个static声明。例如：
file1.cpp file2.cpp static int a=3; extern int a; int main （ ） int fun （int n） { { ┆ ┆ a=a*n; ┆ } }
这种加上static声明、只能用于本文件的外部变量（全局变量）称为静态外部变量。这就为程序的模块化、通用性提供了方便。如果已知道其他文件不需要引用本文件的全局变量，可以对本文件中的全局变量都加上static，成为静态外部变量，以免被其他文件误用。
需要指出，不要误认为用static声明的外部变量才采用静态存储方式（存放在静态存储区中），而不加static的是动态存储（存放在动态存储区）。实际上，两种形式的外部变量都用静态存储方式，只是作用范围不同而已，都是在编译时分配内存的。
一个变量除了数据类型以外，还有3种属性：
（1） 存储类别 C++允许使用auto,static,register和extern 4种存储类别。
（2） 作用域 指程序中可以引用该变量的区域。
（3） 存储期 指变量在内存的存储期限。
以上3种属性是有联系的，程序设计者只能声明变量的存储类别，通过存储类别可以确定变量的作用域和存储期。
要注意存储类别的用法。auto, static和register 3种存储类别只能用于变量的定义语句中，如
auto char c; //字符型自动变量，在函数内定义 static int a; //静态局部整型变量或静态外部整型变量 register int d; //整型寄存器变量，在函数内定义 extern int b; //声明一个已定义的外部整型变量
说明： extern只能用来声明已定义的外部变量，而不能用于变量的定义。只要看到extern，就可以判定这是变量声明，而不是定义变量的语句。
下面从不同角度分析它们之间的联系。
● 局部变量
自动变量,即动态局部变量（离开函数,值就消失）
静态局部变量（离开函数,值仍保留）
寄存器变量（离开函数,值就消失）
形式参数（可以定义为自动变量或寄存器变量）
● 全局变量
静态外部变量（只限本文件引用）
外部变量（即非静态的外部变量,允许其他文件引用）
●动态存储
自动变量（本函数内有效）
寄存器变量（本函数内有效）
形式参数
● 静态存储
静态局部变量（函数内有效）
静态外部变量（本文件内有效）
外部变量（其他文件可引用）
● 内存中静态存储区
静态局部变量
静态外部变量（函数外部静态变量）
外部变量（可为其他文件引用）
● 内存中动态存储区： 自动变量和形式参数
● CPU 中的寄存器： 寄存器变量
4.16
4.17:
如果一个变量在某个文件或函数范围内是有效的，则称该文件或函数为该变量的作用域，在此作用域内可以引用该变量，所以又称变量在此作用域内“可见”，这种性质又称为变量的可见性，例如图4.16中变量a、b在函数f1中可见。
如果一个变量值在某一时刻是存在的，则认为这一时刻属于该变量的存储期，或称该变量在此时刻“存在”。书中表4.２表示各种类型变量的作用域和存在性的情况。
可以看到自动变量和寄存器变量在函数内的可见性和存在性是一致的。在函数外的可见性和存在性也是一致的。静态局部变量在函数外的可见性和存在性不一致。静态外部变量和外部变量的可见性和存在性是一致的。
一个函数一般由两部分组成：
（1）声明部分；
（2）执行语句。
声明部分的作用是对有关的标识符（如变量、函数、结构体、共用体等）的属性进行说明。对于函数，声明和定义的区别是明显的，在本章4.4.3节中已说明，函数的声明是函数的原型，而函数的定义是函数功能的确立。对函数的声明是可以放在声明部分中的，而函数的定义显然不在函数的声明部分范围内，它是一个文件中的独立模块。
对变量而言，声明与定义的关系稍微复杂一些。在声明部分出现的变量有两种情况：一种是需要建立存储空间的（如int a; ）；另一种是不需要建立存储空间的（如extern int a；）。前者称为定义性声明（defining declaration），或简称为定义（definition）。后者称为引用性声明（referenceing declaration）。广义地说，声明包括定义，但并非所有的声明都是定义。对“int a;” 而言，它是定义性声明，既可说是声明，又可说是定义。而对“extern int a;” 而言，它是声明而不是定义。一般为了叙述方便，把建立存储空间的声明称为定义，而把不需要建立存储空间的声明称为声明。显然这里指的声明是狭义的，即非定义性声明。
例如：
int main（ ） {extern int a; //这是声明不是定义。声明a是一个已定义的外部变量 … } int a; //是定义，定义a为整型外部变量
外部变量定义和外部变量声明的含义是不同的。外部变量的定义只能有一次，它的位置在所有函数之外，而同一文件中的外部变量的声明可以有多次，它的位置可以在函数之内，也可以在函数之外。系统根据外部变量的定义分配存储单元。对外部变量的初始化只能在定义时进行，而不能在声明中进行。所谓声明，其作用是向编译系统发出一个信息，声明该变量是一个在后面定义的外部变量，仅仅是为了提前引用该变量而作的声明。extern只用作声明，而不用于定义。
用static来声明一个变量的作用有二：
（1）对局部变量用static声明，使该变量在本函数调用结束后不释放，整个程序执行期间始终存在，使其存储期为程序的全过程。
（2）全局变量用static声明，则该变量的作用域只限于本文件模块（即被声明的文件中）。
请注意，用auto，register，static声明变量时，是在定义变量的基础上加上这些关键字，而不能单独使用。如“static a;”是不合法的，应写成“static int a;”。
标签：style blog http color 使用 strong
原文地址：http://www.cnblogs.com/mjorcen/p/3842682.html
