可执行程序链接到.o文件和链接到.a文件,行为居然不同

cdsfiui

首先，有两个cpp文件，各自声明了一个类，一个函数，一个类的静态变量。
然后一个main.cpp里面用到了其中一个类文件里面的函数。然后不同的方式链接。

1. cat First.cpp
   
2. #include<stdio.h>
   
3. struct First{
   
4.   First(){printf("First\n");}
   
5. };
   
6. void f1(){printf("f1\n");}//没有被main用到
   
7. static First f_obj;
   
8. 
   
9. $cat Second.cpp
   
10. #include<stdio.h>
    
11. struct Second{
    
12.   Second(){printf("Second\n");}
    
13. };
    
14. void f2(){printf("f2\n");}//被main用到了
    
15. static Second s_obj;
    
16. 
    
17. $cat main.cpp
    
18. void f2();
    
19. int main()
    
20. {
    
21.   f2();
    
22.     return 0;
    
23. }
    
24. 
    
25. $g++ -c First.cpp  -fPIC
    
26. $g++ -c Second.cpp -fPIC
    
27. $ar -rvs libmystatic.a  First.o Second.o
    
28. $g++ main.cpp -o MylinkSta -lmystatic -L.
    
29. $g++ main.cpp -o MyDirect First.o Second.o
    
30. 
    
31. $./MylinkSta
    
32. Second
    
33. f2
    
34. 
    
35. $./MyDirect
    
36. Second
    
37. First
    
38. f2

复制代码

可以看到链接了.a版本的程序，没有构造出First对象。
奇怪的是，链接到.a，和链接到产生这个.a文件的两个.o文件，结果居然不同。

如果说，链接.a的时候，没有用到的对象/符号不会加入到最终的二进制文件里面，那么为什么链接两个.o的版本，会去产生First呢? 解释不通。

我尝试了gcc/clang，在ubuntu/rhel上，都是一样的结果。
C++的ABI里面有没有什么坑能导致这个问题? 我尝试了.so的情况，结果和MyDirect一样，也都构造出来了。就是静态库特殊。
求大侠解释解释。

hellioncu

链接库的时候没用到就不把First.o链进去很正常吧，后面你指定要链接进去，那也没错呀