注: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(' ');
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命令查看。