为什么在Linux中大量使用静态变量Static?

文章详细介绍了C语言中static关键字的作用,包括其对局部变量生命周期的影响,以及在Linux中避免名称冲突的应用。同时,对比了C语言的几种存储类型:auto、static、extern、register、const和volatile的特点和用途。

1、静态变量Static的生命周期

普通的局部变量在每次程序执行到函数内部的时候,数值都会被重新初始化,数值会发生变化,不能保持之前的数值。但是在局部变量加上static关键字后,系统在刚上电的时候就已经把带static的局部变量赋初始值了,从此程序每次进入函数内部,都不会初始化带static关键字的局部变量,它会保持最近一次被程序执行更改的数值不变,像全局变量一样。跟全局变量唯一的差别是,带static关键字的局部变量的作用域仅仅在函数内部,而普通全局变量的作用域是整个工程。

2、在Linux中

在Linux中,其底层代码由C语言编写,代码量巨大,难免会产生名称冲突。使用Static可以减少冲突情况的产生。

3、C存储类型auto、static、extern、const、register、volatile的对比:

1、自动存储变量(auto):
特点:

  • 定义的局部变量,只在自己的作用范围内有效;
  • 离开作用域程序内存自动释放,不会发生溢出;
  • 是申明一块临时的变量内存,关键字auto默认省略。

2、静态局部变量(static):
特点:

  • 只在定义它的源文件内有效,其他文件无法访问,即使使用extern声明也是无效的,但是可以在多个文件中定义同一个名字的变量,不会受到影响;
  • 如果没有被用户初始化,编译器赋值为0;
  • 每次调用静态局部变量时,都是上次调用后的值,因为局部变量的值在函数调用结束,不会消失。

3、外部变量(extern):

  • 外部变量,可以跨文件访问;
  • extern只做声明不做定义,外部声明可以多次而定义只能一次。

4、寄存器变量(register):

  • register修饰的变量表示将变量存储在cpu寄存器内;
  • refister修饰的变量只能是局部变量,不能是全局变量,因为寄存器资源有限;
  • register变量必须是cpu所能接受的类型。

5、不可修改变量(const):

  • const的量为一个常量,不能被修改;
  • 使用const时必须对其初始化。

6、易变变量(volatile):

  • volatile提醒编译器它后面所定义的变量随时都有可能改变,因此编译后的程序每次需要存储或读取这个变量的时候,都会直接从变量地址中读取数据,如果没有volatile关键字,则编译器可能优化读取和存储,可能暂时使用寄存器中的值,如果这个变量由别的程序更新了的话,将出现不一致的现象。
### 堆、栈与静态存储区的内存地址关系及布局解析 在进程的地址空间中,堆、栈和静态存储区通常位于不同的地址范围,但它们的具体布局依赖于操作系统、编译器实现以及运行时环境。在某些情况下,通过 `malloc` 分配的内存地址与静态变量的地址相近,这可能引发对内存区域划分的误解。 #### 静态变量的内存分配 静态变量的生命周期贯穿整个程序运行期,其存储空间在程序编译阶段就已经确定,并位于静态存储区。该区域通常紧随代码段和只读数据段之后,位于进程地址空间的低地址部分。静态变量的地址在程序运行期间保持不变,且不会随着函数调用栈的展开与收缩而变化[^1]。 #### 堆区的内存分配 堆区用于动态内存分配,如通过 `malloc` 或 `new` 申请的内存。在大多数系统中,堆区的地址从低向高增长,初始时堆的起始地址通常在静态存储区之后。因此,早期申请的堆内存地址可能与静态变量地址较为接近。随着更多内存的申请,堆地址会逐渐向高地址方向扩展[^2]。 例如,以下代码展示了静态变量和堆内存的地址分布: ```c #include <stdio.h> #include <stdlib.h> int main() { static int static_var = 42; int* heap_var = malloc(sizeof(int)); printf("Static variable address: %p\n", (void*)&static_var); printf("Heap variable address: %p\n", (void*)heap_var); free(heap_var); return 0; } ``` 运行结果中,静态变量的地址可能与堆内存的地址相近,但两者仍属于不同的内存区域。 #### 栈区的内存分配 栈区用于存储函数调用期间的局部变量和函数调用信息。栈的地址通常位于进程地址空间的高地址部分,并随着函数调用的深入向低地址方向增长。因此,局部变量的地址通常远高于堆区和静态存储区的地址[^3]。 #### 内存区域布局与地址相近的原因 在某些系统中,堆区和静态存储区的地址范围相邻,导致 `malloc` 分配的内存地址与静态变量地址相近。这种现象在 32 位系统中尤为常见,因为堆区的起始地址通常位于静态存储区之后,并向上增长[^3]。 然而,随着地址空间布局随机化(ASLR)技术的引入,堆区的起始地址可能在运行时发生变化,使得堆内存地址与静态变量地址的差距变得不确定。此外,某些内存分配策略(如使用 `mmap` 分配大块内存)可能导致堆内存分布在地址空间的高地址区域,从而与栈区的地址接近。 #### 实际内存映射分析 在 Linux 系统中,可以通过 `/proc/self/maps` 文件查看进程的内存映射信息,从而判断地址所属的内存区域。以下是一个示例输出: ``` 00400000-00401000 r-xp 00000000 08:01 123456 /path/to/program 00600000-00601000 r--p 00000000 08:01 123456 /path/to/program 00601000-00602000 rw-p 00001000 08:01 123456 /path/to/program 7ffff7a00000-7ffff7bd6000 r-xp /lib/x86_64-linux-gnu/libc-2.31.so 7ffff7ddb000-7ffff7dde000 rw-p [heap] 7ffff7ffd000-7ffff7fff000 r--p [vvar] 7ffff7fff000-7ffff8000000 r-xp [vdso] 7ffffffde000-7ffffffff000 rw-p [stack] ``` 从上述输出可以看出,静态变量通常位于 `00600000-00602000` 区域,而堆区位于 `7ffff7ddb000-7ffff7dde000`。栈区则位于 `7ffffffde000-7ffffffff000`,地址范围较高。 #### 内存区域布局的变种 在某些系统中,堆区和栈区的地址可能交叉增长,例如堆从低地址向高地址增长,而栈从高地址向低地址增长。这种布局方式有助于提高地址空间的利用率,但也可能导致堆栈溢出等安全问题[^3]。 ###
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值