本文主要是介绍BSS段、数据段和代码段，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
BSS段：BSS段(bss segment) 通常是指用来存放程序中未初始化的全局变量的一块内存区域，具体体现为一个占位符，记录数据所需空间的大小。BSS全称Block Started by Symbol。BSS段属于静态内存分配。.bss段是不占用.exe文件空间的，其内容由操作系统初始化(清零)。
数据段：数据段（data segment）通常是指用来存放程序中已初始化的全局变量的一块内存区域。数据段属于静态内存分配。.data需要占用.exe文件空间，其内容由程序初始化。数据保存在目标文件中。
包含数据段和BSS段的整个区段通常称为数据区。
代码段：代码段(code segment/text segment)通常是指用来存放程序执行代码的一块内存区域。这部分区域的大小在程序运行前就已经确定，并且内存区域通常属于只读，某些架构也允许代码段为可写，即允许修改程序。在代码段中，也有可能包含一些只读的常数变量，例如字符串常量等。
例子：
两个.c文件，stack.c实现堆栈，而main.c使用堆栈
/*stack.c*/
char stack[512];
int top = -1;
void push(char c){ stack[++top] = c;
}
char pop(void){return stack[top--];
}
int is_empty(void){ return top == -1;
}/*main.c*/
/* main.c */
#include <stdio.h>
int a, b = 1;
int main(void){ push('a'); push('b'); push('c');while(!is_empty()) putchar(pop()); putchar('\n'); return 0;
}
或者多步编译：$ gcc -c main.c
$ gcc -c stack.c
$ gcc main.o stack.o -o main
用nm命令查看目标文件的符号表,会发现main.o中有未定义的符号push 、pop 、is_empty 、putchar,前三个符号在stack.o中实现了,链接生成可执行
文件main 时可以做符号解析,而putchar是libc 的库函数,在可执行文件main 中仍然是未定义的,要在程序运行时做动态链接。
我们通过readelf -a main 命令可以看到,main 的.bss 段合并了main.o和stack.o的.bss 段,其中包含了变量a和stack ,main 的.data 段也合并了main.o和stack.o的.data 段,其中包含了变量b和top ,main 的.text 段合并了main.o和stack.o的.text 段,包含了各函数的定义。如下图所示。
为什么在可执行文件main 的每个段中来自main.o的变量或函数都在前面,而来自stack.o的变量或函数都在后面呢?我们可以试试把gcc 命令中的两个目标文件反过来写:
$ gcc stack.o main.o -o main
结果正如我们所预料的,可执行文件main 的每个段中来自main.o的变量或函数都排到后面了。实际上链接的过程是由一个链接脚本(Linker Script)控制的，链接脚本决定了每个段分配到什么地址，如何对齐，哪个段在前，哪个段在后，哪些段合并到同一个Segment，另外链接脚本还要插入一些符号到最终生成的文件中，例如__bss_start、_edata、_end 等。如果用ld做链接时没有用-T选项指定链接脚本,则使用ld的默认链接脚本,默认链接脚本可以用ld --verbose命令查看。
这篇关于BSS段、数据段和代码段的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
