编译二进制中预初始化函数指针的clang编译行为疑问

我来帮你理清楚这里的门道——其实这和Clang+链接器处理ELF二进制的预初始化数据段以及函数地址绑定的逻辑直接相关，咱们一步步说：

1. 为什么函数地址会出现在固定的0x4006XX地址？ #

你在main里定义的procs和procs2是用常量表达式（函数名，本质是函数地址）初始化的局部数组。对于这种情况，Clang会把它们优化为只读预初始化数据（通常放在.rodata段），而不是在运行时动态赋值。

具体流程是：

• 编译阶段：Clang为每个函数（a、b、c）分配符号，并预留地址空间；同时为指针数组生成占位符，标记需要填充对应函数的地址。
• 链接阶段：链接器会把所有函数符号绑定到最终的虚拟内存地址（也就是你看到的0x4006XX区间），然后把指针数组里的占位符替换成实际的函数地址。
• 最终二进制：这些填充好地址的数组会被存在只读数据段里，所以你能在固定地址直接看到函数地址的存储值。

2. 为什么三个函数的地址都在这里，哪怕b被引用了两次？ #

这是链接器的符号解析规则在起作用：只要函数被代码（不管是直接调用还是指针引用）引用过一次，它的符号就会被保留到最终二进制中，对应的地址也会被写入到初始化数据区域。你的代码里a、b、c都被指针数组引用了，所以它们的地址都会出现在这个区域里。

另外，Clang对这类常量初始化的函数指针数组会做常量折叠优化——直接把函数的最终地址编译进数组，完全不需要运行时去查找，这也是你能在二进制里直接看到这些地址的原因。

3. 额外小细节：如果函数没被引用会怎样？ #

要是某个函数（比如把procs2里的c去掉）没被任何代码引用，Clang在开启优化（比如-O2）时会触发死代码消除，把这个函数从最终二进制里删掉，它的地址自然也不会出现在数据段里。

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