共享库链接静态库的可行性、设计合理性及依赖函数查询

1. 将共享库libabc.so链接到静态库libxyz.a是否可行？ #

可行，但这里的“链接”和共享库间的链接逻辑有区别：静态库本质是目标文件的归档包，不会把libabc.so的代码打包进libxyz.a。你给出的CMake配置target_link_libraries(xyz PUBLIC abc)的作用是：

• 记录libxyz.a对libabc.so的依赖关系
• 后续有其他目标链接libxyz.a时，会自动传递这个依赖配置

2. 这种设计是否合理？ #

分场景判断：

• 合理场景：如果libxyz.a的代码确实需要调用libabc.so的函数，且希望所有使用libxyz.a的目标都自动关联libabc.so，这种方式能简化依赖管理，避免重复配置。
• 不合理场景：如果期望libxyz.a是完全独立的静态库（无需依赖外部共享库即可使用），这种设计就不适用——任何使用libxyz.a的程序都必须同时加载libabc.so，否则会触发未定义符号错误。

3. libdef.so能否找到libabc.so和libxyz.a的函数定义？ #

可以，具体逻辑如下：

• libxyz.a的函数：构建libdef.so时，CMake会提取libxyz.a中被实际引用的目标文件，将其链接进libdef.so，因此libdef.so会包含libxyz.a的相关函数实现。
• libabc.so的函数：由于libxyz.a的CMake配置使用了PUBLIC关键字，依赖关系会传递给libdef.so。构建libdef.so时，CMake会自动添加对libabc.so的链接配置；运行时，libdef.so会动态加载libabc.so以找到对应函数定义。

注意事项 #

运行时需确保系统能定位到libabc.so（比如将其放入系统标准库路径，或设置LD_LIBRARY_PATH环境变量），否则加载libdef.so时会报错。

内容的提问来源于stack exchange，提问作者Harry