符号和符号表
连接器需要使用符号表进行符号解析然后生成可执行文件,目标文件中通常有一个符号表,表中包含了在该文件中定义的所有符号的信息。C 文件包含以下 3 种符号:
- 全局符号: 包括非静态的函数名和非静态的全局变量。
- 外部符号: 包括在其他模块定义的外部函数名和外部变量名。
- 本地符号: 包括带 static 的函数名和全局变量名。
static 属性的本地变量在 .data 和 .bss 中分配空间。如果要链接的两个可重定位文件中包含了同名的 static 变量,则需要分别为他们分配空间。
例如:
int func1(){
static int x = 0;
return x;
}
int func2(){
static int x = 1;
return x;
}
两个函数中包含静态变量 x,且都初始化,编译器则会在 .data 节为两者分配空间,并在符号表中创建 func1.x 和 func2.x 两个符号。
上图中的全局符号有:
- main.c 中的变量 buf,函数 main
- swap.c 中的变量 bufp0,函数 swap
外部符号有:
- swap.c 中的 buf
- main.c 中的 swap
本地符号有:
- swap.c 中的 bufp1
swap.c 中的 temp 是运行时动态分配到栈中的,不是符号。
ELF 文件符号表中每个表项具有以下数据结构:
- st_name: 给出符号在字符串表中的索引,指向在字符串表中的一个以 nul