GCC与Clang的-Bsymbolic行为差异及-fpie影响探究

一、差异的直接原因 #

GCC默认编译可执行文件为非PIE（位置无关可执行文件），而Clang默认开启-fpie编译为PIE文件。两种模式下，-Bsymbolic对函数符号的绑定逻辑不同，导致函数指针比较结果出现差异。

二、具体机制解析 #

1. -Bsymbolic的核心作用 #

-Bsymbolic是链接器选项，用于动态库编译：它要求动态库内部的符号引用优先绑定到库自身的定义，不进行全局解析（即不去查找可执行文件或其他已加载库中的同名符号），以此避免符号劫持并减少动态链接的运行开销。

2. 非PIE模式（GCC默认）下的行为 #

• 非PIE可执行文件的全局函数符号是绝对地址符号，编译阶段就确定了固定内存地址，运行时动态链接器不会对这些符号进行重定位。
• 当动态库用-Bsymbolic链接后，库内的同名函数会强制绑定到自身实现，不会被可执行文件的同名符号覆盖。
• 此时可执行文件中的函数指针指向自身的绝对地址，动态库返回的函数指针指向库内的内存地址，两者地址完全不同，因此比较结果为Different。

3. PIE模式（Clang默认/ GCC加-fpie）下的行为 #

• PIE可执行文件被编译为位置无关代码，其全局函数符号会被标记为动态符号，和动态库符号一样由动态链接器在运行时解析，相当于把可执行文件当作一个特殊的动态库处理。
• 动态库的-Bsymbolic依然保证库内引用绑定自身，但可执行文件的函数符号不再是固定绝对地址：动态链接器会按照符号优先级规则统一处理，此时可执行文件和动态库的同名函数指针最终指向同一个实例（取决于符号定义的优先级），因此比较结果为Equal。

三、总结 #

• 差异根源是GCC与Clang默认编译可执行文件的PIE模式不同。
• -fpie将可执行文件转为位置无关模式，使其符号参与动态链接的统一解析，消除了非PIE模式下绝对地址与动态库内部地址的差异，最终让-Bsymbolic作用下的函数指针比较结果一致。

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