修改共享库后，未重编译的C程序如何重新定位函数？

当你修改共享库的函数实现（不改签名）或新增函数后，使用该库的程序无需重编译重链接就能找到新的函数，核心依赖动态链接器的符号解析机制和相关地址跳转表，具体细节如下：

• 编译链接阶段不硬编码绝对地址
  程序链接共享库时，不会把函数的绝对地址直接写入可执行文件，只会记录函数的符号名称，同时生成重定位表标记需要在运行时填充实际地址的位置。

• 动态链接器的运行时解析
  程序启动时，系统动态链接器（比如Linux下的ld.so、Windows下的ntdll.dll）会加载所需共享库到进程地址空间。它会遍历程序的重定位表，根据符号名称在加载后的新共享库中查找对应函数的新地址，再将地址填充到程序的对应位置。只要函数的符号名（函数名+签名）未改变，动态链接器就能精准匹配到新地址。

• GOT与PLT的协作优化（以Linux为例）
  为避免每次调用函数都触发符号解析，系统通过全局偏移表（GOT）和过程链接表（PLT）提升效率：

  • 程序调用共享库函数时，实际跳转到PLT的对应条目；
  • 首次调用时，PLT触发动态链接器解析符号，将找到的新地址写入GOT；
  • 后续调用直接从GOT读取已解析的地址，跳过重复解析步骤。
    共享库更新后，新库加载时动态链接器会重新执行符号解析，更新GOT中的地址，程序下次运行自然会使用新函数地址。

• 符号版本控制的辅助作用
  如果共享库使用了符号版本控制（比如GCC通过-Wl,--version-script指定版本脚本），即使函数内部实现变更，只要符号版本号不变，动态链接器依然能正确匹配；新增函数会作为新符号被识别，若程序代码中已有调用逻辑，启动时也会被正常解析。

而静态库必须重编译的原因是：静态链接时会把库代码直接复制到可执行文件，函数地址是编译时确定的硬编码值，库更新后这些地址失效，必须重新编译链接才能替换为新代码和地址。

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