g++/ld中的符号重定义

O、什么是符号

符号是指代码中的变量与函数。
链接中的符号

一、分析

我们知道，在一个项目里，一个全局符号的名字在全局是符号。
如果在多个文件中有定义了同一个符号，又把这几个文件编译链接到一起，会发生什么呢？
链接出错？不要这么急着下结论。
本着“实践是检验真理的唯一标准”的原则，我们一起做几个实验。

二、实验材料

文件准备

head.h

#include <iostream>using namespace std;void myfun();

a.cpp

#include "head.h"void myfun(){    cout<<"myfun in a.cpp<<endl;}

b.cpp

#include "head.h"void myfun(){    cout<<"myfun in b.cpp<<endl;}

main.cpp

#include <iostream>using namespace std;#include "head.h"int main(){    myfun();    return 0;}

文件加工

gcc/ld可以链接三种类型的可重定位目标文件，分别是目标文件（.oxx）、静态链接库（.a）和动态链接库（.so）。因此把a.c和b.c分别编译成不同的文件类型，来观察不同文件类型造成的符号重定义的链接结果。

（1）把a.cpp和b.cpp分别编译成a.oxx和b.oxx

```（2）把a.cpp和b.cpp分别编译成liba.a和libb.a

（3）把a.cpp和b.cpp分别编译成liba.so和libb.so

“`

三、实验过程及结果

实验序号 a.cpp编译生成的文件类型 b.cpp编译生成的文件类型 操作语句 链接结果（成功、失败） 若成功，链接进去的是哪个文件，若失败，先链接进去的是哪个文件 1 a.oxx b.oxx g++ -o main main.cpp a.oxx b.oxx 失败 2 a.oxx libb.a g++ -o main main.cpp a.oxx libb.a 成功 a.oxx 3 a.oxx libb.so g++ -o main main.cpp a.oxx -L. -lb 成功 a.oxx 4 liba.a b.oxx g++ -o main main.cpp liba.a b.oxx 失败 liba.a 5 liba.a libb.a g++ -o main main.cpp liba.a libb.a 成功 liba.a 6 liba.a libb.so g++ -o main main.cpp liba.a -L. -lb 成功 liba.a 7 liba.so b.oxx g++ -o main main.cpp -L. -la b.oxx 成功 b.oxx 8 liba.so libb.a g++ -o main main.cpp -L. -la libb.a 成功 liba.so 9 liba.so libb.so g++ -o main main.cpp -L. -la lb 成功 liba.so

四、分析结果

（1）1 => 当一个符号在多个目标文件(.o)里同时出现时, LD报错. 提示符号多重定义.
普通目标文件的符号解析与重定义处理策略
（2）5， 6， 8， 9 => 当一个符号在多个静态库(.a)或者动态库(.so)里同时出现时, LD不报错, 以第一个遇到的为准.
（3）3， 7 => 当一个符号在目标文件(.o)和动态库(.so)里同时出现时，取目标文件(.o)里的符号
（4）2 =>
静态库的符号解析和重定义处理策略