（4.3）符号表和符号解析

符号和符号表

连接器需要使用符号表进行符号解析然后生成可执行文件，目标文件中通常有一个符号表，表中包含了在该文件中定义的所有符号的信息。C 文件包含以下 3 种符号：

1. 全局符号: 包括非静态的函数名和非静态的全局变量。
2. 外部符号: 包括在其他模块定义的外部函数名和外部变量名。
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: 给出符号在字符串表中的索引，指向在字符串表中的一个以