为何static关键字会对PIC（位置无关代码）产生影响？

问题场景 #

在GCC环境下编译Linux共享对象时，存在以下差异：

• 当全局变量firstArg添加static关键字时，执行命令 gcc -shared -o libadd_c.so add_c.c（无-fPIC选项）可正常编译，无报错。
• 移除static关键字后，编译触发重定位错误，错误信息如下：

/usr/bin/ld: /tmp/cc9pDDY7.o: warning: relocation against `firstArg' in read-only section `.text'
/usr/bin/ld: /tmp/cc9pDDY7.o: relocation R_X86_64_PC32 against symbol `firstArg' can not be used when making a shared object; recompile with -fPIC
/usr/bin/ld: final link failed: bad value
collect2: error: ld returned 1 exit status

核心原因解析 #

1. static全局变量的符号特性 #

带static的全局变量属于文件作用域符号，仅在当前编译单元（.c文件）内可见，链接器不会将其导出到共享对象的全局符号表。

由于该变量的作用域被限制在内部，编译器生成目标代码时，会直接使用相对代码段的固定偏移来访问它——整个编译单元在共享对象中的相对位置是确定的，不需要跨模块的动态重定位，因此即使不使用-fPIC选项也能正常链接。

2. 非static全局变量的符号特性 #

不带static的全局变量是全局可见符号，会被链接器导出到共享对象的全局符号表，这意味着：

• 该变量可能被其他模块（如其他共享对象、主程序）重定义，或者在程序加载时被动态重定位到随机内存地址（受ASLR地址空间随机化机制影响）。
• 编译器默认生成的R_X86_64_PC32重定位方式，是基于当前指令地址的32位固定偏移来访问变量，这种固定偏移无法适配共享对象的随机加载基地址，因此链接器会报错，要求必须用-fPIC选项生成位置无关代码。

使用-fPIC时，编译器会通过**全局偏移表（GOT）**间接访问全局变量，GOT在程序加载时会被动态修正为正确的内存地址，从而适配共享对象的随机加载位置。

内容的提问来源于stack exchange，提问作者vengy