多重定义的全局符号,链接器会如何链接的情况
- 实例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<stdio.h>
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<stdio.h>
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<stdio.h>
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。
所以我们在定义全局变量时,一定要初始化,避免使它成为弱符号!!!。