链接器如何选择要链接的函数？自定义sqrt与libm库同名函数调用问题

1. 链接器未选择自定义sqrt的原因与行为确定性 #

你观察到的现象和链接器没有任何关系，从你提供的汇编代码可以直接定位根因：
你传入sqrt的参数是编译期可确定的常量9，clang默认开启了标准库内置函数（builtin）优化，直接将sqrt(9)的计算替换成了x86_64平台的硬件浮点开平方指令sqrtsd，计算完成后直接转整数赋值给result变量。整个过程没有生成任何对sqrt函数的调用指令，自然既不会用到你自定义的sqrt，也不会调用libm库的sqrt。
这个行为和编译器的优化等级、目标平台架构、内置函数优化开关直接相关，你可以添加编译参数-fno-builtin-sqrt禁用sqrt的内置优化，此时自定义的sqrt会被正常调用，运行后输出结果会变为0。
你在预处理结果中看到的extern double sqrt(double);只是告知编译器该函数符号是外部可见的，不会直接导致自定义实现被忽略，本次问题的核心是编译阶段的优化直接跳过了函数调用流程。

2. 无报错/警告的原因 #

C语言标准本身允许开发者定义和标准库同名的函数，这种重定义标准库符号的行为不属于语法错误，因此默认不会触发报错：
本次场景中编译器直接优化掉了sqrt的函数调用，没有生成对sqrt符号的引用，链接阶段不会检测到符号冲突，自然不会抛出多重定义错误。
如果你希望收到这类潜在问题的提醒，可以添加编译参数-Wshadow开启符号覆盖检查，或者添加-fno-common强制编译器检测多重全局符号定义。

3. 查看函数链接来源的方法 #

针对你使用的macOS clang环境，有以下常用调试方法：

• 编译完成后执行nm -m 可执行文件路径，可以直接查看每个符号的归属，清晰区分是来自本地代码、系统动态库还是其他链接目标。
• 编译时添加链接参数-Wl,-t，链接阶段会打印所有参与链接的目标文件和对应符号的来源。
• 运行程序时添加dyld调试环境变量，比如执行DYLD_PRINT_BINDINGS=1 ./可执行文件路径，可以看到动态绑定阶段每个符号的解析来源。

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