C语言存储空间布局以及static解析

本文我将采用Linux环境测试C语言存储空间布局,以及采用VC6.0来测试static的常见用法。采用linux环境来测试c语言存储空间布局,是因为Linux很容易利用shell命令中的size命令查看到进程存储区各段的大小。采用VC6.0来测试static的常见用法,是因为我们利用VC6.0很容易创建一个工程,该工程可以包含很多源文件,这样就很方便我们测试本文件与其他文件之间的关系了。

                  

不管是在Linux下C程序还是Windows下C程序,他们都是由正文段、数据段、BSS段、堆、栈等段构成的,只不过可能他们的各段分配地址不一样。Linux下的C程序正文段在低地址,而Windows下的C程序的正文段(代码段)在高地址。所有不用担心我用Linux环境和Windows环境共同测试带来不正确的数据。

一、C语言存储空间布局

C语言一直由下面部分组成:

正文段code segment/text segment,.text段):或称代码段,通常是用来存放程序执行代码的一块内存区域。这部分区域的大小在程序运行前就已经确定,并且内存区域通常属于只读,某些架构也允许代码段为可写,即允许修改程序。在代码段中,也有可能包含一些只读的常数变量,例如字符串常量等。CPU执行的机器指令部分。

数据段data segment,.data段):通常是用来存放程序中已初始化的全局变量的一块内存区域。数据段属于静态内存分配。

BSS段bss segment,.bss段):通常是指用来存放程序中未初始化的全局变量的一块内存区域。BSS是英文Block Started by Symbol的简称。BSS段属于静态内存分配。

heap):堆是用于存放进程运行中被动态分配的内存段,它的大小并不固定,可动态扩张或缩减。当进程调用malloc等函数分配内存时,新分配的内存就被动态添加到堆上(堆被扩张);当利用free等函数释放内存时,被释放的内存从堆上被剔除(堆被缩减)。

stack):栈又称堆栈,是用户存放程序临时创建的局部变量,也就是我们函数大括号"{}"中定义的变量(不包括static声明的变量)。除此以外,在函数被调用时,其参数也会被压入发起调用的进程栈中,并且等调用结束后,函数的返回值也会被存放在回栈中。由于栈的先进先出特性,所有栈特别方便用来保存/恢复调用现场。从这个意义上讲,把堆栈看成一个寄存、交换临时数据的内存区。

【测试】:采用Linux环境测试

1、测试代码如下,文件名为progressStruct.c


保存后,输入gcc progressSturnct.c -o progressStruct编译生成二进制文件(可执行文件),然后输入size progressStruct查看进程progressStruct内存各段大小


text->正文段   data->数据段,存储已初始化全局变量段   bss->存储未初始化全局变量段  dec->以十进制显示总大小  hex->以十六进制显示总大小

2、修改progressStruct.c文件,修改后代码如下:


保存后,输入gcc progressSturnct.c -o progressStruct编译生成二进制文件(可执行文件),然后输入size progressStruct 查看进程progressStruct内存各段大小


3、继续修改progressStruct.c文件,修改后代码如下:


保存后,输入gcc progressSturnct.c -o progressStruct编译生成二进制文件(可执行文件),然后输入size progressStruct 查看进程progressStruct内存各段大小


4、3、继续修改progressStruct.c文件,修改后代码如下:


保存后,输入gcc progressSturnct.c -o progressStruct编译生成二进制文件(可执行文件),然后输入size progressStruct 查看进程progressStruct内存各段大小


其他非主函数中的变量存储在堆栈区


二、面向过程程序设计中的static

1、全局静态变量

在全局变量之前加上关键字static修饰,全局变量就被定义成一个全局静态变量

  1. 内存中的位置:静态存储器(静态存储区在整个程序运行期间都存在的)
  2. 初始化:未初始化的全局静态变量会被程序自动化为0
  3. 作用域:全局静态变量在声明它的文件之外是不可见,即其他文件不能使用被static修饰的变量。只能在从定义处到文件结尾中被使用。
【测试其作用域】:此测试利用VC6.0来完成
1、先测试不加static修饰全局变量,在另外一个文件来使用其他文件的全局变量
先在VC6.0上创建一个工程,命名为StaticTest,并在这个工程中创建两个.c文件,分别为a.c和main.c,对应代码如下:

运行结果如下:

2、现在修改a.c文件,修改后如下:

此时点击变成此工程,在编译过程没有报错误,而当我们去点击去链接这个工程的文件,此时就报错了,错误信息如下:


总结:被static修饰的全局变量(全局静态变量),不能被外部文件使用,只能被从定义开始到当前定义文件的结尾之间使用。

定义全局静态变量的好处:
<1>不会被其他文件所访问和修改。
<2>其他文件中可以使用相同名字的变量,不会发生冲突。

2、局部静态变量

在局部变量之前加上关键字static,局部变量被定义成为一个局部静态变量
  1. 内存中的位置:静态存储器
  2. 初始化:未经初始化的局部变量会被程序自动初始化为0
  3. 作用域:作用域仍为局部作用域,当定义它的函数或语句块结束的时候,作用域随之结束。
注:当static用来修饰局部变量的时候,它就改变了局部变量的存储位置,从原来的栈中存放改为静态存储区。但是局部静态变量在离开作用域之后,并没有被销毁,而是仍然驻留在内存当中(在其作用域外仍然可以定义相同名字的变量),直到程序结束,只不过我们不能再对他进行访问。当static用来修饰全局变量时候,它就改变了全局变量的作用域(在声明它的文件之外是不可见的),但是没有改变它的存放位置,还是在静态存储器中。

运行结果如下:

3、静态函数

在函数的返回类型前加上关键字static,函数就被定义成为静态函数。
函数的定义和声明默认情况下是extern的,但是静态函数只是在声明它的文件中可见,不能被其他文件所用,例如:

同样编译没有报错,而在链接时报错,错误提示找不到display()函数

定义静态函数的好处:
<1>其他文件中可以定义相同名字的函数,不会发生冲突
<2>静态函数不能被其他文件所用

存储说明符auto,register,extern,static,对应两种存储期:自动存储期和静态存储期。
auto和register对应自动存储期。具有自动存储期变量在进入声明该变量的程序块时被建立,它在该程序块活动时存在,退出该块时撤销。关键字extern和static用来说明具有静态存储器的变量和函数,用static声明的局部变量具有静态存储持续期(static storage duration),或静态范围(static extent)。虽然他的值在函数调用之间保持有效,但是其名字的可视性仍限制在其局部域内。静态局部对象在程序执行到该对象的声明处时被首次初始化。

由于static变量的以上特性,可实现一些特定功能。
1、统计次数功能
声明函数的一个局部变量,并设置为static类型,作为一个计数器,这样函数每次被调用的时候就可以进行级数。这是统计函数被调用次数的做好的办法。因为这个变量是和函数息息相关的,二函数可能在不同的地方被调用,所以从调用者的角度来统计比较困难。代码如下:

运行结果如下:

从结果我们更加能证明:当static用来修饰局部变量的时候,它就改变了局部变量的存储位置,从原来的栈中存放改为静态存储区。但是局部静态变量在离开作用域之后,并没有被销毁,而是仍然驻留在内存当中(在其作用域外仍然可以定义相同名字的变量),直到程序结束,只不过我们不能再对他进行访问

总结:C语言程序可以看成一系列外部对象构成,这些外部对象可能是变量,也可能是函数。而内部变量是指定义在函数内部的函数参数及变量。外部变量定义在函数之外,因此可以在许多函数中使用。由于C语言不允许在一个函数中定义其它函数,因此函数本身只能是“外部”。由于C语言代码是以文件为单位来组织的,一个源程序所有源文件中,一个外部变量或函数只能在某个文件中定义一次,而其他文件通过extern声明来访问它(定义外部变量或函数的源文件中也可以包含对该外部变量的extern声明。)而static则可以限定变量或函数为静态存储。如果用static限定外部变量与函数,则可以将该对象的作用域限定为被编译源文件的剩余部分(从被定义处开始到文件末尾)。通过static限定外部对象,可以达到隐藏外部对象的目的。因而,static限定的变量或函数不会和同一程序中其他文件中同名的相冲突。如果用static限定内部变量,则该变量从程序一开始就拥有内存,不会随其所在函数的调用和退出而分配和消失。

C语言中使用静态函数的好处:
<1>静态函数会被自动分配在一个一直使用的存储器,直到退出应用程序实例,避免了调用函数时压栈出栈,这样速度就快得多。(常用函数可以选择使用static修饰)
<2>关键字"static",译成中文就是"静态的",所以内部函数又称静态函数(相对其他文件而言,被static修饰的函数,其他文件不能访问)。但此处"static"的含义不是指存储方式,而指对函数的作用域仅局限于本文件。
<3>使用内部函数的好处是:不同的人编写不同的函数时,不用担心自定定义的函数是否与其他文件中的函数同名。

转载:大神作品

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/459306.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

老李推荐:第6章6节《MonkeyRunner源码剖析》Monkey原理分析-事件源-事件源概览-命令队列...

老李推荐&#xff1a;第6章6节《MonkeyRunner源码剖析》Monkey原理分析-事件源-事件源概览-命令队列事件源在获得字串命令并把它翻译成对应的MonkeyEvent事件后&#xff0c;会把这些事件排队放入一个由事件源维护的队列&#xff0c;然后其他地方如Monkey类的runMonkeyCycles方法…

华为手机怎么设置应用不全屏显示_手机投屏智能电视画面比例不合适怎么办?...

手机投屏到电视的比例不对怎么办知乎上有网友私下&#xff1a;“苹果手机屏幕镜像投屏到电视上&#xff0c;画面不能全屏&#xff0c;然后在网上查了一下是因为显示比例的问题&#xff0c;请问怎么解决&#xff1f;”这个问题说简单也简单&#xff0c;说难也难。说简单是因为想…

手把手教你使用CocoaPods管理你的iOS第三方开源类库

手把手教你使用CocoaPods管理你的iOS第三方开源类库 本文转载自&#xff1a;http://kittenyang.com/cocoapods 鉴于我开这个博客的初衷是记录自己平时的技术积累&#xff0c;而我平时又属研究iOS最多&#xff0c;因此这个博客在一定程度上可以说是以iOS技术为主的博客。既然研究…

alt复制选区就会卡 ps_PS入门视频教程笔记整理(二)工具栏介绍一

这几期会慢慢的更&#xff0c;工具栏的相关介绍还有一些简单有趣的应用~1、移动工具和画板工具 (1)移动工具选择相应的图层进行拖拽移动的操作■自动选择&#xff1a;不勾选的话——只有一个图层被选中(移动当前所选择的图层里的内容)勾选的话——无论你点击哪一个地方进行拖拽…

测试Markdown

一级标题 二级标题 四级标题 这是高阶标题&#xff08;和一级标题效果一样&#xff09; 这是次阶标题&#xff08;等同二阶标题&#xff09; 无序列表 *1 *2 *3 无序列表 -1 -2 -3 有序列表 1.你大爷 2.你大伯 3.你叔 4、你哥 这是一个引用 第二个引用 第三个…

MyBatis collection的两种形式——MyBatis学习笔记之九

与association一样&#xff0c;collection元素也有两种形式&#xff0c;现介绍如下&#xff1a; 一、嵌套的resultMap 实际上以前的示例使用的就是这种方法&#xff0c;今天介绍它的另一种写法。还是以教师映射为例&#xff0c;修改映射文件TeacherMapper.xml如下&#xff08;点…

int linux 原子操作_linux c++编程之多线程:原子操作如何解决线程冲突

在多线程中操作全局变量一般都会引起线程冲突&#xff0c;为了解决线程冲突&#xff0c;引入原子操作。1.线程冲突#include #include #include #include int g_count 0;void count(void *p){Sleep(100); //do some work//每个线程把g_count加1共10次for (int i 0; i < …

python查询斐波那契数列通项公式_分享一个神奇的操作系统——斐波那契+MACD,每一波都有20%以上的收益!...

斐波那契数列&#xff0c;又称兔子数列&#xff0c;或者黄金分割数列。指的是这样一个数列&#xff1a;0、1、1、2、3、5、8、13、21……从第三项起&#xff0c;它的每一项都等于前两项的和。为什么是兔子数列?我们假设兔子在出生两个月后&#xff0c;就有繁殖能力&#xff0c…

FPGA 状态机设计

数字系统有两大类有限状态机&#xff08;Finite State Machine&#xff0c;FSM&#xff09;&#xff1a;Moore状态机和Mealy状态机。 Moore状态机 其最大特点是输出只由当前状态确定&#xff0c;与输入无关。Moore状态机的状态图中的每一个状态都包含一个输出信号。这是一个典型…

WCF 初识(一)

WCF的前世今生 在.NETFramework 2.0以及前版本中&#xff0c;微软发展了Web Service&#xff08;SOAP with HTTP communication&#xff09;&#xff0c;.NET Remoting&#xff08;TCP/HTTP/Pipeline communication&#xff09;以及基础的Winsock等通信支持。 由于各个通信方法…

C/C++关键字解析

2、C/C分别有多少个关键字&#xff1f; 假如别人问某一个关键字是否属于C/C&#xff0c;要能正确的答出来。 1&#xff09;由ANSI标准定义的C语言关键字共32个 auto double int struct break else long switch case enum register typedef char extern return union const flo…

Linux系统:软链接与硬链接的原理分析

1、相关概念 1、索引节点inode(index node)&#xff1a;inode就是索引节点&#xff0c;它用来存放档案及目录的基本信息&#xff0c;包含时间、档名、使用者及群组等。 inode 是 UNIX/Linux 操作系统中的一种数据结构&#xff0c;其本质是结构体它包含了与文件系统中各个文件相…

操作系统:虚拟页式存储管理(缺页中断、页面置换算法)

1、基本工作原理 1、基本工作原理 在进程开始运行之前&#xff0c;不是全部装入页面&#xff0c;而是装入一个或者零个页面&#xff0c;之后根据进程运行的需要&#xff0c;动态装入其他页面&#xff1b;当内存已满&#xff0c;而又需要装入 新的页面时&#xff0c;则根据某种…

小程序 长按api_高质量的微信小程序样式模板应该长什么样?

现在不懂技术的小白若想快速制作自己的小程序&#xff0c;一般是通过小程序模板来实现。通过在模板上添加自己的图片、文字、商品等等&#xff0c;可以很简单地生成一个小程序。不过要想把小程序做得好看&#xff0c;你得找高质量的小程序样式模板才行。那么高质量的微信小程序…

web安全测试-AppScan使用分享

这里主要分享如何使用AppScan对一大项目的部分功能进行安全扫描。 ------------------------------------------------------------------------ 其实&#xff0c;对于安全方面的测试知道的甚少。因为那公司每个月要求对产品进行安全扫描。掌握了一人点使用技巧&#xff0c;所…

ros 开源物体检测_ROS kinetic + Realsens D435i + ORK + LINEMOD 物体识别

1. ORKORK (Object Recognition Kitchen) 是 ROS 集成的物体识别库&#xff0c;当前 Kinetic 版本的 ROS 只集成了部分功能包的二进制安装文件&#xff0c;所以需通过源码编译安装。安装依赖库sudo apt-get installmeshlabsudo apt-get install libosmesa6-devsudo apt-get ins…

华为荣耀6 H60-L02/L12(联通版)救砖包【适用于无限重启】

本帖最后由 HOT米粒 于 2014-11-16 20:43 编辑 华为荣耀6 H60-L02/L12&#xff08;联通版&#xff09;救砖包【适用于无限重启】说明&#xff1a; 1、本工具包用于华为荣耀6 H60-L02&#xff08;联通版&#xff09;&#xff1b; 2、本工具适用于在Honor Logo 无限重启的童鞋恢复…

Mysql存储引擎中InnoDB与Myisam的区别

为什么80%的码农都做不了架构师&#xff1f;>>> 1. 事务处理 innodb 支持事务功能&#xff0c;myisam 不支持。 Myisam 的执行速度更快&#xff0c;性能更好。 2. select ,update ,insert ,delete 操作 MyISAM&#xff1a;如果执行大量的SELECT&#xff0c;MyISA…

一步步学习javascript基础篇(8):细说事件

终于学到事件了&#xff0c;不知道为何听到“事件”就有一种莫名的兴奋。可能是之前的那些知识点过于枯燥无味吧&#xff0c;说起事件感觉顿时高大上了。今天我们就来好好分析下这个高大上的东西。 可以说&#xff0c;如果没有事件我们的页面就只能阅读了。有了事件&#xff0c…

求1到n ,这n个整数的二进制表示比特1的个数(时间复杂度:O(n))

题目描述&#xff1a; 给定一个数字n&#xff0c;统计1&#xff5e;n之间的n个数字的二进制的1的个数 int Nums_Of_Bit_1(int num) { int* number new int[num]; int pow 1,before 1; int count 0; for(int i1; i<num; i){ if (i pow){ …