Linux下C/C++动态库在运行时是怎样加载进来的

Posted 2023-04-02

在linux上，你在ps中说的那种"将动态库作为一个参数传到程序里"的使用方式，是通过dlopen函数将.so加载到当前进程中，并且通过ld.so将.so"链接"进当前进程。这个"链接"过程包括：查找未定义符号在当前进程中的地址、分配数据/代码/bss段内存（数据初始化全局变量、代码段重定位）、执行constructor函数等。之后，可以使用dlsym在已知符号名的情况下通过符号名查找符号对应的地址。这个符号可以是一个全局变量、全局函数等。在你说的C++中，重载的函数也可以理解为全局函数，会有一个属性为weak的符号。该符号的符号名如果不做修改，默认按照System V的C++ API命名规范命名（以保证linux下不同编译器编译出来的.so和.o可以通用）。但如果使用extern "C"修饰之后，变成C的函数名，则无名称修饰，便于使用。

作者：yin jie
链接：https://www.zhihu.com/question/29988788/answer/46352593
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。 参考技术A linux调用库的方式有三种:1.静态链接库2.动态链接库3.动态加载库其中1,2都是在编程时直接调用,在链接时加参数-l进行链接第三种需要在编程时使用dlopen等函数来获取库里面函数的定义,然后进行调用.不过对于没有提供头文件的动态库,只能dlopen等函数来调用 参考技术B 在linux上，你在ps中说的那种"将动态库作为一个参数传到程序里"的使用方式，是通过dlopen函数将.so加载到当前进程中，并且通过ld.so将.so"链接"进当前进程。这个"链接"过程包括：查找未定义符号在当前进程中的地址、分配数据/代码/bss段内存（数据初始化全局变量、代码段重定位）、执行constructor函数等。之后，可以使用dlsym在已知符号名的情况下通过符号名查找符号对应的地址。这个符号可以是一个全局变量、全局函数等。在你说的C++中，重载的函数也可以理解为全局函数，会有一个属性为weak的符号。该符号的符号名如果不做修改，默认按照System V的C++ API命名规范命名（以保证linux下不同编译器编译出来的.so和.o可以通用）。但如果使用extern "C"修饰之后，变成C的函数名，则无名称修饰，便于使用。

Linux下C/C++动态库在运行时是怎样加载进来的

应该属于动态加载库，即通过一组动态链接器的API来实现，这组API通常称为dlopen API。dlopenAPI 使得程序能在运行时打开一个共享库，根据名字在库中搜索一个函数并调用。其中主要的函数是：dlopen(libname,flag)：打开libname共享库，flag用来设置是否解析库中的未定义符号。如果打开的库还依赖于其他库，那么会递归加载对应的那些库dlerror()：如果dlopen()函数调用出错，则用此函数能返回指向错误原因字符串的指针。回到题主说的过程，应该就是把动态库提交过去，然后以参数的形式输入到程序中，在程序某处执行dlopen函数，加载的库名就是传入的参数。最后实例化的过程就是和静态库一样的了。 参考技术A C/C++动态库在Linux中是.so后缀的文件，负责加载.so共享函数库，并解析调用程序对动态库函数的引用的程序是ld.so，或者在有些发行版上是ld-linux.so.2、ld-lsb.so.2或ld-lsb.so.3。动态库就是由它进行加载的。 参考技术B 你说的程序应该是采用了 dynamic loading ，实际上调用了这样一组接口 ：dlopen dlclose dlsym函数名被作为参数传递进去，交给动态链接器 ld.so 。随后 ld.so 会在已经加载的动态库中查找与函数名匹配的符号。如果查找成功就可以返回一个地址指向这个符号的地址。对于函数，这个地址就相当于是一个函数指针。而这整个过程可以顺利进行下去，还要依赖于当前程序与动态库的 ABI 一致。