MacOS下Clang忽略-ffunction-sections选项是否正常？

这种情况完全正常，核心原因是MacOS的目标文件格式、链接器逻辑和Linux存在本质差异，Clang针对不同平台做了适配性实现：

1. 目标文件格式差异导致表现不同 #

Linux使用ELF格式，-ffunction-sections会直接为每个函数创建独立的顶级段（section），这种变化在汇编代码里很容易观察到。而MacOS使用Mach-O格式，Clang处理-ffunction-sections时，不会创建新的顶级段，而是将每个函数放入独立的**子段（subsection）**中——这种层级划分在汇编代码里不会显式体现，但在目标文件内部是真实存在的。

2. 链接阶段的未使用代码移除逻辑不同 #

Linux下配合--gc-sections链接选项实现未使用函数移除，而MacOS对应的链接选项是-dead_strip。只要在链接时加上这个选项，即使汇编代码看起来没变化，链接器ld64依然能识别Mach-O里的函数子段，自动移除未被引用的函数。

3. 验证方法 #

• 查看目标文件的段信息：使用otool工具对比加/不加-ffunction-sections的目标文件

  otool -lv test.o  # 查看段和子段详情
  

  你会发现加了选项的文件中，每个函数都对应独立的subsection条目。
• 验证未使用函数被移除：编译链接时加上-dead_strip，再用nm查看最终二进制

  clang -ffunction-sections test.c -c -o test.o
  clang test.o -dead_strip -o test
  nm test  # 对比未使用的函数是否消失
  

4. Clang的平台适配设计 #

Clang的-ffunction-sections选项是跨平台的，但会根据目标平台的文件格式调整实现方式。MacOS下的表现是符合官方设计的，并非选项被静默忽略，只是其作用的层级在汇编代码中不可见而已。

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