动态链接可执行文件是否会使用父进程的静态代码？

常规场景下绝对不会，二进制程序A运行时只会加载自身依赖的动态链接库，完全不会调用B中静态编译的对应库函数。

• 首先是exec系统调用的地址空间替换机制：在B进程里调用fork创建子进程后，只要子进程执行了exec类系统调用加载A的二进制文件，操作系统会直接清空子进程原有的全部地址空间内容——包括B静态编译进去的所有库代码、B自身的业务逻辑代码，之后重新把A的二进制映像、A依赖的所有动态链接库加载到全新的、独立的地址空间里，这时候子进程和B进程的代码段已经没有任何关联。
• 其次是操作系统的进程地址空间隔离机制：即便是fork之后还没执行exec的阶段，父子进程的地址空间也是靠写时复制机制做逻辑隔离的，一个进程不能直接随意调用另一个进程地址空间内的函数；执行exec之后，两个进程的地址空间更是完全独立，A根本感知不到B的内存里存在一份静态编译的库代码，更不可能跳转到B的内存地址里执行函数。
• 最后是动态链接的加载逻辑：A启动时由动态链接器负责加载它依赖的共享库，动态链接器只会从磁盘上预先配置的库搜索路径（比如/lib、/usr/lib、LD_LIBRARY_PATH指定路径等）找对应的共享库文件加载，不会扫描其他运行中进程的内存去复用库代码。

只有你主动在流程里加入非常规的注入、调试逻辑时，才可能出现A调用B中代码的情况，这些都不属于fork/exec启动子进程的默认行为：

• B在调用exec启动A前，特意通过ptrace等调试接口附着子进程，手动修改A的内存、重定位A的函数导入表，把调用地址指向B注入到A地址空间的代码
• B在启动A时特意通过环境变量（比如LD_PRELOAD）给A注入自定义的动态库，在动态库里实现和原共享库同名的函数拦截调用
• 你没有真正调用exec，只是fork之后在子进程里直接跳转到了B自身的静态库函数逻辑运行——但这时候子进程跑的根本不是A程序，本质还是B的代码。

注意不要混淆fork无exec的场景：如果fork之后子进程不执行exec，那子进程确实和父进程以写时复制方式共享同一份代码段，可以直接调用父进程里的静态函数，但这时候子进程运行的还是B程序的逻辑，和你要启动的A程序没有关系。

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