最近遇到一个问题 无法理解行为为什么会是这样.
我在某static lib 称作libS.a 里面实作了一个简单的singleton (接口为GetInst)
我有两个dynamic lib, (libA.so, libB.so) 都使用这S.a , 而E.exe是link 这两个.so
而没有直接使用.a
附上Cmake file 可以比较明确知道关系
set(CMAKE_CXX_VISIBILITY_PRESET hidden)
add_library(S STATIC s.cpp)
add_library(S2 STATIC s2.cpp) <==这边故意改成S2 让他变成两个.a
add_library(A SHARED a.cpp)
target_link_libraries(A PRIVATE S)
add_library(B SHARED b.cpp)
target_link_libraries(B PRIVATE S2) <==故意, 原本写S也是一样结果
add_executable(E main.cpp)
target_link_libraries(E PRIVATE A B S S2)
我的问题是
因为是.a 我用nm看A.so跟B.so里面都有 "GetInst"这symbol
我预期他们各自有独立的singleton, 意思是从GetInst拿到的instance要不一样
我用E.exe去验证这件事, 没想到 拿到的竟然是一样的instance,
我故意夹个log 并且把s.cpp 复制一份叫做s2.cpp 然后产出libS2.a 如上CMake所述
我能发现的是 E.exe执行的时候 最后呼叫到static library的时候 他只会走其中一个
实作
这边给我的感觉可能扯到ODR, 但我整件事兜不起来觉得很困惑
如果今天libS.a不是static而是libS.so, 整件事应该相当合理
可是它是static lib 最后却只有一份
是有什么设定我没有做 还是这非常正常....如果是可否给我一些观念上的补充
因为以我这简单的lib间的关系
难道"两个.so 用到不同的.a 而这不同的.a有相同symbol 最后产出的exe 只会选择走一
个实作"
这件事很难碰到吗?
谢谢

这样不是违反odr?

E.exe 是怎么call libA.so libB.so去拿instance的?猜测只link到了libA.so/libB.so其中一个.

liba and b.so都各自开一个不同名字的function 里面都是return GetInst(); E.exe去 呼叫这两个不同名函数 但得到同一个物件

他们不是叫同一个 GetInst 吗

好奇问一下 为什么写了Singleton却还要弄两份XD

希望是同一份 ，但想想觉得可能会两份，测试起来 竟然真的是一份 ，无法理解为什么，想知道中间的差异难道加载exe的时候也会扯到odr?

target_link_libraries(E PRIVATE A B S S2) 这里?

@ketrobo: 这部分 实验 加跟没加 有没有差别，结论是没差都一样行为，但我忘记贴在这边之前删除，谢谢

libA.so 和 libB.so 有各自的 GetInst，但是 dynamic linker 只会连结到A或B里面的其中一个。(应该是看谁先被加载)把 -Wl,-Bsymbolic 加到 CXXFLAGS 里，应该就会拿到不同个 instance 了

意思是 lib ab 各自有同名symbol, 但照顺序加载 发现撞名 所以就只加载最一开始的那份，所以libb.so 呼叫到的getinst是a.so的那份？

我有写过一个class，也是需要两份，里面各自需要不同的static member，我是用template处理的，给你参考

这个应该叫 global symbol interpose

补充一下#1RViGNxg我有回,基本上是依SysV ABI的规则解简单想成, -la -lb, 在.a和.so的结果会大同小异loader用DT_NEED的顺序解,多层依BFD找. DT_NEED的顺序是linktime决定, 所以 A B 就决定是找 A 的版本. 大致这样