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

一、分析
如果一个符号在多个文件中有定义，把这几个文件编译链接到一起，会发生什么呢？链接出错？不要这么急着下结论。
gcc/ld可以链接三种类型的可重定位目标文件，分别是目标文件（.oxx）、静态链接库（.a）和动态链接库（.so）。把a.c和b.c编译成不同的文件类型，其链接结果不同。
二、举个例子
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;
}

三、实验
1.准备工作
（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
2.实验过程及结果

实验序号	a.cpp编译生成的文件类型	b.cpp编译生成的文件类型	操作语句	链接结果（成功、失败）	若成功，链接进去的是哪个文件，若失败，先链接进去的是哪个文件	原因
1	a.oxx	b.oxx	g++ -o main main.cpp a.oxx b.oxx	失败	a.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

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

转载于:https://my.oschina.net/windmissing/blog/690486