局部变量

在一个函数内部定义的变量是内部变量，它只在本函数范围内有效，也就是说只有在本函数内才能使用它们，在此函数以外是不能使用这些变量的。同样，在复合语句中定义的变量只在本复合语句范围内有效。这称为局部变量(local
variable)。

对局部变量的一些说明：

1) 主函数main中定义的变量(m, n)也只在主函数中有效，不会因为在主函数中定义而在整个文件或程序中有效。主函数也不能使用其他函数中定义的变量。

2) 不同函数中可以使用同名的变量，它们代表不同的对象，互不干扰。例如，在f1函数中定义了变量b和c，倘若在f2函数中也定义变量b和c，它们在内存中占不同的单元，不会混淆。

3) 可以在一个函数内的复合语句中定义变量，这些变量只在本复合语句中有效，这种复合语句也称为分程序或程序块。

4) 形式参数也是局部变量。例如f1函数中的形参a也只在f1函数中有效。其他函数不能调用。

5) 在函数声明中出现的参数名，其作用范围只在本行的括号内。实际上，编译系统对函数声明中的变量名是忽略的，即使在调用函数时也没有为它们分配存储单元。例如：

int max(int a, int b);//函数声明中出现a、b
int max(int x, int y) //函数定义，形参是x、y
{
    cout<<x<<y<<endl; //合法，x、y在函数体中有效
    cout<<a<<b<<endl;  //非法，a、b在函数体中无效
}

编译时认为max函数体中的a和b未经定义。

全局变量

前面已介绍，程序的编译单位是源程序文件，一个源文件可以包含一个或若干个函数。在函数内定义的变量是局部变量，而在函数之外定义的变量是外部变量，称为全局变量(global
variable，也称全程变量)。全局变量的有效范围为从定义变量的位置开始到本源文件结束。

在一个函数中既可以使用本函数中的局部变量，又可以使用有效的全局变量。

对全局变量的一些说明：

1) 设全局变量的作用是增加函数间数据联系的渠道。

2) 建议不在必要时不要使用全局变量，因为：

• 全局变量在程序的全部执行过程中都占用存储单元，而不是仅在需要时才开辟单元。
• 它使函数的通用性降低了，因为在执行函数时要受到外部变量的影响。如果将一个函数移到另一个文件中，还要将有关的外部变量及其值一起移过去。但若该外部变量与其他文件的变量同名，就会出现问题，降低了程序的可靠性和通用性。在程序设计中，在划分模块时要求模块的内聚性强、与其他模块的耦合性弱。即模块的功能要单一(不要把许多互不相干的功能放到一个模块中)，与其他模块的相互影响要尽量少，而用全局变量是不符合这个原则的。
• 一般要求把程序中的函数做成一个封闭体，除了可以通过“实参——形参”的渠道与外界发生联系外，没有其他渠道。这样的程序移植性好，可读性强。
• 使用全局变量过多，会降低程序的清晰性。在各个函数执行时都可能改变全局变量的值，程序容易出错。因此，要限制使用全局变量。

3) 如果在同一个源文件中，全局变量与局部变量同名，则在局部变量的作用范围内，全局变量被屏蔽，即它不起作用。

变量的有效范围称为变量的作用域(scope)。归纳起来，变量有4种不同的作用域、文件作用域(file
scope)、函数作用域(function scope)、块作用域(block scope)和函数原型作用域(function prototype scope)。文件作用域是全局的，其他三者是局部的。

除了变量之外，任何以标识符代表的实体都有作用域，概念与变量的作用域相似。

C++变量的存储类别（动态存储、静态存储、自动变量、寄存器变量、外部变量）

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

我们已经了解了变量的作用域。作用域是从空间的角度来分析的，分为全局变量和局部变量。

变量还有另一种属性——存储期(storage
duration，也称生命期)。存储期是指变量在内存中的存在期间。这是从变量值存在的时间角度来分析的。存储期可以分为静态存储期(static storage duration)和动态存储期(dynamic
storage duration)。这是由变量的静态存储方式和动态存储方式决定的。

所谓静态存储方式是指在程序运行期间，系统对变量分配固定的存储空间。而动态存储方式则是在程序运行期间，系统对变量动态地分配存储空间。

先看一下内存中的供用户使用的存储空间的情况。这个存储空间可以分为三部分，即：

• 程序区
• 静态存储区
• 动态存储区

图 4.1

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

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

• 函数形式参数。在调用函数时给形参分配存储空间。
• 函数中的自动变量(未加static声明的局部变量，详见后面的介绍)。
• 函数调用时的现场保护和返回地址等。

对以上这些数据，在函数调用开始时分配动态存储空间，函数结束时释放这些空间。在程序执行过程中，这种分配和释放是动态的，如果在一个程序中两次调用同一函数，则要进行两次分配和释放，而两次分配给此函数中局部变量的存储空间地址可能是不相同的。

如果在一个程序中包含若干个函数，每个函数中的局部变量的存储期并不等于整个程序的执行周期，它只是整个程序执行周期的一部分。根据函数调用的情况，系统对局部变量动态地分配和释放存储空间。

在C++中变量除了有数据类型的属性之外，还有存储类别(storage class) 的属性。存储类别指的是数据在内存中存储的方法。存储方法分为静态存储和动态存储两大类。具体包含4种：自动的(auto)、静态的(static)、寄存器的(register)和外部的(extern)。根据变量的存储类别，可以知道变量的作用域和存储期。

自动变量

函数中的局部变量，如果不用关键字static加以声明，编译系统对它们是动态地分配存储空间的。函数的形参和在函数中定义的变量(包括在复合语句中定义的变量)都属此类。在调用该函数时，系统给形参和函数中定义的变量分配存储空间，数据存储在动态存储区中。在函数调用结束时就自动释放这些空间。如果是在复合语句中定义的变量，则在变量定义时分配存储空间，在复合语句结束时自动释放空间。因此这类局部变量称为自动变量(auto
variable)。自动变量用关键字auto作存储类别的声明。例如：

int f(int a) //定义f函数，a为形参

{

auto int b, c=3; //定义b和c为整型的自动变量

}

存储类别auto和数据类型int的顺序任意。关键字auto可以省略，如果不写auto，则系统把它默认为自动存储类别，它属于动态存储方式。程序中大多数变量属于自动变量。本教程前面各章所介绍的例子中，在函数中定义的变量都没有声明为auto，其实都默认指定为自动变量。在函数体中以下两种写法作用相同：

auto int b, c=3;

int b, c=3;

用static声明静态局部变量

有时希望函数中的局部变量的值在函数调用结束后不消失而保留原值，即其占用的存储单元不释放，在下一次该函数调用时，该变量保留上一次函数调用结束时的值。这时就应该指定该局部变量为静态局部变量(static
local variable)。

【例4.1】静态局部变量的值。

#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;
}

运行结果为：

7 8 9

先后3次调用f函数时，b和c的值如书中表4.1所示。

图 4.2

对静态局部变量的说明：

1. 静态局部变量在静态存储区内分配存储单元。在程序整个运行期间都不释放。而自动变量(即动态局部变量)属于动态存储类别，存储在动态存储区空间(而不是静态存储区空间)，函数调用结束后即释放。
2. 为静态局部变量赋初值是在编译时进行值的，即只赋初值一次，在程序运行时它已有初值。以后每次调用函数时不再重新赋初值而只是保留上次函数调用结束时的值。而为自动变量赋初值，不是在编译时进行的，而是在函数调用时进行，每调用一次函数重新给一次初值，相当于执行一次赋值语句。
3. 如果在定义局部变量时不赋初值的话，对静态局部变量来说，编译时自动赋初值0(对数值型变量)或空字符(对字符型变量)。而对自动变量来说，如果不赋初值，则它的值是一个不确定的值。这是由于每次函数调用结束后存储单元已释放，下次调用时又重新另分配存储单元，而所分配的单元中的值是不确定的。
4. 虽然静态局部变量在函数调用结束后仍然存在，但其他函数是不能引用它的，也就是说，在其他函数中它是“不可见”的。

在什么情况下需要用局部静态变量呢？

1) 需要保留函数上一次调用结束时的值。例如可以用下例中的方法求n!。

【例4.2】输出1~5的阶乘值(即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) 如果初始化后，变量只被引用而不改变其值，则这时用静态局部变量比较方便，以免每次调用时重新赋值。 但是应该看到，用静态存储要多占内存，而且降低了程序的可读性，当调用次数多时往往弄不清静态局部变量的当前值是什么。因此，如不必要，不要多用静态局部变量。

用register声明寄存器变量

一般情况下，变量的值是存放在内存中的。当程序中用到哪一个变量的值时，由控制器发出指令将内存中该变量的值送到CPU中的运算器。经过运算器进行运算，如果需要存数，再从运算器将数据送到内存存放。如图4.3所示。

图 4.3

为提高执行效率，C++允许将局部变量的值放在CPU中的寄存器中，需要用时直接从寄存器取出参加运算，不必再到内存中去存取。这种变量叫做寄存器变量，用关键字register作声明。例如，可以将例4.3中的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声明外部变量

全局变量(外部变量)是在函数的外部定义的，它的作用域为从变量的定义处开始，到本程序文件的末尾。在此作用域内，全局变量可以为本文件中各个函数所引用。编译时将全局变量分配在静态存储区。

有时需要用extern来声明全局变量，以扩展全局变量的作用域。

1) 在一个文件内声明全局变量

如果外部变量不在文件的开头定义，其有效的作用范围只限于定义处到文件终了。如果在定义点之前的函数想引用该全局变量，则应该在引用之前用关键字extern对该变量作外部变量声明，表示该变量是一个将在下面定义的全局变量。有了此声明，就可以从声明处起，合法地引用该全局变量，这种声明称为提前引用声明。

【例4.4】用extern对外部变量作提前引用声明，以扩展程序文件中的作用域。

#include <iostream>
using namespace std;
int max(int,int);  //函数声明
void main( )
{
   extern int a,b;//对全局变量a,b作提前引用声明
   cout<<max(a,b)<<endl;
}
int a=15,b=-7;//定义全局变量a,b
int max(int x,int y)
{
   int z;
   z=x>y?x:y;
   return z;
}

运行结果如下：

15

在main后面定义了全局变量a，b，但由于全局变量定义的位置在函数main之后，因此如果没有程序的第5行，在main函数中是不能引用全局变量a和b的。现在我们在main函数第2行用extern对a和b作了提前引用声明，表示a和b是将在后面定义的变量。这样在main函数中就可以合法地使用全局变量a和b了。如果不作extern声明，编译时会出错，系统认为a和b未经定义。一般都把全局变量的定义放在引用它的所有函数之前，这样可以避免在函数中多加一个extern声明。

2) 在多文件的程序中声明外部变量

如果一个程序包含两个文件，在两个文件中都要用到同一个外部变量num，不能分别在两个文件中各自定义一个外部变量num。正确的做法是：在任一个文件中定义外部变量num，而在另一文件中用extern对num作外部变量声明。即

extern int num;

编译系统由此知道num是一个已在别处定义的外部变量，它先在本文件中找有无外部变量num，如果有，则将其作用域扩展到本行开始(如上节所述)，如果本文件中无此外部变量，则在程序连接时从其他文件中找有无外部变量num，如果有，则把在另一文件中定义的外部变量num的作用域扩展到本文件，在本文件中可以合法地引用该外部变量num。

分析下例：

filel.cpp

extern int a,b;

int main()

{

cout<<a<<","<<b<<end!;

return 0;

}

file2.cpp

int as3,b=4;

┆

在源程序文件ffle2.cpp中定义了整型变量a和b，并賦了初值。在filel.cpp中用extern声明外部变量a和b，未賦值。在编译连接成一个程序后，file2.cpp中的a和b的作用域扩展到file2.cpp文件中，因此main函数中的cout语句输出a和b的值为3和4。

用extern扩展全局变量的作用域，虽然能为程序设计带来方便，但应十分慎重，因为在执行一个文件中的函数时，可能会改变了该全局变量的值，从而会影响到另一文件中的函数执行结果。

用static声明静态外部变量

有时在程序设计中希望某些外部变量只限于被本文件引用，而不能被其他文件引用。这时可以在定义外部变量时加一个static声明。例如：

file1.cpp

static int a=3;

int main ( )

{

┆

}

file2.cpp

extern int a;

int fun (int n)

{

┆

a=a*n;

┆

}

在filel.cpp中定义了一个全局变量a，但它用static声明，因此只能用于本文件，虽然 在cpp文件中用了“extern int a;”，但file2.cpp文件中仍然无法使用filel.cpp中的全局变量a。

这种加上static声明、只能用于本文件的外部变量(全局变量)称为静态外部变量。这就为程序的模块化、通用性提供了方便。如果已知道其他文件不需要引用本文件的全局变量，可以对本文件中的全局变量都加上static，成为静态外部变量，以免被其他文件误用。

需要指出，不要误认为用static声明的外部变量才采用静态存储方式(存放在静态存储区中)，而不加static的是动态存储(存放在动态存储区)。实际上，两种形式的外部变量都用静态存储方式，只是作用范围不同而已，都是在编译时分配内存的。