注：1. 可用nm查看文件符号表。
2. 可用readelf -a main查看elf格式文件。
3. bss段：未初始化的数据，block storage start，或better save apace。
以下列程序为例说明：
/* 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 */
#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 main.c stack.c -o main
gcc -c main.c
gcc -c stack.c
gcc main.o stack.o -o main
main.o包含.bss段：a，.data段：b，.text段：main
stack.o包含.bss段：stack，.data段：top，.text段：push，pop，is_empty
main：包含.bss段：a, stack，.data段：b, top，.text段：main，push，pop，is_empty
main中每个段中来自main.o的变量或函数放在前面，是有gcc的链接顺序决定的。当gcc stack.o main.o -o main时stack相关变量和函数放在main前面。
链接过程是由一个链接脚本（linker script）控制的，链接脚本决定了给每个段分配什么地址，如何对齐，哪个段在前，哪个段在后，哪些段合并到同一个segment，
此外链接脚本还要插入一些符号到最终生成的文件中，例如_bss_start、_edata、_end等。
如果用ld做链接时没有用-T选项指定链接脚本，则使用ld的默认链接脚本，默认链接脚本可以用ld --verbose命令查看。