linux 动态库 静态库 函数覆盖

本文讨论了linux动态库  静态库中函数的覆盖问题。

测试目的：

同名函数，分别打成动态库libdync_lib.so与静态库libstatic_lib.a，并把libstatic_lib.a打到另一个动态库libapi.so中，

在可执行程序中分别连接libdync_lib.so与libapi.so，此时到底调用的是哪个库中的函数？

测试结论：

不同库中的同名函数会被覆盖，后链接的库中的同名函数会被先前库覆盖。

测试方法：

static_lib.h

void print();

static_lib.cpp

 #include <cstdio.h>
 #include "static_lib.h"

 void print()
 {
     printf("i am static print\n");
 }

dync_lib.h

void print();

dync_lib.cpp

 #include <cstdio.h>
 #include "dync_lib.h"

 void print()
{
    printf("i am dync print\n");
 }

api.h

void func();

api.cpp

 #include "static_lib.h"

 void func()
 {
     print();
 }

main.cpp

#include <api.h>

int main()
{
      func();
      print();
return ;
}

制作libdync_lib.so动态库

g++ dync_lib.cpp -shared -fPIC -o libdync_lib.so

制作libstatic_lib.a静态库

g++ -c static_lib.cpp -share -fPIC -o static_lib.o

ar crv libstatic_lib.a static_lib.o

制作libapi.so动态库,其依赖静态库libstatic_lib.a

g++ api.cpp -shared -fPIC -o libapi.so -lstatic_lib

有三种方式生成可执行程序

1、g++ main.cpp -lapi -o main

2、g++ main.cpp -lapi -ldync_lib -o main

3、g++ main.cpp -ldync_lib -lapi -o main

每种方式都能执行成功，但输出不一样，

1、2执行时，输出一致：

i am static print

3执行时，输出;

i am dync print

下面分析原因：

1、第一种方式中，main.cpp中只包含了 api.h，而api.h中并没有定义print函数，那么main中怎么找到了该函数并且调用成功了呢？

因为，生成libapi.so时连接了libstatic_lib.a，而其中包含print，也就是说，静态库中的函数符号都会被打到动态库中，所以main能找到print函数的实现,来自libstatic_lib.a。

2、后2种方式中，只是额外链接libdync_lib.so，但链接的顺序不同。从结果中看，程序正常执行。

第二种方式调用的是libstatic_lib.a中的print函数，对比发现，第三种调用的是libdync_lib.so中的print。

也就是说，根据链接的顺序，先被链接的库中的符号（函数）会覆盖后面库中的同名符号。