【C语言进阶剖析】39.C语言程序中的内存布局

文章目录

一、程序文件的一般布局

二、程序与进程

三、程序文件的一般布局

四、程序的内存布局

五、程序术语的对应关系

六、小结

---

一、程序文件的一般布局

• 不同代码在可执行程序中的对应关系

二、程序与进程

• 程序和进程不同
  • 程序是静态的概念，表现形式为一个可执行文件
  • 进程是动态的概念，程序由操作系统加载运行后得到进程
  • 每个程序可以对应多个进程
  • 每个进程只能对应一个程序
• 面试中的小问题
  • 包含脚本代码的文本文件是一种类型的可执行程序吗?如果是，对应什么样的进程呢?

        答：包含脚本代码的文本文件可以说是一种可执行程序，但是不是直接的可执行程序，这个进程是操作系统加载对应的脚本解释程序得到的。

三、程序文件的一般布局

• 文件布局在内存中的映射

四、程序的内存布局

• 各个段的作用
  • 堆栈段在程序运行后才正式存在，是程序运行的基础
  • .bss 段存放的是未初始化的全局变量和静态变量
  • .text 段存放的是程序中的可执行代码
  • .data 段保存的是已经初始化了的全局变量和静态变量
  • .rodata 段存放程序中的常量值，如字符串常量

五、程序术语的对应关系

• 静态存储区通常指程序中的 .bss 和 .data 段
• 只读存储区通常指程序中的 .rodata 段
• 局部变量所占空间为栈上的空间
• 动态空间为堆中的空间
• 程序可执行代码存放于.text 段

        面试中的小问题：同是全局变量和静态变量，为什么初始化的和未初始化的保存在不同段中?

        答：对于没有初始化的全局变量和静态变量，在加载的时候，这片内存区就直接将它们初始化为 0，对于已经初始化的全局变量和静态变量，必然要在程序里面保存它们的初始值，并且初始值还要对应好，在最终的可执行程序中应该有地方映射对应关系。如果不区别对待初始化的和未初始化的，加载应用程序时效率就会变慢。

六、小结

• 程序源码在编译后对应可执行程序中的不同存储区
• 程序和进程不同，程序静态概念，进程是动态概念
• 堆栈段是程序运行的基础，只存在于进程空间中
• 程序可执行代码存放于.text 段，是只读的
• .bss 和 .data 段用于保存全局变量和静态变量