链接的时候，假如处理的当前模块（单元）是a, 发现a里面引用了模块b的B()函数，但没直接/间接引用到b里的main()函数，链接器就没必要去检查b里有没main()函数的吧，这个有开销

-Wl,--verbose这个参数是可以看到整个链接的符号查找过程的

链接应该是从crt*.o开始的，crt*.o引用了main()，这个main()的查找顺序，是按你在命令行里指定的模块顺序的。
--
修改:z16166 FROM 221.218.160.*
FROM 221.218.160.*

Linker默认按模块先后顺序查找引用到的函数，这个顺序是码农提供的，也就是码农保证

在库里面搞一个main()，那是属于蛋疼。即使库里的main()是测试代码，在测试完后也得注释掉。

【 在 BigCarrot 的大作中提到: 】
: 程序正确性都不能保证，还谈什么开销
:
--
修改:z16166 FROM 221.218.160.*
FROM 221.218.160.*

楼主的例子跟这个特性没关系，他那个例子里没任何地方标注了弱符号

【 在 weiwallz 的大作中提到: 】
: 难道你们说的是别的事情？
: 不然的话，我感觉老鱼应该知道这个：
: https://en.wikipedia.org/wiki/Weak_symbol
: ...................
--
FROM 221.218.160.*