链接器对多重定义的全局符号的解析

阅读更多

在开始之前，我们得先明确两个概念，即强符号和弱符号。
所谓强符号，就是指函数和已初始化的全局变量。自然弱符号就是指未初始化的全局变量。

在unix系统中，链接器采取以下规则来处理多重定义的全局符号：
1、同一个文件中不允许有多个相同强符号。
2、如果一个对象有一个强符号和多个弱符号，则选择强符号。
3、如有多个弱符号，则任选一个。

现在改说人话，稍微以例子解释一下各个规则。
1、多个强符号的情况：

//main.c
#include

void foo();

int x = 1513;      //强符号

int main(void){
    return 0;
}

#include

int x = 2222;      //强符号

void foo(){
    ;
}

此时若试图链接这两个文件，那么编译器将会报错，因为强符号x被定义了多次。

2、一个强符号的情况：

//main.c
#include

void foo();

int x = 1513;   //强符号

int main(void){
    foo();
    printf("x=%d\n", x);
    return 0;
}

//foo.c
#include

int x;       //弱符号

void foo(){
    x = 2222;
}

此时链接这两个文件输出为：x=2222。

3、无强符号的情况：

//main.c
#include

void foo();

int x;   //弱符号

int main(void){
    x = 1111;
    foo();
    printf("x=%d\n", x);
    return 0;
}

//foo.c
#include

int x;       //弱符号

void foo(){
    x = 2222;
}

此时的输出同上例。

对于规则2和规则3，如果稍不注意就有可能出错，尤其是当重复的符号定义还有不同的类型时，如下示例：

//main.c
#include

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的值！