GCC编译过程与动态链接库和静态链接库https://www.cnblogs.com/king-lps/p/7757919.html
库有两种:静态库(.a、.lib)和动态库(.so、.dll)。
windows上对应的是.lib .dll; linux上对应的是.a .so
首先理解一下gcc的编译过程:
一个C/C++文件要经过预处理(preprocessing)、编译(compilation)、汇编(assembly)、和连接(linking)才能变成可执行文件。
① 预处理:
gcc -E -o hello.i hello.c |
② 编译:
gcc -S -o hello.s hello.i |
③ 汇编:
|
④ 链接:
gcc -o hello hello.o |
- 预处理就是将要包含(include)的文件插入原文件中、将宏定义展开、根据条件编译命令选择要使用的代码,最后将这些代码输出到一个“.i”文件中等待进一步处理。
- 编译就是把C/C++代码(比如上面的”.i”文件)“翻译”成汇编代码。
- 汇编就是将第二步输出的汇编代码翻译成符合一定格式的机器代码,在Linux系统上一般表现为ELF目标文件(OBJ文件)。
- 链接就是将汇编生成的OBJ文件、系统库的OBJ文件、库文件链接起来,最终生成可以在特定平台运行的可执行程序。
静态库
之所以成为【静态库】,是因为在链接阶段,会将汇编生成的目标文件.o与引用到的库一起链接打包到可执行文件中。因此对应的链接方式称为静态链接。
静态库与汇编生成的目标文件一起链接为可执行文件,那么静态库必定跟.o文件格式相似。其实一个静态库可以简单看成是一组目标文件(.o/.obj文件)的集合,即很多目标文件经过压缩打包后形成的一个文件。
1 静态库特点总结:
l 静态库对函数库的链接是放在编译时期完成的。
l 程序在运行时与函数库再无瓜葛,移植方便。
l 浪费空间和资源,因为所有相关的目标文件与牵涉到的函数库被链接合成一个可执行文件。
2 Linux静态库命名规则
Linux静态库命名规范,必须是"lib[your_library_name].a":lib为前缀,中间是静态库名,扩展名为.a。
3 创建静态库(.a)
Linux创建静态库(.a)
//生成静态库libstaticmath.a。
g++ -c StaticMath.cpp //将代码文件编译成目标文件.o(StaticMath.o);注意带参数-c,否则直接编译为可执行文件 |
ar -crv libstaticmath.a StaticMath.o //通过ar工具将目标文件打包成.a静态库文件 |
大一点的项目会编写makefile文件(CMake等等工程管理工具)来生成静态库,输入多个命令太麻烦了。
Windows下创建与使用静态库
暂时未有
4 使用静态库
Linux下使用静态库,只需要在编译的时候,指定静态库的搜索路径(-L选项)、指定静态库名(不需要lib前缀和.a后缀,-l选项)。
# g++ TestStaticLibrary.cpp -L../StaticLibrary -lstaticmath |
动态库
静态库到动态库的原因:
静态库在内存中存在多份拷贝导致空间浪费;
另一个问题是静态库对程序的更新、部署和发布也会带来麻烦。如果静态库liba.lib更新了,所以使用它的应用程序都需要重新编译、发布给用户(对于玩家来说,可能是一个很小的改动,却导致整个程序重新下载,全量更新)
动态库在程序编译时并不会被连接到目标代码中,而是在程序运行时才被载入。不同的应用程序如果调用相同的库,那么在内存里只需要有一份该共享库的实例(一份拷贝),规避了空间浪费问题。动态库在程序运行是才被载入,也解决了静态库对程序的更新、部署和发布页会带来麻烦。用户只需要更新动态库即可,增量更新。
1 动态库特点总结:
l 动态库把对一些库函数的链接载入推迟到程序运行的时期。
l 可以实现进程之间的资源共享。(因此动态库也称为共享库)
l 将一些程序升级变得简单。
l 甚至可以真正做到链接载入完全由程序员在程序代码中控制(显示调用)。
2 linux动态库的命名规则
动态链接库的名字形式为 libxxx.so,前缀是lib,后缀名为“.so”。
l 针对于实际库文件,每个共享库都有个特殊的名字“soname”。在程序启动后,程序通过这个名字来告诉动态加载器该载入哪个共享库。
l 在文件系统中,soname仅是一个链接到实际动态库的链接。对于动态库而言,每个库实际上都有另一个名字给编译器来用。它是一个指向实际库镜像文件的链接文件(lib+soname+.so)。
3 创建动态库
Window与Linux执行文件格式不同,在创建动态库的时候有一些差异。
l 在Windows系统下的执行文件格式是PE格式,动态库需要一个DllMain函数做出初始化的入口,通常在导出函数的声明时需要有_declspec(dllexport)关键字。
l Linux下gcc编译的执行文件默认是ELF格式,不需要初始化入口,亦不需要函数做特别的声明,编写比较方便。
与创建静态库不同的是,不需要打包工具(ar、lib.exe),直接使用编译器即可创建动态库。
创建动态库步骤:
g++ -fPIC -c DynamicMath.cpp //首先,生成目标文件,此时要加编译器选项-fpic |
-fPIC 创建与地址无关的编译程序(pic,position independent code),是为了能够在多个应用程序间共享。
g++ -shared -o libdynmath.so DynamicMath.o //然后,生成动态库,此时要加链接器选项-shared,-shared指定生成动态链接库。 |
上面两个步骤可以合并为一个命令:
g++ -fPIC -shared -o libdynmath.so DynamicMath.cpp |
4 使用动态库
引用动态库编译成可执行文件(跟静态库方式一样):
g++ TestDynamicLibrary.cpp -L../DynamicLibrary -ldynmath |
然后运行:
./a.out |
5 在执行的时候是如何定位共享库文件 ??
- 当系统加载可执行代码时候,能够知道其所依赖的库的名字,但是还需要知道绝对路径。此时就需要系统动态载入器(dynamic linker/loader)。
- 对于elf格式的可执行程序,是由ld-linux.so*来完成的,它先后搜索elf文件的 DT_RPATH段—环境变量LD_LIBRARY_PATH—/etc/ld.so.cache文件列表—/lib/,/usr/lib 目录找到库文件后将其载入内存。
如何让系统能够找到它:
l 如果安装在/lib或者/usr/lib下,那么ld默认能够找到,无需其他操作。
l 如果安装在其他目录,需要将其添加到/etc/ld.so.cache文件中,步骤如下:
- 编辑/etc/ld.so.conf文件,加入库文件所在目录的路径
- 运行ldconfig ,该命令会重建/etc/ld.so.cache文件