在C/C++中,常常有全局变量,局部变量,临时变量,静态变量等等说法。同时也有static修饰符的不同用法。这往往会对初学编程的人带来困扰。其实在这些说法当中,有些概念虽然叫法不同,但意思却有相互的包含关系。而有一些概念,又暗含了另一些变量属性。
这里,我将从“生存期”和“作用域”两个维度对变量进行分类。如下:
按作用域分:全局变量 VS 局部变量
按生存期分:静态变量 VS 自动变量
全局变量也称为外部变量,它是在函数外部定义的变量。 它不属于哪一个函数,它属于一个源程序文件。其作用域是整个源程序。【引自百度】。而局部变量,则是相对“全局变量”而言的,定义在函数内部的变量。其中“全局变量”是放在静态存储区的,是“静态变量”,因此常有“静态全局变量”的说法。尽管局部变量和自动变量所属分类不同,但往往“局部变量”就是“自动变量”, “自动变量”就是“局部变量”。
似乎本文到此就可以结束了。但事实上,故事还没完。在C/C++中,我们还可以通过“存储类型”修饰符(如static)改变变量的“生存期”。也就是说,局部变量也能是一个静态变量。这个时候,“局部静态变量”就不能再被称为“自动变量”了。
此外,全局变量的“全局”二字,往往只是在“当前文件”内全局可见,其定义并没有规定是否能被同一个工程的其他源文件访问(当然,在其他源文件中需要用extern声明才可以)。
问题的关键,就在于static修饰符的不同语义。
当它修饰的是一个局部变量的时候,它的意思是改变这个局部变量的存储类别,亦即改变其【生存期】。
当它修饰的是一个全局变量的时候,它的意思是改变这个变量的【作用域】——即限制其作用域为本文件内,在其他源文件内不可见。
上述关于关于变量的分类的图示关系如下:
下面是具体的代码分析分析。
static int a1 = 10;
int a2 = 20;
func()
{
static int b = 30;
int c = 40;
}
在上述代码中,a1、a2都是全局变量,而且也都是静态变量。程序运行时都存储在“静态存储区”内。但a1、a2不同的地方在于,a1只能能够在本源文件内使用,a2则可以被本文件之外的其他源文件引用(需要配合使用extern声明变量)。
b、c都是局部变量,也都只能在func函数内使用。他们的不同在于,每次调用func函数时,c都将重新初始化,其对应的内存每次都可能不一样。而b则只会在第一次调用func函数时初始化,且每次调用的时候b对应的都是相同的内存空间——它也是存储在“静态存储区”的。