多重定义的全局符号，链接器会如何链接的情况

• 实例1：
• • 1.规则1
  • 2.规则1
  • 3.规则2
  • 4.规则3
• 实例2
• 总结

以下只针对于gcc编译器，而且不同环境，不同编译器的情况可能不同。

假如说有多重定义的全局符号，链接器会如何链接呐？

在编译时，编译器向汇编器输出每个全局符号，根据它是强符号还是弱符号，把这个信息隐含地编码在可重定位目标文件的符号表李。

强符号：函数和已初始化的全局变量
弱符号：未初始化的全局变量。

根据强弱符号定义，Linux链接器使用下的规则来处理多重定义的符号名。

1.不允许有多个同名的强符号。

2.如果有一个强符号和多个弱符号同名，那么选择强符号。

3.如果有多个弱符号同名，那么从这些弱符号中任意选择

实例1：

1.规则1

a.c

int main()
{return 0;
}

b.c

int main()
{return 0;
}

编译结果：

2.规则1

a.c

int x=2;
int main()
{return 0; }

b.c

int x =1;

3.规则2

a.c

#include
void f(void);
int x =2;
int main()
{f();printf("%d",x);return 0;
}

b.c

int x ;
void f()
{x=10;
}

运行结果

4.规则3

a.c

#include
int x;
void fun(void);
int main()
{x =12;fun();printf("%d",x);
}

b.c

int x;
void fun()
{x=15;
}

运行结果

规则2和规则3会造成一些不易察觉的运行时的错误，我们一定要注意。

实例2

a.c

#include
int x = 12;
int y = 13;
void fun(void);
int main()
{fun();printf("x= 0x%x y= 0x%x \n",x,y);
}

b.c

double x;
void fun()
{x =-0.0;
}

！！！此时b.c中的x=-0.0这一语句把a.c中 类型为int 的x和y都改了。

总结

当编译器在编译某个模块时，遇到一个弱全局符号，如x,它不知道其它模块是否也定义了该变量，如果定义了，它无法预测链接器使用哪一个x，所以编译器把x分配成COMMON，把决定权留给链接器，如果x被初始化0，那么它将是一个强符号，所以编译器直接将它成配成.bss。

所以我们在定义全局变量时，一定要初始化，避免使它成为弱符号！！！。