c++ - 链接可执行文件中的共享库与另一个共享库

Question

tl;dr

如果库由可执行文件或另一个共享库链接，linux 加载和链接共享库的方式是否有任何差异？

背景

假设我有一个共享库(例如 libA.so)，其中包含一个带有静态 std::map 的类和一组单例类。每个单例类都可以访问 map 并将其自身的一个实例静态添加到 map 。

有两种情况:

1. 我在可执行文件中使用共享库 (libA.so) 从全局映射中读取所有已注册的类。
2. 我在另一个共享库 (libB.so) 中使用共享库 (libA.so)，并在可执行文件中使用这个新共享库。在这种情况下，libB.so 使用来自 libA.so 的映射为可执行文件提供一些功能(如外观)。

问题

如果我在可执行文件中使用(即链接)这个共享库(场景 1)，上述映射包含单例类列表，但是，如果我在另一个共享库中使用这个库并且然后在可执行文件中使用新的(场景 2)， map 似乎是空的。

在这两种情况下，我似乎无法理解链接器如何处理共享库。

更新

事实证明，即使使用 的 -lA 标志明确指示，libB.so 也没有正确链接到 libA.so >g++。即使我看不到 libA.so 由 libB.so 使用 ldd、pmap 或 objdump 链接，我在使用 libA.so 类时没有遇到运行时错误。如果我使用 clang++ 运行相同的命令，我可以看到列出了所有所需的库。

Answer 1

我将描述一个可能会产生您所看到的行为的场景。

1. 调用单例对象的全局构造函数，并根据 map 注册它们。
2. 调用 map 的全局构造函数，导致 map 初始化为空数据结构。

另一种情况:

• 如果您正在从全局构造函数中读取 libB.so 中的映射，则可能会在任何对象有机会注册自身之前调用它。

通常，不保证来自不同翻译单元的全局构造函数的执行顺序，当然也不是来自不同共享库的。

上述第一个问题的解决方案是为您的 map 使用单例样式模式，以便在使用时对其进行初始化，而不是通过全局构造函数进行初始化。

TheMap & GlobalMap () {
    static TheMap instance;
    return instance;
}

上述第二个问题的解决方案是禁止从全局构造函数访问全局映射。也就是说，将 libB.so 中的所有全局构造函数更改为在使用时初始化，而不是在全局构造函数中初始化。