GCC编译时-lm与源文件顺序错误导致sqrt未定义引用报错

这个现象是GNU链接器的内置处理规则导致的，不属于代码错误或操作失误。

核心扫描规则 #

GNU ld处理链接输入时，严格执行 从左到右的单向扫描，不会主动回溯已经处理过的文件：

• 每处理一个输入文件，同步记录两类信息：当前文件定义了哪些可导出的符号，当前文件引用了哪些尚未找到实现的未定义符号
• 扫描到库文件（比如-lm对应C数学库）时，只会匹配扫描到当前位置时已经记录的未定义符号，将库中对应的实现链入程序；如果扫描到库时没有可匹配的未定义符号，链接器会直接跳过该库，不会缓存库的全部符号供后续文件匹配

两种命令顺序的执行差异 #

报错场景：gcc -o a.out -lm MyCode.c #

• 链接器优先处理排在最前方的-lm参数：此时尚未读取MyCode.c的内容，完全不知道后续代码需要用到sqrt符号，没有匹配的未定义符号记录，直接跳过对数学库的解析
• 后续处理MyCode.c生成的目标文件时，才发现代码中引用了未定义的sqrt符号，但排在它之前的数学库已经完成扫描处理，链接器不会回头重新匹配之前的库文件，最终抛出undefined reference to 'sqrt'的链接错误

正常编译场景：gcc MyCode.c -o a.out -lm #

• 链接器优先处理MyCode.c生成的目标文件，扫描代码内容时记录下未定义的sqrt符号
• 后续扫描到-lm参数时，就能匹配到之前记录的未定义符号，从数学库中取出sqrt的实现完成链接，顺利生成可执行文件

实操要点 #

• 所有被依赖的库文件，必须放在引用它的源文件、目标文件的命令行后方
• 把库文件放在源文件前面的写法，对单向扫描的GNU链接器没有实际效果

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