在开始之前,我们得先明确两个概念,即强符号和弱符号。
所谓强符号,就是指函数和已初始化的全局变量。自然弱符号就是指未初始化的全局变量。
在unix系统中,链接器采取以下规则来处理多重定义的全局符号:
1、同一个文件中不允许有多个相同强符号。
2、如果一个对象有一个强符号和多个弱符号,则选择强符号。
3、如有多个弱符号,则任选一个。
现在改说人话,稍微以例子解释一下各个规则。
1、多个强符号的情况:
此时若试图链接这两个文件,那么编译器将会报错,因为强符号x被定义了多次。
2、一个强符号的情况:
此时链接这两个文件输出为:x=2222。
3、无强符号的情况:
此时的输出同上例。
对于规则2和规则3,如果稍不注意就有可能出错,尤其是当重复的符号定义还有不同的类型时,如下示例:
此时的输出将是“出人意料”的:x=0, z=0 !!
为何会这样?因为全局符号x在两个文件中的类型不一样,而又以强符号为准,所以在第二个文件中的x引用的内存是第一个文件中的,不过因为其将x的int类型扩展成了double类型,而通常系统中double是8个字节,int是4个字节,所以会覆盖掉更后面的4个字节,因而顺带就更改了z的值!
所谓强符号,就是指函数和已初始化的全局变量。自然弱符号就是指未初始化的全局变量。
在unix系统中,链接器采取以下规则来处理多重定义的全局符号:
1、同一个文件中不允许有多个相同强符号。
2、如果一个对象有一个强符号和多个弱符号,则选择强符号。
3、如有多个弱符号,则任选一个。
现在改说人话,稍微以例子解释一下各个规则。
1、多个强符号的情况:
//main.c
#include<stdio.h>
void foo();
int x = 1513; //强符号
int main(void){
return 0;
}
#include<stdio.h>
int x = 2222; //强符号
void foo(){
;
}
此时若试图链接这两个文件,那么编译器将会报错,因为强符号x被定义了多次。
2、一个强符号的情况:
//main.c
#include<stdio.h>
void foo();
int x = 1513; //强符号
int main(void){
foo();
printf("x=%d\n", x);
return 0;
}
//foo.c
#include<stdio.h>
int x; //弱符号
void foo(){
x = 2222;
}
此时链接这两个文件输出为:x=2222。
3、无强符号的情况:
//main.c
#include<stdio.h>
void foo();
int x; //弱符号
int main(void){
x = 1111;
foo();
printf("x=%d\n", x);
return 0;
}
//foo.c
#include<stdio.h>
int x; //弱符号
void foo(){
x = 2222;
}
此时的输出同上例。
对于规则2和规则3,如果稍不注意就有可能出错,尤其是当重复的符号定义还有不同的类型时,如下示例:
//main.c
#include<stdio.h>
void foo();
int x = 1513; //强符号,int类型
int z = 3333; //强符号
int main(void){
foo();
printf("x=%d, z=%d\n", x, z);
return 0;
}
//foo.c
double x; //弱符号,double类型
void foo(){
x = 0.0;
}
此时的输出将是“出人意料”的:x=0, z=0 !!
为何会这样?因为全局符号x在两个文件中的类型不一样,而又以强符号为准,所以在第二个文件中的x引用的内存是第一个文件中的,不过因为其将x的int类型扩展成了double类型,而通常系统中double是8个字节,int是4个字节,所以会覆盖掉更后面的4个字节,因而顺带就更改了z的值!