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

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

在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的值!

猜你喜欢

转载自aisxyz.iteye.com/blog/2296753
今日推荐