为何链接器在链接阶段必须找到指定的共享库？

• 提前拦截符号缺失问题：你代码里调用的函数、变量这些符号，必须在指定的共享库里存在才能正常运行。链接器如果不检查，等程序跑起来才发现符号找不到直接崩溃，排查起来要费劲得多——你得挨个查是不是库名写错了、函数名拼错了，还是依赖的库版本不对。链接阶段直接报错，能立刻把问题锁定在“依赖的库有问题”上，省得后面瞎折腾。

• 为运行时加载生成必要信息：链接器找到共享库后，会把库的标识（比如SONAME）写入二进制文件的动态段里。程序启动时，动态加载器（像ld.so）就是靠这些信息去查找对应的库。要是链接时不校验库的存在，连正确的依赖信息都写不进去，运行时加载器根本不知道该找什么，程序直接启动失败。

• 校验版本兼容性：很多共享库会有版本符号（比如GLIBC_2.34），链接器会检查你调用的符号是否在当前库的版本范围内。如果依赖的符号只在更高版本的库才有，链接阶段就能报错，避免你编译出一个拿到低版本环境就直接崩的程序。

• 避免隐式依赖的坑：要是允许链接时不校验库存在，你可能会不小心依赖了当前系统临时有的库，或者拼错了库名。等部署到其他环境才发现依赖缺失，这种问题很难追溯。链接阶段的校验相当于给你一个“编译时保障”：只要编译过了，至少当前环境下的依赖是对的，后面部署只需要关注环境差异，不用纠结基础依赖是否存在。

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