链接器如何控制静态库中定义的main()函数的可见性？

这完全是链接器的静态库处理规则在起作用，和C语言本身没有特殊关联，也不需要像Python那样写if __name__ == "__main__"的判断逻辑。

静态库的本质与链接逻辑 #

静态库（比如libmy.a）其实是多个目标文件（.o）的归档集合。链接器处理静态库时，只会做一件事：扫描库中的所有目标文件，找出那些能填补当前链接流程中「未定义符号」的文件，将它们加入链接；没有用到的目标文件会被直接忽略。

两种场景的具体分析 #

1. 当使用空白main.c时
   空白文件编译生成的main.o中没有定义main符号，链接器在链接阶段发现缺少程序入口main，于是会去libmy.a里查找能提供这个符号的目标文件。找到libmy.o包含main后，就会把libmy.o加入链接流程，最终生成的可执行文件就会使用静态库中的main函数。

2. 当自定义main()时
   此时编译main.c生成的main.o已经定义了main符号，链接器在处理libmy.a时，发现当前所有需要的符号（包括程序入口）都已经被定义，因此不会从静态库中提取任何目标文件（包括包含库中main的libmy.o）。既然库中的main没有被加入链接，自然不会出现「重定义」的错误，最终可执行文件使用的是你自定义的main。

验证方法 #

你可以用gcc -v查看链接的详细过程，能看到链接器是否从静态库中提取了目标文件：

gcc -v main.c -L. -lmy

也可以用nm查看生成的可执行文件中main符号的来源，确认它来自你自己的main.o还是库中的libmy.o。

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