C++静态初始化链与共享库拆分：无需dlsym是否可行？

原方案直接实现不可行 #

按你给出的代码结构，直接将A/B/C.cpp分别打包为独立共享库、Base放入单独共享库的方案无法可靠工作，核心原因有两点：

1. 跨共享库静态初始化顺序未定义：不同共享库中的静态全局对象（比如static A instance_of_a）的构造顺序没有标准保证。如果主程序或Base共享库的InitAll()在子类实例构造前调用，对应的子类实例不会被加入链表，也就无法执行Init()。
2. 动态加载场景的自动注册缺失：如果子类共享库是动态加载（而非程序启动时静态链接加载），静态全局对象的构造仅在共享库被显式加载时触发，但你要求不使用dlsym，无法主动触发加载或确认实例已注册。

Base类可以放入单独共享库 #

Base类完全可以独立打包为共享库，但需要调整子类的实例注册逻辑，规避静态初始化顺序的问题。

可行的修改方案 #

方案1：利用编译器构造函数属性自动注册 #

使用GCC/Clang支持的__attribute__((constructor))（MSVC对应__declspec(allocate(".CRT$XCU"))），让子类共享库在加载时自动完成实例注册，无需dlsym：

1. 调整Base类：确保list_的符号可跨共享库访问，在Base.cpp中显式定义静态变量（即使C++17允许inline成员变量在头文件定义，显式定义能保证符号导出）：

#include "Base.h"

Base* Base::list_ = nullptr;

2. 修改子类实现（以A.cpp为例）：

#include "Base.h"

class A : public Base {
public:
    void Init() override { /* 实现逻辑 */ }
};

static A* instance_of_a = nullptr;

// 共享库加载时自动执行该函数
__attribute__((constructor))
static void RegisterA() {
    instance_of_a = new A();
    // A的构造函数会自动将实例加入Base的list_
}

3. 编译与链接：

• 将Base编译为共享库：g++ -fPIC -shared Base.cpp -o libbase.so
• 将A编译为共享库：g++ -fPIC -shared A.cpp -L. -lbase -o liba.so
• 主程序链接Base共享库，运行时只要加载liba.so（可通过LD_LIBRARY_PATH指定或静态链接），RegisterA()就会自动执行，将实例加入链表，调用Base::InitAll()即可遍历所有子类实例。

方案2：显式注册函数（无需编译器扩展） #

在每个子类共享库中导出注册函数，主程序显式调用（需提前知道函数名，无需dlsym）：

1. 子类A.cpp添加导出函数：

#include "Base.h"

class A : public Base {
public:
    void Init() override { /* 实现逻辑 */ }
};

extern "C" void RegisterA() {
    static A instance_of_a;
}

2. 主程序中调用所有注册函数：

#include "Base.h"

extern void RegisterA();
extern void RegisterB();

int main() {
    RegisterA();
    RegisterB();
    Base::InitAll();
    return 0;
}

这种方式更具可移植性，但需要主程序显式调用每个共享库的注册函数。

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