gcc在静态库中链接未解析符号的顺序是什么

Question

在调试函数符号冲突问题时，我发现 gcc 的一个奇怪行为我无法理解，通过以下示例代码说明：

main.c

#include <stdio.h>
int  main()
{
   b();
   a();
}

交流

#include <stdio.h>
void  a(void)
{
   printf("func a in a\n");
}

b.c

#include <stdio.h>

void a()
{
   printf("func a in b\n");
}
void b()
{
  printf( "func b try to call a  \n");
  a();
}

编译：

gcc -c a.c
gcc -c b.c
ar -cr liba.a a.o
ar -cr libb.a b.o
gcc main.c liba.a libb.a

执行：

./a.out
func b try to call a  
func a in b
func a in b   

我的问题是：

• 为什么在main函数中调用函数a是a in b.c而不是a in a.c？
• 更改库顺序后：gcc main.c libb.a liba.a，结果是一样的。为什么？
• 为什么在这种情况下链接器不报告符号冲突？

Answer 1

在传递给链接器的选项中，按照目标文件出现的顺序（从左到右）搜索要解析的符号。

假设已运行以下内容以准备链接：

gcc -c main.c
gcc -c a.c
gcc -c b.c
ar -cr liba.a a.o
ar -cr libb.a b.o

那么这个

gcc -o main main.o liba.a libb.a

会产生：

libb.a(b.o): In function `a':
b.c:(.text+0x0): multiple definition of `a'
liba.a(a.o):a.c:(.text+0x0): first defined here
collect2: ld returned 1 exit status

链接器做了以下事情：

main.o 需要 a() 和 b ()。首先搜索liba：找到a()，没有找到b()。所以其次搜索libb。找到了b()，但也找到了另一个 a()，导致上面显示的链接器错误。

如果这样做：

gcc -o main main.o libb.a liba.a

没有给出错误并创建main。

链接器做了以下事情：

main.o 需要 a() 和 b ()。首先搜索libb：找到a() 和b()。因为没有什么要解决的了 libb liba 甚至没有被查看/查看。

在后一种情况下，程序 (main's) 的输出是：

func b try to call a  
func a in b
func a in b

---

对于main.o、liba.a 和libb.a 的所有其他可能排列，链接器将执行/显示的操作留给读者作为练习。 ;-)

Answer 2

您没有在main.c 中包含a 和b 函数声明。如果这样做，在将其传递给链接器之前，您会从编译器获得多个声明错误。你一定是在main.c做错了什么。