作者dreamboat66 (小嫩)
看板C_and_CPP
标题[问题] static lib 实作 singleton 观念
时间Mon Mar 25 23:24:25 2019
最近遇到一个问题 无法理解行为为什麽会是这样.
我在某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 只会选择走一
个实作"
这件事很难碰到吗?
谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 27.247.94.8
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/C_and_CPP/M.1553527468.A.0C4.html
1F：推 steve1012: 这样不是违反odr? 03/25 23:46
2F：推 christianSK: E.exe 是怎麽call libA.so libB.so去拿instance的? 03/26 10:13
3F：→ christianSK: 猜测只link到了libA.so/libB.so其中一个. 03/26 10:14
4F：→ dreamboat66: liba and b.so都各自开一个不同名字的function 里面 03/26 11:49
5F：→ dreamboat66: 都是return GetInst(); E.exe去 呼叫这两个不同名 03/26 11:49
6F：→ dreamboat66: 函数 但得到同一个物件 03/26 11:49
7F：→ Lipraxde: 他们不是叫同一个 GetInst 吗 03/26 14:06
8F：→ sarafciel: 好奇问一下 为什麽写了Singleton却还要弄两份XD 03/26 14:25
9F：→ dreamboat66: 希望是同一份 ，但想想觉得可能会两份，测试起来 竟 03/26 14:29
10F：→ dreamboat66: 然真的是一份 ，无法理解为什麽，想知道中间的差异 03/26 14:29
11F：→ dreamboat66: 难道载入exe的时候也会扯到odr? 03/26 14:29
12F：→ ketrobo: target_link_libraries(E PRIVATE A B S S2) 这里? 03/26 15:27
13F：→ dreamboat66: @ketrobo: 这部分 实验 加跟没加 有没有差别，结论是 03/26 16:49
14F：→ dreamboat66: 没差都一样行为，但我忘记贴在这边之前删除，谢谢 03/26 16:49
15F：→ Lipraxde: libA.so 和 libB.so 有各自的 GetInst，但是 dynamic l 03/26 17:55
16F：→ Lipraxde: inker 只会连结到A或B里面的其中一个。(应该是看谁先被 03/26 17:55
17F：→ Lipraxde: 载入) 03/26 17:55
18F：→ Lipraxde: 把 -Wl,-Bsymbolic 加到 CXXFLAGS 里，应该就会拿到不 03/26 17:55
19F：→ Lipraxde: 同个 instance 了 03/26 17:55
20F：→ dreamboat66: 意思是 lib ab 各自有同名symbol, 但照顺序载入 发现 03/26 18:46
21F：→ dreamboat66: 撞名 所以就只载入最一开始的那份，所以libb.so 呼叫 03/26 18:46
22F：→ dreamboat66: 到的getinst是a.so的那份？ 03/26 18:46
23F：推 yilanP: 我有写过一个class，也是需要两份，里面各自需要不同的st 03/26 20:39
24F：→ yilanP: atic member，我是用template处理的，给你参考 03/26 20:39
26F：推 firose: 这个应该叫 global symbol interpose 03/27 08:01
27F：推 cole945: 补充一下#1RViGNxg我有回,基本上是依SysV ABI的规则解 03/27 11:23
28F：→ cole945: 简单想成, -la -lb, 在.a和.so的结果会大同小异 03/27 11:23
29F：→ cole945: loader用DT_NEED的顺序解,多层依BFD找. DT_NEED的顺序是 03/27 11:24
30F：→ cole945: linktime决定, 所以 A B 就决定是找 A 的版本. 大致这样 03/27 11:25