c语言 static_随时随地学习C语言之5—static声明的变量有何特殊之处？

上文介绍了《随时随地学习C语言之4—#和##运算符怎么用？》，本文讨论下C语言中static修饰的变量有何特殊之处？

要想搞明白static修饰的作用，首先要弄明白C语言的内存空间分布有那几块。通常情况下，我们编写的C语言的可执行程序，在内存中分为两个段，分别为：代码段、数据段，其中数据段又可详细分为：静态存储区、bss区、堆区和栈区。而我们使用static修饰符声明的变量，不论是局部的，还是全局的，如果定义时赋了初值(非0)，便被分配到静态存储区；如果未赋初值或初值为0，便会被存放到bss区中。之前很多教材里写着函数内部的变量属于局部变量，存放在栈上。这话是不严谨的，函数内部的变量是局部变量不假，但是使用static修饰的局部变量，却是存储在静态存储区或者bss区的(但变量访问的权限，也就是变量的作用域没有变化)。

静态存储区是一个比较特殊的区域，主要用来存储被初始化(初值非0)的全局变量、静态变量及常量(如字符串)。bss区是存放那些没有赋初值或初值为0的全局变量、静态变量的。只要对变量(无论是全局变量还是局部变量)进行了定义，且未赋初值，编译器会自动为该变量在bss区开辟空间，并且赋初值为0(实际上，为了减小代码空间，bss段是运行时由操作系统负责根据链接信息临时为程序开辟空间的；嵌入式中操作系统启动之前，没有代码为程序开辟空间，就需要使用包含这些bss段的二进制文件即.bin，知道为啥了吧)。下面，我们借助IAR Embedded Workbench For ARM(主要是该软件输出的调试信息详细，便于分析)软件，并通过一段代码来测试一下看看编译器是否是这样“加工”我们的代码的：

注：代码中注释为“//本行为防止编译器优化”的行是为了防止编译器对我们的代码进行优化。现代编译器相当智能，对我们定义但未使用的变量，从节省空间角度考虑，会拒绝为该变量分配内存空间的，其实该功能可以通过命令屏蔽，但是本文我们重点放到代码上，就不使用命令屏蔽了，避免别的朋友在测试的时候找不到。有时候这种“智能”是一种妨碍，我们这里使用一下每个变量，也可以“绕过”编译器的优化。

进入菜单：右击工程名称—Options—C/C++ Compiler—list，将下列选项选中：

上述配置可以在编译时输出调试列表信息及汇编诊断代码等。下面我们看下输出为.s的汇编代码文件：

第63—67行解释为：在data段(此处指静态存储区)开辟1个4字节的内存空间，命名为global_1。

第69—73行解释为：在bss段开辟4个1字节的内存空间，命名为global_2。

切换到.lst链接文件也可以看到变量所处内存空间和对齐方式：

.map文件：

第31行解释了下数据段的空间范围，59行解释了在data段的0x20000000地址有一个已经初始化(inited)占空间4个字节的变量(131行说明了该变量其实是global_1)；60行解释了在bss段的0x20000004地址有一个已经初始化(inited)占空间4字节的变量(132行说明了该变量其实是global_2，这也证明了本文开头所说：未赋初值的全局变量编译器自动赋初值，即inited)。

在.lst文件中：

第132、133、135、136四行标出的变量便是生命周期为整个程序运行周期的四个变量(2个全局变量、2个静态局部变量)。

通过上面的解释，各位童鞋对static修饰符的作用有一个初步认识就行，本文介绍的比较简陋，一些知识的跨度也比较大，后续本号会退出一篇详细介绍static修饰符对变量、函数作用域、属性的影响，并从内存地址层面查看下各个段的分布。建议大家在使用static修饰符时，谨记两点：函数形参不允许被static修饰；malloc分配的内存也不可被static修饰。