C程序内存分布及static变量
- C语言中程序的内存分布 [🔗1](https://www.cnblogs.com/miaoxiong/p/11021827.html)[🔗2](https://blog.csdn.net/chen1083376511/article/details/54930191)
- c/c++编译连接后二进制文件的存储
- 动静态存储方式和存储区
- 动态存储方式
- 动态存储区
- 静态存储方式
- 静态存储区
- static修饰[🔗](https://blog.csdn.net/stoic163/article/details/104711574)
- static修饰的全局变量
- static修饰的局部变量
- static修饰的函数
- 总结
- 存储说明符[🔗](https://www.cnblogs.com/Natsumeno/p/14499173.html)
C语言中
static
类型表示“静态”或者“全局”的意思,用来修饰变量或函数。经其修饰过的变量或函数作用域或存储域会发生变化。
C语言中程序的内存分布 🔗1🔗2
c/c++编译连接后二进制文件的存储
-
代码段(text段)-- 可执行指令构成,程序在目标文件或内存中的一部分。通常只读,放置程序突发性的修改。
-
已初始化数据段(data段)-- 占程序虚拟地址空间一部分,包含全局变量、静态变量(程序负责初始化这些变量)。 不是只读,运行时变量值可以变动。可细分为初始化只读区及初始化可读写区。
//存储在初始化可读写区 全局字符串 char s[] = "hello world"; 全局变量 int debug = 1; 静态变量 static int i = 10; //字符串"hello world"存储在初始化只读区 string指针存储在初始化可读写区 常量修饰 const char* string = "hello world";
-
未初始化数据段(bss段)-- 段内的数据在程序开始执行之前被内核初始化为0值,通常开始于已初始化数据段的末尾处。段内包含初始化为0的全局变量/静态变量以及源码中未显示进行初始化的变量。
static int i; int j;
-
栈(stack) – 栈存储着自动变量以及每次函数调用时保存的信息,自顶向下增长;栈是属于线程的,每一个线程都有一个自己的栈。
-
堆(heap)-- 堆空间起始于bss段的末尾,并向高地址处生长。通常用作动态内存分配,通常由malloc realloc free管理,在一个进程中,堆空间被进程内所有的共享库及动态加载模块所共享。
进程运行时的典型内存布局
动静态存储方式和存储区
动态存储方式
==程序运行期间根据需要进行动态的分配存储空间的方式。==动态存储变量在程序执行过程中,使用它时才分配存储单元,使用完后立即释放。例如函数的形式参数,函数定义时并不分配存储单元,函数调用时才分配。调用结束后立即释放。
动态存储区
- 堆和栈
- 局部自动变量
- 自动变量(未加static声明的局部变量)(3,4??)
- 函数调用时的现场保护和返回地址
- 动态变量(heap里由new/malloc分配的空间,声明周期到free结束)
静态存储方式
程序编译期间分配固定的存储空间的方式。
在变量定义时就分定存储单元并一直保持不变, 直至整个程序结束。全局变量,静态变量等就属于此类存储方式。
静态存储区
包括常量、常变量(const 变量)、静态变量、全局变量等。
static修饰🔗
static修饰的全局变量
在全局变量之前加上关键字static,全局变量被定义为一个全局静态变量。
- 内存中的位置:静态存储区,在整个程序运行期间都都行
- 初始化:未经初始化的全局静态变量会被程序自动初始化未0(未初始化的自动对象的值是任意的)
- 作用域:全局静态变量在声明它的文件外是不可见的,从定义之处开始到文件结尾
- 用处:不会被其他文件访问修改,其他文件可以使用相同名字的变量不会发生冲突
注:static修饰全局变量时,改变了全局变量的作用域(声明它的文件之外是不可见的),不过没有改变它的存放位置,还是在静态存储区中。
static修饰的局部变量
局部变量之前加上关键字static,局部变量被定义未一个局部静态变量。
- 内存中的位置:静态存储区
- 初始化:未经初始化的局部静态变量会被程序自动初始化为0
- 作用域:仍未局部作用域,在定义它的函数或语句块从定义开始到函数或语句块结束,作用域结束
注: 特点是用static修饰局部变量改变了其存储位置,从栈中变到了静态存储区,虽然作用域仍然为局部作用域,但是在离开作用域后没有被销毁,仍然存留在内存中,直到程序结束,当该函数被多次调用时可以再次访问,下次函数被调用时,可以访问最近一次被修改后的值。应该是这样哈。
static修饰的函数
在函数返回类型前加static,函数被定义为静态函数。函数的定义和声明默认是extern的静态函数只在声明其的文件中可见,不能被其他文件所用。因此文件内部调用的函数,可以定义为static的,如果有头文件也无需在头文件声明。有h文件和c文件的模块,开放给外部的接口函数才需要在h文件中声明。
- 用处:其他文件中可以定义相同名字的函数,不会发生冲突,静态函数不能被其他文件所用。
总结
- 隐藏
- 保持变量内容持久,存储在静态数据区的变量会在程序刚开始运行时完成初始化,也是唯一一次初始化。共有两种变量存在静态存储区:全局变量和静态变量。不过静态变量可以控制可见范围。不过对于对局部变量添加static的修饰则就是为了让他保持仅是局部作用域但是局部作用域出了之后变量不被销毁>。
- 默认初始化为0,全局变量也具备这一属性。
存储说明符🔗
四种存储类别:auto
register
extern
static
两种存储期:自动存储期(auto
register
) 静态存储期(extern
static
)
-
auto:自动存储期变量在进入声明该变量的程序块时被建立,它在该程序块活动时存在,退出该程序块时撤销(消失)。
-
register:存储在CPU内部,而不是存在内存【需要内存寻址访问】,可以提高效率。该变量作为一个寄存器变量,让该变量的访问速度达到最快。循环中的变量需要被频繁使用时, 可以声明为register类型。
限制:无法使用
&
获取变量地址;必须是一个单个值,长度应小于等于整形长度;局部静态变量不能定义为寄存器变量。 -
extern:声明一个全局变量/外部变量, 作用在整个程序工程。定义和声明分开且定义只能一次,声明可以多次。
static与auto
- 变量在静态存储区被分配存储单元, 在程序运营期间都不释放。 但是auto 自动变量/局部变量, 在动态存储区空间, 函数调用后结束后即释放。
- 只在编译时赋值一次, 【不赋值则默认为0】。 以后调用函数时不需要再次赋值,而是使用上次函数调用结束的值。 但是,为auto自动变量赋值, 不是在编译时进行赋值,而是在函数调用时进行赋值, 每调用一次,就重新赋一次初值。
- 不给static变量赋值,默认为0,不给auto变量复制,值不确定。