程序的内存布局

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

如何执行编译出来的a.out文件呢？

命令行敲如a.out文件，之后就可运行了。操作系统怎么知道这是一个可执行程序的呢？操作系统在接到./a.out这个命令后回去读文件头，读文件头看一下这个文件头里面对应的是不是可执行程序的信息。如果是的话，操作系统就知道这是一个可执行程序，操作系统就要为这个可执行程序分配一些内存空间来给其运行。这个内存空间很有可能一部分当做栈使用，一部分当做堆使用，一部分是静态存储区。之后，操作系统去调用main()函数，调用的过程就是在栈上建立活动记录的过程。

为什么找不到堆和栈的踪影呢？

因为这是可执行程序的文件的布局，并不是程序运行后进程的布局

程序的内存布局

文件布局在内存中的映射

当a.out这个可执行程序运行之后，在内存里面就会有自己的地址空间，如下图：

栈和堆要等程序运行之后，由操作系统来分配它们的空间的。首先是栈，并且栈是由高地址向低地址来使用的。接下来是堆，堆是预留出来的一整片的内存空间。之后就把可执行程序文件的.bss段直接映射到内存空间。然后是.data段，直接从程序文件映射到内存空间。再下来就是.text段，.text段中就是编写的程序代码，也被映射到内存空间。最后是一些未映射的区域，有自己独立的用途。

各个段的作用：

堆栈段在程序运行后才正式存在，是程序运行的基础

.bss段存放的是未初始化的全局变量和静态变量，默认值是0，从.bss段映射到内存里面后，就把.bss段中所有内容全部清0

.text段存放的是程序中的可执行代码 ，如函数

.data段保存的是已经初始化的全局变量和静态变量，已经初始化的全局变量和静态变量的值就会写入程序文件中，这样程序文件运行到内存里面后才可以在刚刚运行时就可以用这些初始化的值来初始化全局变量和静态变量，所以单独存在.data段里，因为.bss段里全是0，不能保存初始值，所以才单独开了一个.data段来保存

.rodata段存放程序中的常量，只读数据段，如字符串常量

程序属于对应关系

静态存储区通常指程序中的.bss和.data段

只读区通常指程序中的.rodata段

局部变量做占用空间为栈上空间

动态空间为堆中的空间

程序可执行代码存放于.text段 

问：函数的地址对应程序的那个段？  .text段