C++自注册实现与CMake链接依赖技术咨询

我有一个使用CMake的大型项目，包含Interface.hh、Registry.hh及.cc文件。期望实现如下设计：

• Implementation类实现Interface接口；
• Registry类持有字符串到Interface的映射；
• Implementation仅包含Registry.hh，且不被系统其他地方引用，需自行注册到Registry的映射中。

在实现该极简系统时遇到困难：尝试使用static关键字时会触发未定义行为，因为静态Registry对象和静态初始化的注册操作无法保证执行顺序；考虑过__attribute__((constructor))，但不确定其顺序指定是否跨翻译单元生效，同时也不清楚对应的CMake链接配置。

现咨询：

1. 如何以最简单的方式在C++中实现上述自注册，确保在main运行前（或Registry映射使用前）完成注册且无未定义行为？
2. 需配置哪些链接依赖才能保证注册成功执行？

1. C++自注册的无UB实现方案 #

采用Registry单例模式+静态注册对象的组合是最简洁且符合标准C++的方案，可彻底解决初始化顺序问题：

步骤1：实现Registry单例 #

通过局部静态变量实现单例，确保Registry在首次被访问时才完成初始化，而非依赖全局静态变量的早初始化：

// Registry.hh
#include <unordered_map>
#include <string>
#include <memory>
#include "Interface.hh"

class Registry {
public:
    // C++11及以上标准保证：局部静态变量的初始化线程安全，且仅在首次调用时执行
    static Registry& getInstance() {
        static Registry instance;
        return instance;
    }

    // 注册接口：传入名称和实例工厂函数
    void registerInterface(const std::string& name, std::unique_ptr<Interface>(*creator)()) {
        registry_[name] = creator;
    }

    // 根据名称创建Interface实例
    std::unique_ptr<Interface> create(const std::string& name) {
        auto it = registry_.find(name);
        return it != registry_.end() ? it->second() : nullptr;
    }

private:
    // 禁用拷贝、赋值，确保单例特性
    Registry() = default;
    ~Registry() = default;
    Registry(const Registry&) = delete;
    Registry& operator=(const Registry&) = delete;

    std::unordered_map<std::string, std::unique_ptr<Interface>(*)()> registry_;
};

步骤2：实现自注册辅助模板（可选，简化多类注册） #

如果有多个Implementation类，用模板可以减少重复代码：

// 在Registry.hh中添加
template<typename T>
class Registrar {
public:
    explicit Registrar(const std::string& name) {
        Registry::getInstance().registerInterface(name, []() -> std::unique_ptr<Interface> {
            return std::make_unique<T>();
        });
    }
};

步骤3：Implementation类的自注册 #

在Implementation.cc中定义静态Registrar对象，利用其构造函数完成自动注册：

// Implementation.cc
#include "Registry.hh"
#include "Interface.hh"

class Implementation : public Interface {
    // 实现Interface的纯虚函数逻辑
};

// 静态注册对象：当该翻译单元被加载时，构造函数自动调用Registry的注册方法
static Registrar<Implementation> registrar("Implementation");

这种方案的核心优势：

• 彻底规避静态初始化顺序问题：Registry的实例在首次被Registrar构造函数调用时才初始化，保证注册操作执行前Registry已就绪；
• 无需依赖编译器扩展，跨平台兼容性强；
• C++11及以上标准保证线程安全，多线程环境下也能正常工作。

若坚持使用__attribute__((constructor))，需注意：

• 可以指定优先级（如__attribute__((constructor(101)))），数字越小执行越早，但该优先级仅在同一翻译单元内有效，跨翻译单元的执行顺序仍未定义；
• 必须配合Registry单例使用，避免Registry未初始化就执行注册操作。

2. CMake链接配置要点 #

关键是确保Implementation.cc的代码不被链接器优化丢弃，需根据其所在库类型配置：

情况1：Implementation在静态库中 #

静态库默认会忽略未被直接引用的目标文件，需强制链接器保留所有内容：

# 定义包含Implementation的静态库
add_library(impl_lib STATIC Implementation.cc)

# GCC/Clang环境：添加链接选项强制保留库内所有目标文件
target_link_options(impl_lib PRIVATE -Wl,--whole-archive)
# MSVC环境：需指定要保留的静态变量（替换为实际变量名）
# target_link_options(impl_lib PRIVATE /INCLUDE:?registrar@Implementation@@2VRegistrar@1@@A)

或者在链接最终可执行文件时，针对该静态库启用--whole-archive：

add_executable(main_app main.cc)
target_link_libraries(main_app PRIVATE
    -Wl,--whole-archive impl_lib -Wl,--no-whole-archive
    # 其他依赖库
)

--no-whole-archive用于恢复默认链接行为，避免影响其他库。

情况2：Implementation在动态库中 #

动态库默认会包含所有目标文件，无需额外特殊配置，只要确保动态库被正确链接即可：

add_library(impl_lib SHARED Implementation.cc)
add_executable(main_app main.cc)
target_link_libraries(main_app PRIVATE impl_lib)

若使用延迟加载动态库，需确保在使用Registry前完成库加载。

跨平台通用配置（CMake 3.13+） #

使用CMake的生成器表达式实现跨平台的whole-archive配置：

add_executable(main_app main.cc)
target_link_libraries(main_app PRIVATE
    $<LINK_LIBRARY:WHOLE_ARCHIVE,impl_lib>
    $<LINK_LIBRARY:NO_WHOLE_ARCHIVE>
)

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